Laure Petrucci

Laure Petrucci-Dauchy

	2009
26		Ekkart Kindler, Laure Petrucci: Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets 2009: 43-62
	2008
25		Kais Klai, Laure Petrucci: Modular construction of the symbolic observation graph. ACSD 2008: 88-97
24		Christine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86
23		Christine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)
22		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		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		Charles Lakos, Laure Petrucci: Modular state space exploration for timed petri nets. STTT 9(3-4): 393-411 (2007)
	2006
19		Hager Karoui, Rushed Kanawati, Laure Petrucci: COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation. ECCBR 2006: 76-90
18		Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves: PN Standardisation: A Survey. FORTE 2006: 307-322
17		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		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		Charles Lakos, Laure Petrucci: Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD 2004: 185-196
13		Lars Michael Kristensen, Laure Petrucci: An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483
	2003
12		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		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: Fast Acceleration of Symbolikc Transition Systems. CAV 2003: 118-121
10		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		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		Faiza 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

Coauthor Index

1	Sébastien Bardin	[11] [22]
2	Faiza Belala	[7]
3	Gérard Berthelot	[1] [9]
4	Mohamed Bettaz	[7]
5	Jonathan Billington	[10] [12] [15]
6	Christine Choppy	[17] [23] [24]
7	Søren Christensen	[4] [6] [8] [10]
8	Christian Dimitrovici	[2]
9	Alain Finkel	[3] [5] [11] [22]
10	Guy Edward Gallasch	[15]
11	Serge Haddad	[17]
12	Kees M. van Hee	[10]
13	Lom-Messan Hillah (Lom Hillah)	[18]
14	Udo Hummert	[2]
15	Colette Johnen	[1]
16	Rushed Kanawati	[19]
17	Hager Karoui	[19]
18	Ekkart Kindler	[10] [26]
19	Kais Klai	[21] [25]
20	Hanna Klaudel	[17]
21	Fabrice Kordon	[16] [17] [18]
22	Lars Michael Kristensen	[12] [13]
23	Olaf Kummer	[10]
24	Charles Lakos	[14] [20]
25	Jérôme Leroux	[11] [22]
26	Micaela Mayero	[23]
27	Reinier Post (R. D. J. Post)	[10]
28	Zahid H. Qureshi	[12]
29	Gianna Reggio	[24]
30	Michel A. Reniers	[21]
31	Christian Stehno	[10]
32	Yann Thierry-Mieg	[17]
33	Nicolas Trèves	[18]
34	Michael Weber	[10]

Colors in the list of coauthors