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

Phd 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)