Follow
Jaime Arias
Title
Cited by
Cited by
Year
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
202020
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
192021
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
132014
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
112022
Executing hierarchical interactive scores in ReactiveML
J Arias, M Desainte-Catherine, S Salvati, C Rueda
Journées d'Informatique Musicale 2014, 2014
102014
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
82023
Strategic (timed) computation tree logic
J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk
arXiv preprint arXiv:2302.13405, 2023
82023
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
62024
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
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
62015
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
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
42021
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
42021
Timed automata for video games and interaction
J Arias, R Marczak, M Desainte-Catherine
Encyclopedia of Computer Graphics and Games, 2019
42019
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
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
32020
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
32017
Formal semantics and automatic verification of hierarchical multimedia scenarios with interactive choices
JEA Almeida
Université de Bordeaux, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20