Jaime Arias

33 papers A 2B 3C 7Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Strategic (timed) computation tree logic.
Auton. Agents Multi Agent Syst.
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2024 J jnl
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.
Fundam. Informaticae
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024 J jnl
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.
CoRR
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024 B conf
CosyVerif: The Path to Formalisms Cohabitation.
Petri Nets
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
2024 C conf
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.
PPDP
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2024 J jnl
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models.
IEEE Trans. Reliab.
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2024 C conf
Optimizing Label Coverage Using Regular Expression-Based Linear Programming.
VECoS
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni
2024 J jnl
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.
Sci. Comput. Program.
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2023 J jnl
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.
CoRR
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2023 A conf
Strategic (Timed) Computation Tree Logic.
AAMAS
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2023 J jnl
Strategic (Timed) Computation Tree Logic.
CoRR
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2023 B conf
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Petri Nets
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2023 J jnl
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
CoRR
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2023 C conf
Symbolic Observation Graph-Based Generation of Test Paths.
TAP
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
2022 B conf
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.
ICECCS
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2022 C conf
Modular Analysis of Tree-Topology Models.
ICFEM
Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci
2022 — conf
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.
FTSCS
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2021 A conf
ADT2AMAS: Managing Agents in Attack-Defence Scenarios.
AAMAS
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2021 C conf
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.
VECoS
Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista
2021 — conf
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.
TACAS (1)
Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol
2021 J jnl
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.
CoRR
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2020 C conf
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.
ICFEM
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
2020 — conf
SOG-Based Multi-Core LTL Model Checking.
ISPA/BDCloud/SocialCom/SustainCom
Chiheb Ameur Abid, Kaïs Klai, Jaime Arias, Hiba Ouni
2019 J jnl
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems.
CoRR
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
2019 — ch.
Timed Automata for Video Games and Interaction.
Encyclopedia of Computer Graphics and Games
Jaime Arias, Raphaël Marczak, Myriam Desainte-Catherine
2017 — conf
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function.
SciPy
Jaime Arias, Philippe Ciuciu, Michel Dojat, Florence Forbes, Aina Frau-Pascual, Thomas Perret, Jan M. Warnking
2017 C conf
Session-Based Concurrency, Reactively.
FORTE
Mauricio Cano, Jaime Arias, Jorge A. Pérez
2016 — conf
Towards A Practical Model of Reactive Communication-Centric Software.
ICTCS
Jaime Arias, Mauricio Cano, Jorge Andrés Pérez
2015 — conf
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios.
ACSD
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda
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
2015 — conf
Foundations for Reliable and Flexible Interactive Multimedia Scores.
MCM
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda
2014 — conf
A Symbolic Model for Timed Concurrent Constraint Programming.
LSFA
Jaime Arias, Michell Guzmán, Carlos Olarte
2014 — conf
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets.
ACSD
Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda