Search the dblp DataBase

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]