Follow
Jaime Arias
Title
Cited by
Cited by
Year
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
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
122021
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
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
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
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
42022
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
Strategic (Timed) Computation Tree Logic
J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk
arXiv preprint arXiv:2302.13405, 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
ADT2AMAS: Managing Agents in Attack-Defence Scenarios
J Arias, W Penczek, L Petrucci, T Sidoruk
AAMAS'21: 20th International Conference on Autonomous Agents and Multiagent …, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20