Publications

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.
Jaime Arias, Michell Gúzman, and Carlos Olarte. A symbolic model for timed concurrent constraint programming. Electronic Notes in Theoretical Computer Science, 312:161–177, 2015.

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