|
Sami Evangelista, Lars Michael Kristensen et Laure Petrucci. Evaluation of Distributed Explicit State Space Exploration Algorithms with State Reconstruction for RDMA Networks. STTT, 2025.
À paraître.
|
|
Yan Kim, Wojciech Jamroga, Wojciech Penczek et Laure Petrucci. Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. AAMAS, Mai 2025.
À paraître.
|
|
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Probabilistic Timed ATL. AAMAS, Mai 2025.
À paraître.
|
|
Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. ICAART, Février 2025.
À paraître.
|
|
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky et Laure Petrucci. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. Fundamenta Informaticae, 2024.
|
|
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logics. PPDP'24, Septembre 2024.
|
|
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le et Laure Petrucci. CosyVerif: the Path to Formalisms Cohabitation. PN'24, Juin 2024.
|
|
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci et Fredrik Rømming. Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT Solving. Science of Computer Programming, Mars 2024.
|
|
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fiévet, Laure Petrucci et Jaco van de Pol. On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS'24, Avril 2024.
|
|
Jaime Arias, Carlos Olarte, Łukasz Maśko, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Transactions on Reliability, Janvier 2024.
|
|
Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal Zilio, P.G. Jensen, Loïg Jezequel, Fabrice Kordon, S. Li, Emmanuel Paviot-Adet, Laure Petrucci, Jiri Srba, Yann Thierry-Mieg et Karsten Wolf. Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. Toolympics, 2024.
|