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
132021
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
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
72022
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
Strategic (timed) computation tree logic
J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk
arXiv preprint arXiv:2302.13405, 2023
52023
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
42023
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
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
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
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
32022
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
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving
J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rřmming
Science of Computer Programming 233, 103074, 2024
22024
The system can't perform the operation now. Try again later.
Articles 1–20