The SCEAS System
Navigation Menu

Search the dblp DataBase


Jean-Michel Couvreur: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Haféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier
    Specification of Compositional Active Objects Using Modular Colored Nets. [Citation Graph (0, 0)][DBLP]
    Applications in Parallel and Distributed Computing, 1994, pp:205-214 [Conf]
  2. Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet
    On Liveness in Extended non Self-Controlling Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:25-44 [Conf]
  3. Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
    On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:90-107 [Conf]
  4. Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva
    A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1991, pp:126-147 [Conf]
  5. Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
    Data Decision Diagrams for Petri Net Analysis. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:101-120 [Conf]
  6. Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
    Designing a LTL Model-Checker Based on Unfolding Graphs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:123-145 [Conf]
  7. Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
    Unfolding of Products of Symmetrical Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:121-143 [Conf]
  8. Jean-Michel Couvreur, Serge Haddad, J. F. Peyre
    Generative Families of Positive Invariants in Coloured Nets Sub-Classes. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1991, pp:51-70 [Conf]
  9. Jean-Michel Couvreur, Javier Martínez
    Linear invariants in commutative high level nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:146-164 [Conf]
  10. Jean-Michel Couvreur, Emmanuel Paviot-Adet
    New Structural Invariants for Petri Nets Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:199-218 [Conf]
  11. Jean-Michel Couvreur, Denis Poitrenaud
    Detection of Illegal Behaviors Based on Unfoldings. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:364-383 [Conf]
  12. Jean-Michel Couvreur
    On-the-Fly Verification of Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:253-271 [Conf]
  13. Jean-Michel Couvreur, Denis Poitrenaud
    Model Checking Based on Occurrence Net Graph. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:380-395 [Conf]
  14. Jean-Michel Couvreur, Yann Thierry-Mieg
    Hierarchical Decision Diagrams to Exploit Model Structure. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:443-457 [Conf]
  15. Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda
    Asynchronous Unison (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:486-493 [Conf]
  16. Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre
    An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:361-375 [Conf]
  17. Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
    On-the-Fly Emptiness Checks for Generalized Büchi Automata. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:169-184 [Conf]
  18. Jean-Michel Couvreur
    A BDD-Like Implementation of an Automata Package. [Citation Graph (0, 0)][DBLP]
    CIAA, 2004, pp:310-311 [Conf]

  19. On-the-fly Emptiness Check of Transition-Based Streett Automata. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002