| |
| 2000 | ||
|---|---|---|
| 3 | Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136 | |
| 1998 | ||
| 2 | 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 | ||
| 1 | Jean-Michel Ilié, Khalil Ajami: Model Checking Through Symbolic Reachability Graph. TAPSOFT 1997: 213-224 | |
| 1 | Serge Haddad | [2] [3] |
| 2 | Jean-Michel Ilié (Jean Michel Ilié) | [1] [2] [3] |