| 2007 |
|---|
| 19 | 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 |
| 18 | EE | Charles Lakos,
Laure Petrucci:
Modular state space exploration for timed petri nets.
STTT 9(3-4): 393-411 (2007) |
| 2006 |
|---|
| 17 | EE | Hager Karoui,
Rushed Kanawati,
Laure Petrucci:
COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation.
ECCBR 2006: 76-90 |
| 16 | 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 |
| 15 | EE | Fabrice Kordon,
Laure Petrucci:
Toward Formal-Methods Oecumenism?
IEEE Distributed Systems Online 7(7): (2006) |
| 2005 |
|---|
| 14 | | 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 |
|---|
| 13 | EE | Charles Lakos,
Laure Petrucci:
Modular Analysis of Systems Composed of Semiautonomous Subsystems.
ACSD 2004: 185-196 |
| 12 | EE | Lars Michael Kristensen,
Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
ICATPN 2004: 474-483 |
| 2003 |
|---|
| 11 | 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 |
| 10 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
Laure Petrucci:
FAST: Fast Acceleration of Symbolikc Transition Systems.
CAV 2003: 118-121 |
| 9 | 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 |
|---|
| 8 | EE | Gérard Berthelot,
Laure Petrucci:
Specification and validation of a concurrent system: an educational project.
STTT 3(4): 372-381 (2001) |
| 2000 |
|---|
| 7 | | Søren Christensen,
Laure Petrucci:
Modular Analysis of Petri Nets.
Comput. J. 43(3): 224-242 (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 |
