Jaime Arias, Wojciech Penczek, Laure Petrucci, and Teofil Sidoruk. ADT2AMAS: Managing agents in attack-defence scenarios. In Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '21, London, UK, May 3-7, 2021. International Foundation for Autonomous Agents and Multiagent Systems, 2021. To be published
Étienne André, Jaime Arias, Laure Petrucci, and Jaco van de Pol. Iterative bounded synthesis for efficient cycle detection in parametric timed automata. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, volume of Lecture Notes in Computer Science. Springer, 2021. To be published
Chiheb Ameur Abid, Kais Klai, Jaime Arias, and Hiba Ouni. SOG-based multi-core LTL model checking. In 18th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2020, Exeter, UK, December 17-19, 2020. IEEE Computer Society, 2020. To be published
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, and Marielle Stoelinga. Hackers vs. security: Attack-defence trees as asynchronous multi-agent systems. In Shang-Wei Lin, Zhe Hou, and Brendan Mahoney, editors, 22nd International Conference on Formal Engineering Methods (ICFEM 2020), volume 12531 of Lecture Notes in Computer Science, 3–19. Springer, 2020.
Jaime Arias, Raphaël Marczak, and Myriam Desainte-Catherine. Timed Automata for video games and interaction. In Newton Lee, editor, Encyclopedia of Computer Graphics and Games. Springer, 2019.
Mauricio Cano, Jaime Arias, and Jorge A. Pérez. Refined encodings of sessions in ReactiveML. In 11th International Workshop on Interaction and Concurrency Experience (ICE 2018). 2018. Oral Communication
Jaime Arias, Philippe Ciuciu, Michel Dojat, Florence Forbes, Aina Frau-Pascual, Thomas Perret, and Jan M. Warnking. PyHRF: A python library for the analysis of fMRI data based on local estimation of hemodynamic response function. In 15th Python in Science Conference (SciPy 2017), 34–40. 2017.
Mauricio Cano, Jaime Arias, and Jorge A. Pérez. Session-based concurrency, reactively. In 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Neuchâtel, Switzerland, June 19-22, 2017, volume 10321 of Lecture Notes in Computer Science, 74–91. Springer, 2017.
Jaime Arias, Jean-Michaël Celerier, and Myriam Desiante-Catherine. Authoring and automatic verification of interactive multimedia scores. Journal of New Music Research, 2016.
Jaime Arias, Mauricio Cano, and Jorge A. Pérez. A reactive interpretation of session-based concurrency. In 3rd Workshop on Reactive and Event-based Languages & Systems (REBLS'16), Amsterdam, The Netherlands, October 30 - November 4, 2016. 2016. Short Paper
Jaime Arias, Mauricio Cano, and Jorge A. Pérez. Towards a practical model of reactive communication-centric software. In 17th Italian Conference on Theoretical Computer Science (ICTCS 2017), Lecce, Italy, September 7-9, 2016., volume 1720 of CEUR Workshop Proceedings, 227–233. CEUR-WS.org, 2016.
Jaime Arias, Myriam Desainte-Catherine, and Shlomo Dubnov. Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings. In 4th International Workshop on Musical Metacreation, MUME 2016, Paris, France, June 27 – July 1, 2016. 2016.
Simon Archipoff, Jaime Arias, Edwin Buger, and David Janin. Interpolations : Écriture de contraintes réactives pour improvisations pianistiques. In Journées d'Informatique Musicale, JIM 2016, Albi, France, March 31 - April 2, 2016. 2016. Demo
Jaime Arias. Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices. PhD thesis, Université de Bordeaux, France, 2015. PhD Thesis
Jaime Arias and Jean-Michaël Celerier. Le séquenceur interactif multimédia i-score. In Journées Développement Logiciel de l'Enseignement Supérieur et de la Recherche, JDEV 2015, Bordeaux, France, June 30 - July 3, 2015. 2015. Poster
Jaime Arias, Myriam Desainte-Catherine, and Camilo Rueda. A framework for composition, verification and real-time performance of multimedia interactive scenarios. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, 140–151. IEEE Computer Society, 2015.
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, and Camilo Rueda. Foundations for reliable and flexible interactive multimedia scores. In 5th International Conference on Mathematics and Computation in Music, MCM 2015, London, UK, June 22-25, 2015, volume 9110 of Lecture Notes in Computer Science, 29–41. Springer, 2015.
Jaime Arias, Myriam Desainte-Catherine, and Camilo Rueda. Exploiting parallelism in FPGAs for the real-time interpretation of interactive multimedia scores. In Journées d'Informatique Musicale, JIM 2015, Montréal, Canada, May 7-9, 2015. 2015.
Jaime Arias, Michell Guzmán, and Carlos Olarte. A symbolic model for timed concurrent constraint programming. In Mauricio Ayala-Rincón and Ian Mackie, editors, 9th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, volume 312 of Electronic Notes in Theoretical Computer Science, 161–177. Elsevier, 2014.
Jaime Arias, Myriam Desainte-Catherine, Sylvain Salvati, and Camilo Rueda. Executing hierarchical interactive scores in ReactiveML. In Journées d'Informatique Musicale, JIM 2014, Bourges, France, May 21-23, 2014, 25–34. 2014.
Jaime Arias, Myriam Desainte-Catherine, and Camilo Rueda. Modelling data processing for interactive scores using coloured petri nets. In 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, 186–195. IEEE Computer Society, 2014.
Jaime Arias. Formal models to compose and execute interactive multimedia scores in real-time. In Journée de l'École Doctorale de Mathématiques et Informatique, EDMI 2014, Bordeaux, France, 2014. 2014. Poster