Jaime Arias

ORCID

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 12

Top Venues

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS (2022)
Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci
Modular Analysis of Tree-Topology Models. ICFEM (2022)
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. ICECCS (2022)
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
ADT2AMAS: Managing Agents in Attack-Defence Scenarios. AAMAS (2021)
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. CoRR (2021)
Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) (2021)
Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. VECoS (2021)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM (2020)
Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni
SOG-Based Multi-Core LTL Model Checking. ISPA/BDCloud/SocialCom/SustainCom (2020)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR (2019)
Mauricio Cano, Jaime Arias, Jorge A. Pérez
Session-Based Concurrency, Reactively. FORTE (2017)
Jaime Arias, Mauricio Cano, Jorge Andrés Pérez
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS (2016)
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. ACSD (2015)
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda
Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM (2015)
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. ACSD (2014)
Jaime Arias, Michell Guzmán, Carlos Olarte
A Symbolic Model for Timed Concurrent Constraint Programming. LSFA (2014)

Jaime Arias.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jaime Arias