Semantics, composition and net properties of algebraic high-level nets. - Christian Dimitrovici; Udo Hummert; Laure Petrucci (Applications and Theory of Petri Nets, 1990)

PAPETRI: Environment for the Analysis of Petri Nets. - Gérard Berthelot; Colette Johnen; Laure Petrucci (CAV, 1990)

Avoiding State Exposion by Composition of Minimal Covering Graphs. - Alain Finkel; Laure Petrucci (CAV, 1991)

Towards a Modular Analysis of Coloured Petri Nets. - Søren Christensen; Laure Petrucci (Application and Theory of Petri Nets, 1992)

Composition/décomposition de réseaux de petri et de leurs graphes de couverture. - Alain Finkel; Laure Petrucci (RAIRO Theor. Informatics Appl., 1994)

Modular State Space Analysis of Coloured Petri Nets. - Søren Christensen; Laure Petrucci (Application and Theory of Petri Nets, 1995)

How to determine and use place flows in coloured Petri nets. - Søren Christensen; Laure Petrucci (SMC, 1998)

Modular Analysis of Petri Nets. - Søren Christensen; Laure Petrucci (Comput. J., 2000)

Concurrent Systems Analysis Using ECATNets. - Faiza Belala; Mohamed Bettaz; Laure Petrucci-Dauchy (Log. J. IGPL, 2000)

Systems and Software Verification, Model-Checking Techniques and Tools. - Béatrice Bérard; Michel Bidoit; Alain Finkel; François Laroussinie; Antoine Petit 001; Laure Petrucci; Philippe Schnoebelen; Pierre McKenzie (Springer, 2001)

Specification and validation of a concurrent system: an educational project. - Gérard Berthelot; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2001)

Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. - Laure Petrucci; Jonathan Billington; Lars Michael Kristensen; Zahid H. Qureshi (ACSD, 2003)

The Petri Net Markup Language: Concepts, Technology, and Tools. - Jonathan Billington; Søren Christensen; Kees M. van Hee; Ekkart Kindler; Olaf Kummer; Laure Petrucci; Reinier Post; Christian Stehno; Michael Weber 003 (ICATPN, 2003)

FAST: Fast Acceleration of Symbolikc Transition Systems. - Sébastien Bardin; Alain Finkel; Jérôme Leroux; Laure Petrucci (CAV, 2003)

Modular Analysis of Systems Composed of Semiautonomous Subsystems. - Charles Lakos; Laure Petrucci (ACSD, 2004)

An Approach to Distributed State Space Exploration for Coloured Petri Nets. - Lars Michael Kristensen; Laure Petrucci (ICATPN, 2004)

Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. - Jonathan Billington; Guy Edward Gallasch; Laure Petrucci (Nord. J. Comput., 2005)

Cooperative CBR System for Peer Agent Committee Formation. - Hager Karoui; Rushed Kanawati; Laure Petrucci (AP2PC, 2006)

COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation. - Hager Karoui; Rushed Kanawati; Laure Petrucci (ECCBR, 2006)

PN Standardisation: A Survey. - Lom Hillah; Fabrice Kordon; Laure Petrucci-Dauchy; Nicolas Trèves (FORTE, 2006)

Tutorial on Formal Methods for Distributed and Cooperative Systems. - Christine Choppy; Serge Haddad; Hanna Klaudel; Fabrice Kordon; Laure Petrucci; Yann Thierry-Mieg (ICTAC, 2006)

Toward Formal-Methods Oecumenism? - Fabrice Kordon; Laure Petrucci (IEEE Distributed Syst. Online, 2006)

An Incremental and Modular Technique for Checking LTL X Properties of Petri Nets. - Kais Klai; Laure Petrucci; Michel A. Reniers (FORTE, 2007)

Modular state space exploration for timed petri nets. - Charles Lakos; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2007)

Modular construction of the symbolic observation graph. - Kais Klai; Laure Petrucci (ACSD, 2008)

A Modelling Approach with Coloured Petri Nets. - Christine Choppy; Laure Petrucci; Gianna Reggio (Ada-Europe, 2008)

Experimenting Formal Proofs of Petri Nets Refinements. - Christine Choppy; Micaela Mayero; Laure Petrucci (Refine@FM, 2008)

FAST: acceleration from theory to practice. - Sébastien Bardin; Alain Finkel; Jérôme Leroux; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2008)

Efficient state-based analysis by introducing bags in Petri nets color domains. - Serge Haddad; Fabrice Kordon; Laure Petrucci; Jean-François Pradat-Peyre; Nicolas Trèves (ACC, 2009)

Towards a Standard for Modular Petri Nets: A Formalisation. - Ekkart Kindler; Laure Petrucci (Petri Nets, 2009)

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. - Christine Choppy; Anna Dedova; Sami Evangelista; Silien Hong; Kais Klai; Laure Petrucci (Petri Nets, 2010)

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. - Lom-Messan Hillah; Fabrice Kordon; Laure Petrucci; Nicolas Trèves (Petri Nets, 2010)

Modular State Spaces for Prioritised Petri Nets. - Charles Lakos; Laure Petrucci (Monterey Workshop, 2010)

Coloured Petri net refinement specification and correctness proof with Coq. - Christine Choppy; Micaela Mayero; Laure Petrucci (Innov. Syst. Softw. Eng., 2010)

Extending PNML Scope: the Prioritised Petri Nets Experience. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (PNSE, 2011)

Parallel Nested Depth-First Searches for LTL Model Checking. - Sami Evangelista; Laure Petrucci; Samir Youcef (ATVA, 2011)

Improved Multi-Core Nested Depth-First Search. - Sami Evangelista; Alfons Laarman; Laure Petrucci; Jaco van de Pol (ATVA, 2012)

A Counterexample-Based Incremental and Modular Verification Approach. - Étienne André; Kais Klai; Hanen Ochi; Laure Petrucci (Monterey Workshop, 2012)

Distributed model-checking and counterexample search for CTL logic. - Mohand Cherif Boukala; Laure Petrucci (Int. J. Crit. Comput. Based Syst., 2012)

Modelling and Formal Verification of the NEO Protocol. - Christine Choppy; Anna Dedova; Sami Evangelista; Kais Klai; Laure Petrucci; Samir Youcef (Trans. Petri Nets Other Model. Concurr., 2012)

Extending pnml Scope: A Framework to Combine Petri Nets Types. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2012)

Coloured Petri Nets Refinements. - Christine Choppy; Laure Petrucci; Alfred Sanogo (PNSE+ModPE, 2013)

Multi-threaded Explicit State Space Exploration with State Reconstruction. - Sami Evangelista; Lars Michael Kristensen; Laure Petrucci (ATVA, 2013)

Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. - Étienne André; Giuseppe Pellegrino; Laure Petrucci (FORMATS, 2013)

CosyVerif: An Open Source Extensible Verification Environment. - Étienne André; Yousra Lembachar; Laure Petrucci; Francis Hulin-Hubard; Alban Linard; Lom Hillah; Fabrice Kordon (ICECCS, 2013)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. - Étienne André; Benoît Barbot; Clement Demoulins; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Kordon; Alban Linard; Laure Petrucci (ICFEM, 2013)

Verification of Reachability Properties for Time Petri Nets. - Kais Klai; Naim Aber; Laure Petrucci (RP, 2013)

A New Approach to Abstract Reachability State Space of Time Petri Nets. - Kais Klai; Naim Aber; Laure Petrucci (TIME, 2013)

Preface. - Lars Michael Kristensen; Wojciech Penczek; Laure Petrucci (Fundam. Informaticae, 2013)

From Code to Coloured Petri Nets: Modelling Guidelines. - Anna Dedova; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2013)

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 003 (ATVA, 2014)

Nationwide industrial cooperation for long-life learning and apprenticeships. - Denis Genon-Catalot; Laure Petrucci; Michel Tabouret (ITHET, 2014)

Monitoring students performances in French Institutes of Technology using the ScoDoc software. - Emmanuel Viennet; Laure Petrucci (ITHET, 2014)

Unifying Patterns for Modelling Timed Relationships in Systems and Properties. - Étienne André; Laure Petrucci (PNSE @ Petri Nets, 2015)

Decrypting cryptography. - Étienne André; Laure Petrucci (ITHET, 2015)

Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. - Khanh Le; Thang H. Bui; Tho Quan 001; Laure Petrucci; Étienne André (SoICT, 2015)

Controlling Actions and Time in Parametric Timed Automata. - Étienne André; Michal Knapik; Wojciech Penczek; Laure Petrucci (ACSD, 2016)

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. - Camille Coti; Charles Lakos; Laure Petrucci (PNSE @ Petri Nets, 2016)

A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. - Khanh Le; Thang H. Bui; Tho Quan 001; Laure Petrucci (PNSE @ Petri Nets, 2016)

Parameter Synthesis for Parametric Interval Markov Chains. - Benoît Delahaye; Didier Lime; Laure Petrucci (VMCAI, 2016)

Efficient Parameter Synthesis Using Optimized State Exploration Strategies. - Étienne André; Hoang Gia Nguyen; Laure Petrucci (ICECCS, 2017)

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. - Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun 001 (NFM, 2017)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic. - Jiri Barnat; Vincent Bloemen; Alexandre Duret-Lutz; Alfons Laarman; Laure Petrucci; Jaco van de Pol; Etienne Renault (Handbook of Parallel Constraint Reasoning, 2018)

Quasi-Optimal Partial Order Reduction. - Huyen T. T. Nguyen; César Rodríguez; Marcelo Sousa; Camille Coti; Laure Petrucci (CAV (2), 2018)

One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters. - Camille Coti; Sami Evangelista; Laure Petrucci (Euro-Par, 2018)

Parameter Synthesis Algorithms for Parametric Interval Markov Chains. - Laure Petrucci; Jaco van de Pol (FORTE, 2018)

State Compression Based on One-Sided Communications for Distributed Model Checking. - Camille Coti; Sami Evangelista; Laure Petrucci (ICECCS, 2018)

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. - Hoang Gia Nguyen; Laure Petrucci; Jaco van de Pol (ICECCS, 2018)

Specialisation and Generalisation of Processes. - Christine Choppy; Jörg Desel; Laure Petrucci (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018)

Squeezing State Spaces of (Attack-Defence) Trees. - Laure Petrucci; Michal Knapik; Wojciech Penczek; Teofil Sidoruk (ICECCS, 2019)

Minimal-Time Synthesis for Parametric Timed Automata. - Étienne André; Vincent Bloemen; Laure Petrucci; Jaco van de Pol (TACAS (2), 2019)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. - Jaime Arias 001; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Mariëlle Stoelinga (CoRR, 2019)

Timed ATL: Forget Memory, Just Count. - Michal Knapik; Étienne André; Laure Petrucci; Wojciech Jamroga; Wojciech Penczek (J. Artif. Intell. Res., 2019)

Parametric Verification: An Introduction. - Étienne André; Michal Knapik; Didier Lime; Wojciech Penczek; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2019)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. - Jaime Arias 001; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk; Mariëlle Stoelinga (ICFEM, 2020)

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). - Jaco van de Pol; Laure Petrucci (WADT, 2020)

Modular Analysis of Tree-Topology Models. - Laure Petrucci; Michal Knapik (CoRR, 2020)

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (Zenodo, 2020)

ADT2AMAS: Managing Agents in Attack-Defence Scenarios. - Jaime Arias 001; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2021)

Fault-Tolerant LU Factorization Is Low Cost. - Camille Coti; Laure Petrucci; Daniel Alberto Torres González (Euro-Par, 2021)

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. - Étienne André; Jaime Arias 001; Laure Petrucci; Jaco van de Pol (TACAS (1), 2021)

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. - Jaime Arias 001; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (CoRR, 2021)

Distributed parametric model checking timed automata under non-Zenoness assumption. - Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun 001 (Formal Methods Syst. Des., 2021)

Quasi-optimal partial order reduction. - Camille Coti; Laure Petrucci; César Rodríguez; Marcelo Sousa (Formal Methods Syst. Des., 2021)

Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. - Ruben Dobler Strand; Lars Michael Kristensen; Laure Petrucci (PNSE@Petri Nets, 2022)

Efficient Convex Zone Merging in Parametric Timed Automata. - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (FORMATS, 2022)

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (FTSCS, 2022)

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. - Jaime Arias 001; Laure Petrucci; Lukasz Masko; Wojciech Penczek; Teofil Sidoruk (ICECCS, 2022)

A Formal Model for Fault Tolerant Parallel Matrix Factorization. - Camille Coti; Laure Petrucci; Daniel Alberto Torres González (ICECCS, 2022)

Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. - Sami Evangelista; Laure Petrucci; Lars Michael Kristensen (ICECCS, 2022)

Modular Analysis of Tree-Topology Models. - Jaime Arias 001; Michal Knapik; Wojciech Penczek; Laure Petrucci (ICFEM, 2022)

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (Zenodo, 2022)

Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. - Étienne André; Hoang Gia Nguyen; Laure Petrucci; Jun Sun 001 (Zenodo, 2022)

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (Petri Nets, 2023)

Strategic (Timed) Computation Tree Logic. - Jaime Arias 001; Wojciech Jamroga; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2023)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. - Jaime Arias 001; Carlos Olarte; Laure Petrucci; Lukasz Masko; Wojciech Penczek; Teofil Sidoruk (CoRR, 2023)

Development and Verification of a Microservice Architecture for a Fire Risk Notification System. - Ruben Dobler Strand; Lars Michael Kristensen; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2023)

Artifact for "On-The-Fly Algorithm for Reachability in Parametric Timed Games". - Mikael Bisgaard Dahlsen-Jensen; Jaco van de Pol; Laure Petrucci; Baptiste Fievet (Zenodo, 2023)

CosyVerif: The Path to Formalisms Cohabitation. - Étienne André; Jaime Arias 001; Benoît Barbot; Francis Hulin-Hubard; Fabrice Kordon; Van-François Le; Laure Petrucci (Petri Nets, 2024)

The Experience of an Interdisciplinary Course: Individual Presentation on the Internet. - Véronique Chesneau; Laure Petrucci (ITHET, 2024)

Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. - Jaime Arias 001; Carlos Olarte; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (PPDP, 2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games. - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (TACAS (3), 2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (CoRR, 2024)

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci (Fundam. Informaticae, 2024)

Preface. - Luca Bernardinello; Jetty Kleijn; Laure Petrucci (Fundam. Informaticae, 2024)

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (Sci. Comput. Program., 2024)

Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. - Jaime Arias 001; Carlos Olarte; Laure Petrucci; Lukasz Masko; Wojciech Penczek; Teofil Sidoruk (IEEE Trans. Reliab., 2024)

Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. - Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (ICAART (1), 2025)

Probabilistic Timed ATL. - Wojciech Jamroga; Marta Kwiatkowska; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2025)

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. - Yan Kim; Wojciech Jamroga; Wojciech Penczek; Laure Petrucci (AAMAS, 2025)

Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks. - Sami Evangelista; Lars Michael Kristensen; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2025)

Controller Synthesis for Parametric Timed Games. - Mikael Bisgaard Dahlsen-Jensen; Baptiste Fievet; Laure Petrucci; Jaco van de Pol (CoRR, 2025)