Jaime Arias

According to our database, Jaime Arias authored at least 24 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci

CoRR, 2024

2023

Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.

Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

CoRR, 2023

Symbolic Observation Graph-Based Generation of Test Paths.

Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Strategic (Timed) Computation Tree Logic.

Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Modular Analysis of Tree-Topology Models.

Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2022

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.

Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.

Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

CoRR, 2021

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.

Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.

Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

ADT2AMAS: Managing Agents in Attack-Defence Scenarios.

Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

SOG-Based Multi-Core LTL Model Checking.

Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Timed Automata for Video Games and Interaction.

Jaime Arias, Raphaël Marczak, Myriam Desainte-Catherine

Proceedings of the Encyclopedia of Computer Graphics and Games., 2019

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems.

Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga

CoRR, 2019

2017

PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function.

Jaime Arias, Philippe Ciuciu, Michel Dojat, Florence Forbes, Aina Frau-Pascual, Thomas Perret, Jan M. Warnking

Proceedings of the 16th Python in Science Conference 2017, 2017

Session-Based Concurrency, Reactively.

Mauricio Cano, Jaime Arias, Jorge A. Pérez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Towards A Practical Model of Reactive Communication-Centric Software.

Jaime Arias, Mauricio Cano, Jorge Andrés Pérez

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

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

PhD thesis, 2015

Foundations for Reliable and Flexible Interactive Multimedia Scores.

Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda

Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios.

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

A Symbolic Model for Timed Concurrent Constraint Programming.

Jaime Arias, Michell Guzmán, Carlos Olarte

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets.

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014