Laure Petrucci

Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci: Preface. Fundam. Inform. 122(1-2) (2013)

Mohand Cherif Boukala, Laure Petrucci: Distributed model-checking and counterexample search for CTL logic. IJCCBS 3(1/2): 44-59 (2012)

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci: Extending pnml Scope: A Framework to Combine Petri Nets Types. T. Petri Nets and Other Models of Concurrency 6: 46-70 (2012)

Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef: Modelling and Formal Verification of the NEO Protocol. T. Petri Nets and Other Models of Concurrency 6: 197-225 (2012)

Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol: Improved Multi-Core Nested Depth-First Search. ATVA 2012: 269-283

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

Sami Evangelista, Laure Petrucci, Samir Youcef: Parallel Nested Depth-First Searches for LTL Model Checking. ATVA 2011: 381-396

Lars Michael Kristensen, Laure Petrucci (Eds.): Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6709, Springer 2011, isbn 978-3-642-21833-0

Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification and correctness proof with Coq. ISSE 6(3): 195-202 (2010)

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

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

Charles Lakos, Laure Petrucci: Modular State Spaces for Prioritised Petri Nets. Monterey Workshop 2010: 136-156

Ekkart Kindler, Laure Petrucci: Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets 2009: 43-62

Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification, and correctness proof with Coq. NASA Formal Methods 2009: 156-165

Christine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: acceleration from theory to practice. STTT 10(5): 401-424 (2008)

Kais Klai, Laure Petrucci: Modular construction of the symbolic observation graph. ACSD 2008: 88-97

Christine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86

Charles Lakos, Laure Petrucci: Modular state space exploration for timed petri nets. STTT 9(3-4): 393-411 (2007)

Kais Klai, Laure Petrucci, Michel A. Reniers: An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007: 280-295

Fabrice Kordon, Laure Petrucci: Toward Formal-Methods Oecumenism? IEEE Distributed Systems Online 7(7) (2006)

Hager Karoui, Rushed Kanawati, Laure Petrucci: Cooperative CBR System for Peer Agent Committee Formation. AP2PC 2006: 51-62

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

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

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

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

Charles Lakos, Laure Petrucci: Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD 2004: 185-196

Lars Michael Kristensen, Laure Petrucci: An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483

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

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

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

Gérard Berthelot, Laure Petrucci: Specification and validation of a concurrent system: an educational project. STTT 3(4): 372-381 (2001)

Søren Christensen, Laure Petrucci: Modular Analysis of Petri Nets. Comput. J. 43(3): 224-242 (2000)

Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy: Concurrent Systems Analysis Using ECATNets. Logic Journal of the IGPL 8(2): 149-164 (2000)

Søren Christensen, Laure Petrucci: Modular State Space Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1995: 201-217

Alain Finkel, Laure Petrucci: Composition/décomposition de réseaux de petri et de leurs graphes de couverture. ITA 28(2): 73-124 (1994)

Søren Christensen, Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1992: 113-133

Alain Finkel, Laure Petrucci: Avoiding State Exposion by Composition of Minimal Covering Graphs. CAV 1991: 169-180

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

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