| 2008 |
|---|
| 25 | EE | Kais Klai,
Laure Petrucci:
Modular construction of the symbolic observation graph.
ACSD 2008: 88-97 |
| 24 | EE | Christine Choppy,
Laure Petrucci,
Gianna Reggio:
A Modelling Approach with Coloured Petri Nets.
Ada-Europe 2008: 73-86 |
| 23 | EE | Christine Choppy,
Micaela Mayero,
Laure Petrucci:
Experimenting Formal Proofs of Petri Nets Refinements.
Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008) |
| 22 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
Laure Petrucci:
FAST: acceleration from theory to practice.
STTT 10(5): 401-424 (2008) |
| 2007 |
|---|
| 21 | EE | Kais Klai,
Laure Petrucci,
Michel A. Reniers:
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.
FORTE 2007: 280-295 |
| 20 | EE | Charles Lakos,
Laure Petrucci:
Modular state space exploration for timed petri nets.
STTT 9(3-4): 393-411 (2007) |
| 2006 |
|---|
| 19 | EE | Hager Karoui,
Rushed Kanawati,
Laure Petrucci:
COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation.
ECCBR 2006: 76-90 |
| 18 | EE | Lom Hillah,
Fabrice Kordon,
Laure Petrucci-Dauchy,
Nicolas Trèves:
PN Standardisation: A Survey.
FORTE 2006: 307-322 |
| 17 | EE | 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 |
| 16 | EE | Fabrice Kordon,
Laure Petrucci:
Toward Formal-Methods Oecumenism?
IEEE Distributed Systems Online 7(7): (2006) |
| 2005 |
|---|
| 15 | | 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) |
| 2004 |
|---|
| 14 | EE | Charles Lakos,
Laure Petrucci:
Modular Analysis of Systems Composed of Semiautonomous Subsystems.
ACSD 2004: 185-196 |
| 13 | EE | Lars Michael Kristensen,
Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
ICATPN 2004: 474-483 |
| 2003 |
|---|
| 12 | EE | 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 |
| 11 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
Laure Petrucci:
FAST: Fast Acceleration of Symbolikc Transition Systems.
CAV 2003: 118-121 |
| 10 | EE | 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 |
| 2001 |
|---|
| 9 | EE | Gérard Berthelot,
Laure Petrucci:
Specification and validation of a concurrent system: an educational project.
STTT 3(4): 372-381 (2001) |
| 2000 |
|---|
| 8 | | Søren Christensen,
Laure Petrucci:
Modular Analysis of Petri Nets.
Comput. J. 43(3): 224-242 (2000) |
| 7 | EE | F. Belala,
Mohamed Bettaz,
Laure Petrucci-Dauchy:
Concurrent Systems Analysis Using ECATNets.
Logic Journal of the IGPL 8(2): (2000) |
| 1995 |
|---|
| 6 | | Søren Christensen,
Laure Petrucci:
Modular State Space Analysis of Coloured Petri Nets.
Application and Theory of Petri Nets 1995: 201-217 |
| 1994 |
|---|
| 5 | | Alain Finkel,
Laure Petrucci:
Composition/décomposition de réseaux de petri et de leurs graphes de couverture.
ITA 28(2): 73-124 (1994) |
| 1992 |
|---|
| 4 | | Søren Christensen,
Laure Petrucci:
Towards a Modular Analysis of Coloured Petri Nets.
Application and Theory of Petri Nets 1992: 113-133 |
| 1991 |
|---|
| 3 | | Alain Finkel,
Laure Petrucci:
Avoiding State Exposion by Composition of Minimal Covering Graphs.
CAV 1991: 169-180 |
| 1990 |
|---|
| 2 | | 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 |
| 1 | | Gérard Berthelot,
Colette Johnen,
Laure Petrucci:
PAPETRI: Environment for the Analysis of Petri Nets.
CAV 1990: 13-22 |
