Safouan TAHA

Enseignant-Chercheur

Safouan TAHA

SUPÉLEC
Département Informatique
Plateau de Moulon
3 rue Joliot-Curie
91192 GIF SUR YVETTE CEDEX
France
Tél : +33 (0)1 69 85 14 82
Fax : +33 (0)1 69 85 14 99
Courriel : Safouan.Taha[@]supelec.fr
Bureau D2-11



     
>  Enseignement 

  • Première année
    • Modèles de Programmation (TDs et ELs)
    • Fondements de l’Informatique - Structures de Données et Algorithmes (TDs et ELs)
    • Génie Logiciel Objet (TDs)
  • Deuxième année
    • Architecture des systèmes informatiques (TDs et ELs)
    • Systèmes d'Information (TDs)
    • Projets de développement de logiciel et de conception (Encadrement / Concours)
  • Troisième année
    • Sémantique des langages et vérification des systèmes (Cours et BEs)
    • Conception des systèmes embarqués temps-réel (Cours et BEs)
    • CEI : Conventions d’Etudes Industrielles (Encadrement)
  • Master
    • Nuclear Energy :
      • Responsable module : Contrôle-Commande (Nuclear Plant Design et Operations)
      • Logiques temporelles et Model-checking (Cours, TDs et BEs)
    • COMASIC : Systèmes embarqués temps-réel (Cours et Projet)


> Recherche
 
Mes travaux de recherche portent sur les domaines de :

  • Méthodes formelles : logiques temporelles, model-checking...
  • Conception et modélisation des systèmes réactifs temps-réel


> Publications

  • A Compositional Automata-Based Semantics for Property Patterns, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku : Finland (2013).

  • B. Wolff and F. Zaidi, editors,ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems,volume 7019 of LNCS,Paris, France,pages 32--47,November 2011.Springer.
  • Voir autres publications

> Outillages



> Personnel   

 
Dernière modification : 18/06/2013