Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. - Jaime Arias 001; Myriam Desainte-Catherine; Camilo Rueda (ACSD, 2014)

A Symbolic Model for Timed Concurrent Constraint Programming. - Jaime Arias 001; Michell Guzmán; Carlos Olarte (LSFA, 2014)

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. - Jaime Arias 001; Myriam Desainte-Catherine; Camilo Rueda (ACSD, 2015)

Foundations for Reliable and Flexible Interactive Multimedia Scores. - Jaime Arias 001; Myriam Desainte-Catherine; Carlos Olarte; Camilo Rueda (MCM, 2015)

Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices. (Sémantique Formelle et Vérification Automatique de Scénarios Hiérarchiques Multimédia avec des Choix Interactifs). - Jaime Arias 001 (2015)

Towards A Practical Model of Reactive Communication-Centric Software. - Jaime Arias 001; Mauricio Cano; Jorge Andrés Pérez (ICTCS, 2016)

Session-Based Concurrency, Reactively. - Mauricio Cano; Jaime Arias 001; Jorge A. Pérez 001 (FORTE, 2017)

PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function. - Jaime Arias 001; Philippe Ciuciu; Michel Dojat; Florence Forbes; Aina Frau-Pascual; Thomas Perret; Jan M. Warnking (SciPy, 2017)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. - Jaime Arias 001; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Mariëlle Stoelinga (CoRR, 2019)

Timed Automata for Video Games and Interaction. - Jaime Arias 001; Raphaël Marczak; Myriam Desainte-Catherine (Encyclopedia of Computer Graphics and Games, 2019)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. - Jaime Arias 001; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk; Mariëlle Stoelinga (ICFEM, 2020)

SOG-Based Multi-Core LTL Model Checking. - Chiheb Ameur Abid; Kaïs Klai; Jaime Arias 001; Hiba Ouni (ISPA/BDCloud/SocialCom/SustainCom, 2020)

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (Zenodo, 2020)

ADT2AMAS: Managing Agents in Attack-Defence Scenarios. - Jaime Arias 001; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2021)

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (TACAS (1), 2021)

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. - Kais Klai; Chiheb Ameur Abid; Jaime Arias 001; Sami Evangelista (VECoS, 2021)

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. - Jaime Arias 001; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (CoRR, 2021)

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (FTSCS, 2022)

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. - Jaime Arias 001; Laure Petrucci; Lukasz Masko; Wojciech Penczek; Teofil Sidoruk (ICECCS, 2022)

Modular Analysis of Tree-Topology Models. - Jaime Arias 001; Michal Knapik; Wojciech Penczek; Laure Petrucci (ICFEM, 2022)

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (Petri Nets, 2023)

Strategic (Timed) Computation Tree Logic. - Jaime Arias 001; Wojciech Jamroga; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2023)

Symbolic Observation Graph-Based Generation of Test Paths. - Kais Klai; Mohamed Taha Bennani; Jaime Arias 001; Jörg Desel; Hanen Ochi (TAP, 2023)

Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. - Jaime Arias 001; Carlos Olarte; Laure Petrucci; Lukasz Masko; Wojciech Penczek; Teofil Sidoruk (CoRR, 2023)

CosyVerif: The Path to Formalisms Cohabitation. - Étienne André; Jaime Arias 001; Benoît Barbot; Francis Hulin-Hubard; Fabrice Kordon; Van-François Le; Laure Petrucci (Petri Nets, 2024)

Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. - Jaime Arias 001; Carlos Olarte; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (PPDP, 2024)

Optimizing Label Coverage Using Regular Expression-Based Linear Programming. - Kais Klai; Mohamed Taha Bennani; Jaime Arias 001; Hanen Ochi; Hadhami Elouni (VECoS, 2024)

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci (Fundam. Informaticae, 2024)

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (Sci. Comput. Program., 2024)

Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. - Jaime Arias 001; Carlos Olarte; Laure Petrucci; Lukasz Masko; Wojciech Penczek; Teofil Sidoruk (IEEE Trans. Reliab., 2024)