2023
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, and Hanen Ochi.
Symbolic observation graph-based generation of test paths.
In 17th International Conference on Tests and Proofs, TAP 2023, Held as Part of STAF 2023, Leicester, United Kingdom, July 18-19, 2023, volume of Lecture Notes in Computer Science. 2023.
to be published
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci, and Fredrik Rømming.
Symbolic analysis and parameter synthesis for time petri nets using maude and smt solving.
In 44rd International Conference 0n Application and Theory of Petri Nets and Concurrency - PETRI NETS 2023, Lisbon, Portugal, June 28-30, 2023, volume of Lecture Notes in Computer Science. 2023.
to be published
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, and Teofil Sidoruk.
Strategic (timed) computation tree logic.
In Noa Agmon, Bo An, Alessandro Ricci, and William Yeoh, editors, 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, 382–390. ACM, 2023.
2022
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci, and Fredrik Rømming.
Rewriting logic semantics and symbolic analysis for parametric timed automata.
In Cyrille Artho and Peter Csaba \"Olveczky, editors, 8th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, December 7, 2022, FTSCS 2022, 3–15. ACM, 2022.
Jaime Arias, Michał Knapik, Laure Petrucci, and Wojciech Penczek.
Modular analysis of tree-topology models.
In Adrian Riesco and Min Zhang, editors, 23rd International Conference on Formal Engineering Methods (ICFEM 2022), volume 13478 of Lecture Notes in Computer Science, 36–53. Springer, 2022.
Jaime Arias, Łukasz Maśko, Wojciech Penczek, Laure Petrucci, and Teofil Sidoruk.
Minimal schedule with minimal number of agents in attack-defence trees.
In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima City, Japan, March 26-30, 2022, 1–10. IEEE, 2022.
Kais Klai, Chiheb Ameur Abid, Jaime Arias, and Sami Evangelista.
Hybrid parallel model checking of hybrid ltl on hybrid state space representation.
In Ayoub Nouri, Weimin Wu, Kamel Barkaoui, and ZhiW Li, editors, 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, Beijing, China, November 22-23, 2021, volume 13187 of Lecture Notes in Computer Science, 27–42. Springer, 2022.
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
Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, and Laure Petrucci.
Cosyverif: an online verification platform.
Petri Net Newsletter, 87:5–7, May 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