Idir AIT SADOUNE
CentraleSupelec - Département informatique LRI - Équipe MODHEL
3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
F-91192 Gif-sur-Yvette cedex, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Téléphone : +33 [0]1 69 85 14 88
Télécopie : +33[0]1 69 85 14 99
idir[.]aitsadoune[at]centralesupelec[.]fr idir[.]aitsadoune[at]lri[.]fr
Thèmes de recherche

Mes activités de recherche abordent le thème de l'utilisation des méthodes formelles pour la modélisation et la vérification des systèmes, essentiellement l'utilisation des approches basées sur le raffinement et sur la preuve. Les problématiques traitées se résument dans les points suivants :

  1. Modélisation et Vérification de systèmes à base d’événements par la preuve et le raffinement
  2. Modélisation et vérification des systèmes interactifs
  3. Animation de modèles