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