| 2025 | ICAART | Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. | Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 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 | TACAS | On-The-Fly Algorithm for Reachability in Parametric Timed Games. | Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol |
| 2022 | ICECCS | Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. | Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
| 2022 | ICECCS | A Formal Model for Fault Tolerant Parallel Matrix Factorization. | Camille Coti, Laure Petrucci, Daniel Alberto Torres Gonzlez |
| 2022 | ICECCS | Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. | Sami Evangelista, Laure Petrucci, Lars Michael Kristensen |
| 2022 | ICFEM | Modular Analysis of Tree-Topology Models. | Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci |
| 2021 | EuroPar | Fault-Tolerant LU Factorization Is Low Cost. | Camille Coti, Laure Petrucci, Daniel Alberto Torres Gonzlez |
| 2021 | TACAS | Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. | tienne Andr, Jaime Arias, Laure Petrucci, Jaco van de Pol |
| 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 |
| 2019 | ICECCS | Squeezing State Spaces of (Attack-Defence) Trees. | Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |
| 2019 | TACAS | Minimal-Time Synthesis for Parametric Timed Automata. | tienne Andr, Vincent Bloemen, Laure Petrucci, Jaco van de Pol |
| 2018 | CAV | Quasi-Optimal Partial Order Reduction. | Huyen T. T. Nguyen, Csar Rodrguez, Marcelo Sousa, Camille Coti, Laure Petrucci |
| 2018 | EuroPar | One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. | Camille Coti, Sami Evangelista, Laure Petrucci |
| 2018 | FORTE | Parameter Synthesis Algorithms for Parametric Interval Markov Chains. | Laure Petrucci, Jaco van de Pol |
| 2018 | ICECCS | State Compression Based on One-Sided Communications for Distributed Model Checking. | Camille Coti, Sami Evangelista, Laure Petrucci |
| 2018 | ICECCS | Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. | Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol |
| 2017 | ICECCS | Efficient Parameter Synthesis Using Optimized State Exploration Strategies. | tienne Andr, Hoang Gia Nguyen, Laure Petrucci |
| 2016 | VMCAI | Parameter Synthesis for Parametric Interval Markov Chains. | Benot Delahaye, Didier Lime, Laure Petrucci |
| 2014 | ATVA | PeCAn: Compositional Verification of Petri Nets Made Easy. | Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, tienne Andr, Laure Petrucci, Yang Liu |
| 2013 | ATVA | Multi-threaded Explicit State Space Exploration with State Reconstruction. | Sami Evangelista, Lars Michael Kristensen, Laure Petrucci |
| 2013 | ICECCS | CosyVerif: An Open Source Extensible Verification Environment. | tienne Andr, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon |
| 2013 | ICFEM | A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. | tienne Andr, Benot Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci |
| 2013 | TIME | A New Approach to Abstract Reachability State Space of Time Petri Nets. | Kais Klai, Naim Aber, Laure Petrucci |
| 2012 | ATVA | Improved Multi-Core Nested Depth-First Search. | Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol |
| 2011 | ATVA | Parallel Nested Depth-First Searches for LTL Model Checking. | Sami Evangelista, Laure Petrucci, Samir Youcef |
| 2007 | FORTE | An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. | Kais Klai, Laure Petrucci, Michel A. Reniers |
| 2006 | ICTAC | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2003 | CAV | FAST: Fast Acceleration of Symbolikc Transition Systems. | Sbastien Bardin, Alain Finkel, Jrme Leroux, Laure Petrucci |
| 1998 | SMC | How to determine and use place flows in coloured Petri nets. | Sren Christensen, Laure Petrucci |
| 1991 | CAV | Avoiding State Exposion by Composition of Minimal Covering Graphs. | Alain Finkel, Laure Petrucci |
| 1990 | CAV | PAPETRI: Environment for the Analysis of Petri Nets. | Grard Berthelot, Colette Johnen, Laure Petrucci |