Jaime Arias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2017–2024
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PPDP | Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. | Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2024 | VECoS | Optimizing Label Coverage Using Regular Expression-Based Linear Programming. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni |
| 2023 | TAP | Symbolic Observation Graph-Based Generation of Test Paths. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi |
| 2022 | ICECCS | Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. | Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
| 2022 | ICFEM | Modular Analysis of Tree-Topology Models. | Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci |
| 2021 | TACAS | Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. | tienne Andr, Jaime Arias, Laure Petrucci, Jaco van de Pol |
| 2021 | VECoS | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. | Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista |
| 2020 | ICFEM | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. | Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga |
| 2020 | ISPA | SOG-Based Multi-Core LTL Model Checking. | Chiheb Ameur Abid, Kas Klai, Jaime Arias, Hiba Ouni |
| 2017 | FORTE | Session-Based Concurrency, Reactively. | Mauricio Cano, Jaime Arias, Jorge A. Prez |