2022
Jaime Arias.
Modular analysis of tree-topology models.
Presented at ICFEM 2022, 2022.
2021
Jaime Arias.
Hybrid parallel model checking of hybrid ltl on hybrid state space representation.
Presented at VECoS 2021, 2021.
2020
Jaime Arias.
Specification and verification of interactive multimedia systems.
Presented at the Celebration of the 25 Years of AVISPA Research Group, 2020.
Jaime Arias.
Continuous integration & deployment.
Presented as a workshop for the LIPN, Villetaneuse, France, 2020.
2019
Jaime Arias.
Hunting Moby Dick: An introduction to Docker.
Presented as a workshop for the LIPN, Villetaneuse, France, 2019.
2018
Jaime Arias.
Git: A distributed revision control system.
Presented as a workshop for the LIPN, Villetaneuse, France, 2018.
2017
Jaime Arias.
Hunting Moby Dick: An introduction to Docker.
Presented as a workshop for the Inria Team Mistis in Montbonnot, France, 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.
Presented at the GIN's Seminar in Col de Porte, France, 2017.
Jaime Arias, Pierre-Antoine Bouttier, and Marcelo Forets.
Hackaton GriCAD 2017.
Presented at the GriCAD's Seminar in Grenoble, France, 2017.
Jaime Arias.
A tree-based operational semantics for interactive multimedia scores.
Presented at the Seminar on Formal Methods and Languages in Inria Grenoble, France, 2017.
Jaime Arias.
Git in practice.
Presented as a workshop for the Inria Team Mistis in Montbonnot, France, 2017.
2016
Jaime Arias.
Creating static sites with pelican.
Presented as a workshop for the Inria Team Mistis in Montbonnot, France, 2016.
Jaime Arias.
Factor oracle for machine improvisation.
Presented as a workshop for the Inria Team PoSET in Bordeaux, France, 2016.
Jaime Arias and Shlomo Dubnov.
Automatic construction of interactive machine improvisation scenarios from audio recordings.
Presented at the Workshop on Dynamics of Creative Improvisation in Bordeaux, France, 2016.
Jaime Arias and Shlomo Dubnov.
Automatic construction of interactive machine improvisation scenarios from audio recordings.
Presented at the 4th International Workshop on Musical Metacreation (MUME 2016) in Paris, France, 2016.
Jaime Arias and Shlomo Dubnov.
Automatic construction of interactive machine improvisation scenarios from audio recordings.
Presented at the Cycles Arts et Sciences du SCRIME in Bordeaux, France, 2016.
Jaime Arias.
Automatic verification of interactive multimedia scenarios with branching behavior.
Presented at the Colloquium of Computer Science of the University of Groningen in Groningen, the Netherlands, 2016.
2015
Jaime Arias.
Formal semantcs and automatic verification of hierarchical multimedia scenarios with interactive choice.
Doctoral Thesis Defese at University of Bordeaux, 2015.
Jaime Arias.
Foundations for reliable and flexible interactive multimedia scores.
Presented at the 5th Conference on Mathematics and Computation in Music (MCM 2015) in London, UK, 2015.
Jaime Arias.
A framework for composition, verification and real-time performance of multimedia interactive scenarios.
Presented at the 15th International Conference on Application of Concurrency to System Design (ACSD 2015) in Brussels, Belgium, 2015.
Jaime Arias.
Verification of i-score using timed automata.
Presented at the Seminar of the PoSET team in Bordeaux, France, 2015.
Jaime Arias.
Exploiting parallelism in fpgas for the real-time interpretation of interactive multimedia scores.
Presented at the Journées d'Informatique Musical (JIM 2015) in Montreal, Canada, 2015.
Jaime Arias.
Écriture et exécution des partitions multimédias interactives fiables sur fpgas.
Presented at the Cycles Arts et Sciences du SCRIME in Bordeaux, France, 2015.
Jaime Arias.
Towards an automatic verification of interactive scores and their real-time performance.
Presented at the Journées INEDIT in Bordeaux, France, 2015.
Jaime Arias.
Interactive scores meet timed automata.
Presented at the Seminar of the PoSET team in Bordeaux, France, 2015.
2014
Jaime Arias.
A tree-based operational semantics for interactive multimedia scores.
Presented at the kick-off meeting of the MUSICAL project in Cali, Colombia, 2014.
Jaime Arias.
Formal models to compose and execute multimedia interactive scores.
Presented at the research seminar of the Javeriana University in Cali, Colombia, 2014.
Jaime Arias and Carlos Olarte.
A symbolic model for timed concurrent constraint programming.
Presented at the 9th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014) in Brasilía, Brazil, 2014.
Jaime Arias.
À la recherche de modèles formels pour l'écriture et l'exécution de scénarios interactifs ouverts.
Presented at the Cycles Arts et Sciences du SCRIME in Bordeaux, France, 2014.
Jaime Arias.
Modelling data processing for interactive scores using coloured petri nets.
Presented at the 14th International Conference on Application of Concurrency to System Design (ACSD 2014) in Tunis, Tunisia, 2014.
Jaime Arias.
Executing hierarchical interactive scores in reactiveml.
Presented at the Journées d'Informatique Musical (JIM 2014) in Bourges, France, 2014.
Jaime Arias.
Execution of interactive scores using reactiveml.
Presented at the Seminar of SCRIME in Bordeaux, France, 2014.
2013
Jaime Arias.
Partituras interactivas - planificación incremental y en tiempo real de flujo multimedia.
Presented at the Permanent Colloquium in Computer Science (PeCeS) at Javeriana University in Cali, Colombia, 2013.
Jaime Arias.
Model checking for tcc calculus.
Undergraduate Thesis Defese at Javeriana University, 2013.