AJAMI Khalil
Supervision : Claude GIRAULT
Co-supervision : ILIÉ Jean-Michel
La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries
La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries
Defence : 07/03/2000
Jury members :
Berthelot Gérard(CNAM) [Rapporteur Président]
Haddad Serge(LAMSADE Dauphine) [Rapporteur]
Girault Claude(LIP6)
Ilié Jean- Michel(IUT Paris V)
Chehaibar Ghassan(BULL SERVERS)
Franceschinis Giuliana(Université de Turin)
1997-2000 Publications
-
2000
- Kh. Ajami : “La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries”, thesis, phd defence 07/03/2000, supervision Girault, Claude, co-supervision : Ilié, Jean-Michel (2000)
- S. Haddad, J.‑M. Ilié, Kh. Ajami : “A Model Checking Method for Partially Symmetric Systems”, International conference on Formal Methods for Distributed System Development, FORTE/PSTV2000, vol. 183, IFIP Conference Proceedings, Pisa, Italy, pp. 121-136, (Kluwer) (2000)
-
1998
- Kh. Ajami, S. Haddad, J.‑M. Ilié : “Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond”, (1998)
- Kh. Ajami, S. Haddad, J.‑M. Ilié : “Exploiting Symmetry in Linear Time Temporal Logic Model Checking”, European Conference on Theory and Practice of Software, vol. 1384, Lecture Notes in Computer Science, Lisbon, Portugal, pp. 52-67, (Springer-Verlag) (1998)
-
1997
- Kh. Ajami, J.‑M. Ilié : “An Automatique Technique for CTL* Model Checking”, (1997)
- J.‑M. Ilié, Kh. Ajami : “Model Checking through Symbolic Reachability Graph”, Theory and Practice of Software Development, TAPSOFT'97, Lecture Notes in Computer Science, Lille, France, pp. 213-224, (Springer-Verlag) (1997)