dblp.uni-trier.dewww.uni-trier.de

Laure Petrucci

Laure Petrucci-Dauchy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
25EEKais Klai, Laure Petrucci: Modular construction of the symbolic observation graph. ACSD 2008: 88-97
24EEChristine Choppy, Laure Petrucci, Gianna Reggio: A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86
23EEChristine Choppy, Micaela Mayero, Laure Petrucci: Experimenting Formal Proofs of Petri Nets Refinements. Electr. Notes Theor. Comput. Sci. 214: 231-254 (2008)
22EESébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: acceleration from theory to practice. STTT 10(5): 401-424 (2008)
2007
21EEKais Klai, Laure Petrucci, Michel A. Reniers: An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007: 280-295
20EECharles Lakos, Laure Petrucci: Modular state space exploration for timed petri nets. STTT 9(3-4): 393-411 (2007)
2006
19EEHager Karoui, Rushed Kanawati, Laure Petrucci: COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation. ECCBR 2006: 76-90
18EELom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves: PN Standardisation: A Survey. FORTE 2006: 307-322
17EEChristine 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
16EEFabrice 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
14EECharles Lakos, Laure Petrucci: Modular Analysis of Systems Composed of Semiautonomous Subsystems. ACSD 2004: 185-196
13EELars Michael Kristensen, Laure Petrucci: An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483
2003
12EELaure 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
11EESébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: Fast Acceleration of Symbolikc Transition Systems. CAV 2003: 118-121
10EEJonathan 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
9EEGé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)
7EEF. 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)