| 2008 |
|---|
| 15 | EE | 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 | EE | Kais Klai,
Serge Haddad,
Jean-Michel Ilié:
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
FORTE 2005: 189-203 |
| 13 | EE | 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 | EE | Serge Haddad,
Jean-Michel Ilié,
Kais Klai:
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.
ATVA 2004: 196-210 |
| 11 | EE | Yann Thierry-Mieg,
Jean-Michel Ilié,
Denis Poitrenaud:
A Symbolic Symbolic State Space Representation.
FORTE 2004: 276-291 |
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | Lorenzo Capra,
Claude Dutheillet,
Giuliana Franceschinis,
Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN.
MASCOTS 1999: 148-155 |
| 1998 |
|---|
| 5 | EE | 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 |
