Laure Petrucci

133 papers A* 3A 5B 21C 9Misc 1Journal 42Unranked 45
YearRankTypeTitle / Venue / Authors
2026 J jnl
IMITATOR4AMAS: Strategy Synthesis for STCTL.
CoRR
Davide Catta, Adrien Lacroix, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2026 J jnl
Strategic (timed) computation tree logic.
Auton. Agents Multi Agent Syst.
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2026 J jnl
Towards Probabilistic Strategic Timed CTL.
CoRR
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025 — conf
Controller Synthesis for Parametric Timed Games.
QEST+FORMATS
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2025 J jnl
Controller Synthesis for Parametric Timed Games.
CoRR
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2025 J jnl
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks.
Int. J. Softw. Tools Technol. Transf.
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
2025 — conf
Formal Models are Magic.
PNSE/ATAED/PeNGE@PETRI NETS
Davide Catta, Wojciech Penczek, Laure Petrucci
2025 — ed.
Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23 - 24, 2025, Paris, France.
PNSE/ATAED/PeNGE@PETRI NETS
Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Robin Bergenthum, Andrey Rivkin, Jan Martijn E. M. van der Werf, Jörg Desel, Laure Petrucci
2025 A conf
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems.
AAMAS
Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci
2025 J jnl
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems.
CoRR
Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci
2025 A conf
Probabilistic Timed ATL.
AAMAS
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025 — conf
Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR.
ICAART (1)
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
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).
CoRR
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
2024 — conf
On-The-Fly Algorithm for Reachability in Parametric Timed Games.
TACAS (3)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
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 J jnl
Preface.
Fundam. Informaticae
Luca Bernardinello, Jetty Kleijn, Laure Petrucci
2024 — ed.
Proceedings of the Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024), Geneva, Switzerland, June 25, 2024.
PeNGE@Petri Nets
Jörg Desel, Laure Petrucci
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
2024 — conf
The Experience of an Interdisciplinary Course: Individual Presentation on the Internet.
ITHET
Véronique Chesneau, Laure Petrucci
2023 — conf
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023.
TOOLympics@ETAPS
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, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2023 J jnl
Development and Verification of a Microservice Architecture for a Fire Risk Notification System.
Trans. Petri Nets Other Model. Concurr.
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
2023 — ed.
Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
FORMATS
Laure Petrucci, Jeremy Sproston
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
2022 B conf
A Formal Model for Fault Tolerant Parallel Matrix Factorization.
ICECCS
Camille Coti, Laure Petrucci, Daniel Alberto Torres González
2022 B ed.
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
Petri Nets
Luca Bernardinello, Laure Petrucci
2022 B conf
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks.
ICECCS
Sami Evangelista, Laure Petrucci, Lars Michael Kristensen
2022 — conf
Efficient Convex Zone Merging in Parametric Timed Automata.
FORMATS
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022 J jnl
Efficient Convex Zone Merging in Parametric Timed Automata.
CoRR
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022 — conf
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction.
PNSE@Petri Nets
Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci
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 J jnl
Distributed parametric model checking timed automata under non-Zenoness assumption.
Formal Methods Syst. Des.
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
2021 — conf
Fault-Tolerant LU Factorization Is Low Cost.
Euro-Par
Camille Coti, Laure Petrucci, Daniel Alberto Torres González
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
2021 J jnl
Quasi-optimal partial order reduction.
Formal Methods Syst. Des.
Camille Coti, Laure Petrucci, César Rodríguez, Marcelo Sousa
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 J jnl
Modular Analysis of Tree-Topology Models.
CoRR
Laure Petrucci, Michal Knapik
2020 — conf
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).
WADT
Jaco van de Pol, Laure Petrucci
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 — conf
Minimal-Time Synthesis for Parametric Timed Automata.
TACAS (2)
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019 J jnl
Minimal-Time Synthesis for Parametric Timed Automata.
CoRR
Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019 J jnl
Parametric Verification: An Introduction.
CoRR
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
2019 J jnl
Parametric Verification: An Introduction.
Trans. Petri Nets Other Model. Concurr.
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
2019 B conf
Squeezing State Spaces of (Attack-Defence) Trees.
ICECCS
Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk
2019 J jnl
Timed ATL: Forget Memory, Just Count.
J. Artif. Intell. Res.
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
2018 B conf
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.
ICECCS
Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol
2018 — conf
One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters.
Euro-Par
Camille Coti, Sami Evangelista, Laure Petrucci
2018 — ch.
Parallel Model Checking Algorithms for Linear-Time Temporal Logic.
Handbook of Parallel Constraint Reasoning
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
2018 C conf
Parameter Synthesis Algorithms for Parametric Interval Markov Chains.
FORTE
Laure Petrucci, Jaco van de Pol
2018 — conf
Quasi-Optimal Partial Order Reduction.
CAV (2)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
2018 J jnl
Quasi-Optimal Partial Order Reduction.
CoRR
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
2018 J jnl
Specialisation and Generalisation of Processes.
Enterp. Model. Inf. Syst. Archit.
Christine Choppy, Jörg Desel, Laure Petrucci
2018 B conf
State Compression Based on One-Sided Communications for Distributed Model Checking.
ICECCS
Camille Coti, Sami Evangelista, Laure Petrucci
2017 — ed.
Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
FMICS-AVoCS
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
2017 B conf
Efficient Parameter Synthesis Using Optimized State Exploration Strategies.
ICECCS
Étienne André, Hoang Gia Nguyen, Laure Petrucci
2017 — conf
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption.
NFM
Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
2017 A conf
Timed ATL: Forget Memory, Just Count.
AAMAS
Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
2016 — conf
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification.
PNSE @ Petri Nets
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci
2016 — conf
Controlling Actions and Time in Parametric Timed Automata.
ACSD
Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci
2016 — conf
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
PNSE @ Petri Nets
Camille Coti, Charles Lakos, Laure Petrucci
2016 J jnl
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
CoRR
Camille Coti, Charles Lakos, Laure Petrucci
2016 B conf
Parameter Synthesis for Parametric Interval Markov Chains.
VMCAI
Benoît Delahaye, Didier Lime, Laure Petrucci
2015 — conf
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks.
SoICT
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André
2015 — conf
Decrypting cryptography.
ITHET
Étienne André, Laure Petrucci
2015 — conf
Unifying Patterns for Modelling Timed Relationships in Systems and Properties.
PNSE @ Petri Nets
Étienne André, Laure Petrucci
2014 — conf
Monitoring students performances in French Institutes of Technology using the ScoDoc software.
ITHET
Emmanuel Viennet, Laure Petrucci
2014 — conf
Nationwide industrial cooperation for long-life learning and apprenticeships.
ITHET
Denis Genon-Catalot, Laure Petrucci, Michel Tabouret
2014 B conf
PeCAn: Compositional Verification of Petri Nets Made Easy.
ATVA
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
2014 — ed.
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014.
FSFMA
Shang-Wei Lin, Laure Petrucci
2013 C conf
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
ICFEM
Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
2013 C conf
A New Approach to Abstract Reachability State Space of Time Petri Nets.
TIME
Kais Klai, Naim Aber, Laure Petrucci
2013 — conf
Coloured Petri Nets Refinements.
PNSE+ModPE
Christine Choppy, Laure Petrucci, Alfred Sanogo
2013 B conf
CosyVerif: An Open Source Extensible Verification Environment.
ICECCS
Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
2013 J jnl
From Code to Coloured Petri Nets: Modelling Guidelines.
Trans. Petri Nets Other Model. Concurr.
Anna Dedova, Laure Petrucci
2013 B conf
Multi-threaded Explicit State Space Exploration with State Reconstruction.
ATVA
Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
2013 — conf
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs.
FORMATS
Étienne André, Giuseppe Pellegrino, Laure Petrucci
2013 J jnl
Preface.
Fundam. Informaticae
Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci
2013 — conf
Verification of Reachability Properties for Time Petri Nets.
RP
Kais Klai, Naim Aber, Laure Petrucci
2012 — conf
A Counterexample-Based Incremental and Modular Verification Approach.
Monterey Workshop
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
2012 J jnl
Distributed model-checking and counterexample search for CTL logic.
Int. J. Crit. Comput. Based Syst.
Mohand Cherif Boukala, Laure Petrucci
2012 J jnl
Extending pnml Scope: A Framework to Combine Petri Nets Types.
Trans. Petri Nets Other Model. Concurr.
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
2012 — conf
From Code to Coloured Petri Nets: Modelling Guidelines.
PNSE
Anna Dedova, Laure Petrucci
2012 B conf
Improved Multi-Core Nested Depth-First Search.
ATVA
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
2012 J jnl
Modelling and Formal Verification of the NEO Protocol.
Trans. Petri Nets Other Model. Concurr.
Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef
2011 B ed.
Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Petri Nets
Lars Michael Kristensen, Laure Petrucci
2011 — conf
Extending PNML Scope: the Prioritised Petri Nets Experience.
PNSE
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
2011 B conf
Parallel Nested Depth-First Searches for LTL Model Checking.
ATVA
Sami Evangelista, Laure Petrucci, Samir Youcef
2011 — conf
Specialisation and Generalisation of Processes.
PNSE
Christine Choppy, Jörg Desel, Laure Petrucci
2010 J jnl
Coloured Petri net refinement specification and correctness proof with Coq.
Innov. Syst. Softw. Eng.
Christine Choppy, Micaela Mayero, Laure Petrucci
2010 — conf
Modular State Spaces for Prioritised Petri Nets.
Monterey Workshop
Charles Lakos, Laure Petrucci
2010 B conf
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.
Petri Nets
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves
2010 B conf
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Petri Nets
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
2009 — conf
Coloured Petri net refinement specification, and correctness proof with Coq.
NASA Formal Methods
Christine Choppy, Micaela Mayero, Laure Petrucci
2009 C conf
Efficient state-based analysis by introducing bags in Petri nets color domains.
ACC
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
2009 B conf
Towards a Standard for Modular Petri Nets: A Formalisation.
Petri Nets
Ekkart Kindler, Laure Petrucci
2008 Misc conf
A Modelling Approach with Coloured Petri Nets.
Ada-Europe
Christine Choppy, Laure Petrucci, Gianna Reggio
2008 — conf
Experimenting Formal Proofs of Petri Nets Refinements.
Refine@FM
Christine Choppy, Micaela Mayero, Laure Petrucci
2008 J jnl
FAST: acceleration from theory to practice.
Int. J. Softw. Tools Technol. Transf.
Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
2008 — conf
Modular construction of the symbolic observation graph.
ACSD
Kais Klai, Laure Petrucci
2007 C conf
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.
FORTE
Kais Klai, Laure Petrucci, Michel A. Reniers
2007 J jnl
Modular state space exploration for timed petri nets.
Int. J. Softw. Tools Technol. Transf.
Charles Lakos, Laure Petrucci
2006 — conf
COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation.
ECCBR
Hager Karoui, Rushed Kanawati, Laure Petrucci
2006 — conf
Cooperative CBR System for Peer Agent Committee Formation.
AP2PC
Hager Karoui, Rushed Kanawati, Laure Petrucci
2006 J jnl
Toward Formal-Methods Oecumenism?
IEEE Distributed Syst. Online
Fabrice Kordon, Laure Petrucci
2006 C conf
Tutorial on Formal Methods for Distributed and Cooperative Systems.
ICTAC
Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
2005 J jnl
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets.
Nord. J. Comput.
Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
2004 — conf
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
ICATPN
Lars Michael Kristensen, Laure Petrucci
2004 — conf
Modular Analysis of Systems Composed of Semiautonomous Subsystems.
ACSD
Charles Lakos, Laure Petrucci
2003 — conf
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.
ACSD
Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
2003 A* conf
FAST: Fast Acceleration of Symbolikc Transition Systems.
CAV
Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
2003 — conf
The Petri Net Markup Language: Concepts, Technology, and Tools.
ICATPN
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
2001 J jnl
Specification and validation of a concurrent system: an educational project.
Int. J. Softw. Tools Technol. Transf.
Gérard Berthelot, Laure Petrucci
2001 — book
Systems and Software Verification, Model-Checking Techniques and Tools.
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie
2000 J jnl
Modular Analysis of Petri Nets.
Comput. J.
Søren Christensen, Laure Petrucci
1998 B conf
How to determine and use place flows in coloured Petri nets.
SMC
Søren Christensen, Laure Petrucci
1995 — conf
Modular State Space Analysis of Coloured Petri Nets.
Application and Theory of Petri Nets
Søren Christensen, Laure Petrucci
1994 J jnl
Composition/décomposition de réseaux de petri et de leurs graphes de couverture.
RAIRO Theor. Informatics Appl.
Alain Finkel, Laure Petrucci
1992 — conf
Towards a Modular Analysis of Coloured Petri Nets.
Application and Theory of Petri Nets
Søren Christensen, Laure Petrucci
1991 A* conf
Avoiding State Exposion by Composition of Minimal Covering Graphs.
CAV
Alain Finkel, Laure Petrucci
1990 — conf
PAPETRI: Environment for the Analysis of PETRI Nets.
CAV (DIMACS/AMS volume)
Gérard Berthelot, Colette Johnen, Laure Petrucci
1990 A* conf
PAPETRI: Environment for the Analysis of Petri Nets.
CAV
Gérard Berthelot, Colette Johnen, Laure Petrucci
1990 — conf
Semantics, composition and net properties of algebraic high-level nets.
Applications and Theory of Petri Nets
Christian Dimitrovici, Udo Hummert, Laure Petrucci