Publications

2021

Jaime Arias, Wojciech Penczek, Laure Petrucci, and Teofil Sidoruk. ADT2AMAS: Managing agents in attack-defence scenarios. In Ulle Endriss, Ann Nowé, Frank Dignum, and Alessio Lomuscio, editors, Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021, Online, May 3-7, 2021, 1749–1751. International Foundation for Autonomous Agents and Multiagent Systems, 2021.
Étienne André, Jaime Arias, Laure Petrucci, and Jaco van de Pol. Iterative bounded synthesis for efficient cycle detection in parametric timed automata. In Jan Friso Groote and Kim Guldstrand Larsen, editors, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, volume 12651 of Lecture Notes in Computer Science, 311–329. Springer, 2021.

2020

Chiheb Ameur Abid, Kais Klai, Jaime Arias, and Hiba Ouni. SOG-based multi-core LTL model checking. In 2020 IEEE International Conference on Parallel and Distributed Processing with Applications, Big Data Cloud Computing, Sustainable Computing Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), 9–17. IEEE, 2020.
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.

2019

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.

2018

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

2017

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.

2016

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

2015

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.

2014

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

2012

Jaime Arias. Model checking for TCC calculus. Master's thesis, Universidad Javeriana, Cali, Colombia, 2012. Diploma Thesis