Jean-Michel Couvreur

	2009
19		Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur: On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA 2009: 213-227
	2005
18		Jean-Michel Couvreur, Yann Thierry-Mieg: Hierarchical Decision Diagrams to Exploit Model Structure. FORTE 2005: 443-457
17		Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai: On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107
16		Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud: On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN 2005: 169-184
	2004
15		Jean-Michel Couvreur: A BDD-Like Implementation of an Automata Package. CIAA 2004: 310-311
	2003
14		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		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		Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143
	2000
11		Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN 2000: 123-145
	1999
10		Jean-Michel Couvreur, Denis Poitrenaud: Detection of Illegal Behaviors Based on Unfoldings. ICATPN 1999: 364-383
9		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

Coauthor Index

1	Haféda Bachatène	[5]
2	Kamel Barkaoui	[7] [17]
3	Alexandre Duret-Lutz	[16] [19]
4	Claude Dutheillet	[7]
5	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[13]
6	Pascal Estraillier	[5]
7	Joaquin Ezpeleta	[3]
8	Nissim Francez	[4]
9	Mohamed G. Gouda	[4]
10	Sébastien Grivet	[11] [12]
11	Serge Haddad	[2]
12	Kais Klai	[17]
13	Javier Martínez	[1]
14	Emmanuel Paviot-Adet	[6] [13]
15	J. F. Peyre	[2]
16	Denis Poitrenaud	[8] [10] [11] [12] [13] [16] [19]
17	Nasser Saheb	[14]
18	Manuel Silva	[3]
19	Grégoire Sutre	[14]
20	Yann Thierry-Mieg	[18]
21	Pierre-André Wacrenier	[13]

Colors in the list of coauthors