Follow
Jaime Arias
Title
Cited by
Cited by
Year
Iterative bounded synthesis for efficient cycle detection in parametric timed automata
╔ AndrÚ, J Arias, L Petrucci, J Pol
International Conference on Tools and Algorithms for the Construction andá…, 2021
142021
Modelling data processing for interactive scores using coloured petri nets
J Arias, M Desainte-Catherine, C Rueda
2014 14th International Conference on Application of Concurrency to Systemá…, 2014
142014
Hackers vs. security: attack-defence trees as asynchronous multi-agent systems
J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga
International Conference on Formal Engineering Methods, 3-19, 2020
122020
Executing hierarchical interactive scores in ReactiveML
J Arias, M Desainte-Catherine, S Salvati, C Rueda
JournÚes d'Informatique Musicale 2014, 2014
102014
A framework for composition, verification and real-time performance of multimedia interactive scenarios
J Arias, M Desainte-Catherine, C Rueda
2015 15th International Conference on Application of Concurrency to Systemá…, 2015
72015
Rewriting logic semantics and symbolic analysis for parametric timed automata
J Arias, K Bae, C Olarte, PC Ílveczky, L Petrucci, F R°mming
Proceedings of the 8th ACM SIGPLAN International Workshop on Formalá…, 2022
62022
Session-based concurrency, reactively
M Cano, J Arias, JA PÚrez
International Conference on Formal Techniques for Distributed Objectsá…, 2017
62017
Automatic construction of interactive machine improvisation scenarios from audio recordings
J Arias, M Desainte-Catherine, S Dubnov
MUME 2016-4th International Workshop on Musical Metacreation, 1-7, 2016
62016
Strategic (Timed) Computation Tree Logic
J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk
arXiv preprint arXiv:2302.13405, 2023
52023
Authoring and automatic verification of interactive multimedia scores
J Arias, JM Celerier, M Desainte-Catherine
Journal of New Music Research 46 (1), 15-33, 2017
52017
Minimal schedule with minimal number of agents in attack-defence trees
J Arias, L Petrucci, Ł Maśko, W Penczek, T Sidoruk
2022 26th International Conference on Engineering of Complex Computerá…, 2022
42022
Timed automata for video games and interaction
J Arias, R Marczak, M Desainte-Catherine
Encyclopedia of Computer Graphics and Games, 2019
42019
PyHRF: A python library for the analysis of fMRI data based on local estimation of the hemodynamic response function
J Arias, P Ciuciu, M Dojat, F Forbes, A Frau-Pascual, T Perret, ...
16th Python in Science Conference (SciPy 2017), 34-40, 2017
42017
Foundations for reliable and flexible interactive multimedia scores
J Arias, M Desainte-Catherine, C Olarte, C Rueda
International Conference on Mathematics and Computation in Music, 29-41, 2015
42015
Model checking for TCC calculus
J Arias
Universidad Javeriana, 2012
42012
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
J Arias, K Bae, C Olarte, PC Ílveczky, L Petrucci, F R°mming
International Conference on Applications and Theory of Petri Nets andá…, 2023
32023
Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices
JEA Almeida
UniversitÚ de Bordeaux, 2015
32015
Exploiting parallelism in fpgas for the real-time interpretation of interactive multimedia scores
J Arias, M Desainte-Catherine, C Rueda
JournÚes d'Informatique Musicale 2015, 2015
32015
A symbolic model for timed concurrent constraint programming
J Arias, M Guzmßn, C Olarte
Electronic Notes in Theoretical Computer Science 312, 161-177, 2015
32015
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
K Klai, CA Abid, J Arias, S Evangelista
International Conference on Verification and Evaluation of Computer andá…, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20