The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laure Petrucci: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.603secs, Finished in 0.604secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002