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
122014
Executing hierarchical interactive scores in ReactiveML
J Arias, M Desainte-Catherine, S Salvati, C Rueda
Journées d'Informatique Musicale 2014, 2014
92014
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
82020
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
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
62021
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
52016
Timed automata for video games and interaction
J Arias, R Marczak, M Desainte-Catherine
Encyclopedia of Computer Graphics and Games, 2019
42019
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
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
32017
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
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, J Warnking
16th Python in Science Conference (SciPy 2017), 34-40, 2017
22017
Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices
JEA Almeida
Université de Bordeaux, 2015
22015
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
12022
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 …, 2022
12022
ADT2AMAS: Managing Agents in Attack-Defence Scenarios
J Arias, W Penczek, L Petrucci, T Sidoruk
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
12021
SOG-based multi-core LTL model checking
CA Abid, KKK Klai, J Arias, H Ouni
2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications …, 2020
12020
Interpolations: écriture de contraintes réactives pour improvisations pianistiques (démo)
S Archipoff, J Arias, E Buger, D Janin
Journées d'Informatique Musicale (JIM), 2016
12016
Towards A Practical Model of Reactive Communication-Centric Software.
J Arias, M Cano, JA Pérez
ICTCS, 227-233, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20