Search the dblp DataBase

Publications of Author

1. Charles Lakos, Laure Petrucci
   Modular Analysis of Systems Composed of Semiautonomous Subsystems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2004, pp:185-196 [Conf]
   
2. Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi
   Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. [Citation Graph (0, 0)][DBLP]
   ACSD, 2003, pp:92-101 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:483-505 [Conf]
   
4. Christian Dimitrovici, Udo Hummert, Laure Petrucci
   Semantics, composition and net properties of algebraic high-level nets. [Citation Graph (0, 0)][DBLP]
   Applications and Theory of Petri Nets, 1990, pp:93-117 [Conf]
   
5. Søren Christensen, Laure Petrucci
   Towards a Modular Analysis of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1992, pp:113-133 [Conf]
   
6. Søren Christensen, Laure Petrucci
   Modular State Space Analysis of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:201-217 [Conf]
   
7. Lars Michael Kristensen, Laure Petrucci
   An Approach to Distributed State Space Exploration for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2004, pp:474-483 [Conf]
   
8. Gérard Berthelot, Colette Johnen, Laure Petrucci
   PAPETRI: Environment for the Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP]
   CAV, 1990, pp:13-22 [Conf]
   
9. Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
   FAST: Fast Acceleration of Symbolikc Transition Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:118-121 [Conf]
   
10. Alain Finkel, Laure Petrucci
    Avoiding State Exposion by Composition of Minimal Covering Graphs. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:169-180 [Conf]
    
11. Hager Karoui, Rushed Kanawati, Laure Petrucci
    COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation. [Citation Graph (0, 0)][DBLP]
    ECCBR, 2006, pp:76-90 [Conf]
    
12. Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
    Tutorial on Formal Methods for Distributed and Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:362-365 [Conf]
    
13. Søren Christensen, Laure Petrucci
    Modular Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2000, v:43, n:3, pp:224-242 [Journal]
    
14. Fabrice Kordon, Laure Petrucci
    Toward Formal-Methods Oecumenism? [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2006, v:7, n:7, pp:- [Journal]
    
15. Alain Finkel, Laure Petrucci
    Composition/décomposition de réseaux de petri et de leurs graphes de couverture. [Citation Graph (0, 0)][DBLP]
    ITA, 1994, v:28, n:2, pp:73-124 [Journal]
    
16. Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
    Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:3, pp:251-274 [Journal]
    
17. Gérard Berthelot, Laure Petrucci
    Specification and validation of a concurrent system: an educational project. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:372-381 [Journal]
    
18. Kais Klai, Laure Petrucci, Michel Reniers
    An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:280-295 [Conf]
    
19. Charles Lakos, Laure Petrucci
    Modular state space exploration for timed petri nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:3-4, pp:393-411 [Journal]
    
20. 
    Modular construction of the symbolic observation graph. [Citation Graph (, )][DBLP]
    
    
21. 
    A Modelling Approach with Coloured Petri Nets. [Citation Graph (, )][DBLP]
    
    
22. 
    Towards a Standard for Modular Petri Nets: A Formalisation. [Citation Graph (, )][DBLP]
    
    
23. 
    PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. [Citation Graph (, )][DBLP]
    
    
24. 
    The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. [Citation Graph (, )][DBLP]
    
    
25. 
    Experimenting Formal Proofs of Petri Nets Refinements. [Citation Graph (, )][DBLP]