Jean-Michel Ilié

Jean Michel Ilié

	2008
15		Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala: Time Recursive Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 104-118 (2008)
	2005
14		Kais Klai, Serge Haddad, Jean-Michel Ilié: Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203
13		Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié: On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32
	2004
12		Serge Haddad, Jean-Michel Ilié, Kais Klai: Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210
11		Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud: A Symbolic Symbolic State Space Representation. FORTE 2004: 276-291
10		Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux: Extended SWN Solvers in GreatSPN. QEST 2004: 324-325
	2001
9		Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: On the use of partial symmetries for lumping Markov chains. SIGMETRICS Performance Evaluation Review 28(4): 33-35 (2001)
	2000
8		Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136
7		Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Exploiting Partial Symmetries for Markov Chain Aggregation. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
	1999
6		Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155
	1998
5		Khalil Ajami, Serge Haddad, Jean-Michel Ilié: Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67
	1997
4		Jean-Michel Ilié, Khalil Ajami: Model Checking Through Symbolic Reachability Graph. TAPSOFT 1997: 213-224
	1995
3		Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari: Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets 1995: 238-257
	1993
2		Jean-Michel Ilié, Omar Rojas: On Well-Formed Nets and Optimizations in Enabling Tests. Application and Theory of Petri Nets 1993: 300-318
	1985
1		P. Estraillier, Claude Girault, Jean Michel Ilié: Satellite Protocol Modeling by Synchronous Predicate Transition Nets. PNPM 1985: 280-287

Coauthor Index

1	Khalil Ajami	[4] [5] [8]
2	Souheib Baarir	[10] [13]
3	Marco Beccuti	[10]
4	Malika Boukala	[15]
5	Lorenzo Capra	[6] [7] [9]
6	Djaouida Dahmani	[15]
7	C. Delamare	[10]
8	Susanna Donatelli	[10]
9	Claude Dutheillet	[6] [7] [9] [10] [13]
10	P. Estraillier	[1]
11	Giuliana Franceschinis	[6] [7] [9] [10]
12	Rossano Gaeta	[10]
13	Claude Girault	[1]
14	Serge Haddad	[3] [5] [8] [12] [13] [14]
15	Kais Klai	[12] [14]
16	Patrice Moreaux	[10]
17	Denis Poitrenaud	[11]
18	Omar Rojas	[2]
19	Mohamed Taghelit	[3]
20	Yann Thierry-Mieg	[11]
21	Belhassen Zouari	[3]

Colors in the list of coauthors