Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > ZAIDI Fatiha
Présentation
Mme ZAIDI Fatiha
Maître de Conférences
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169156420
Fax :
Bureau : 37/PCRI-S

Page personnelle : http://www.lri.fr/~zaidi
Courrier électronique : Fatiha.Zaidi@lri.fr

Activités de recherche
   - Démonstration automatique, SMT et applications
   - Test formel basé sur les modèles





Responsabilités administratives
   - Responsable de filière
   - Membre du conseil de la recherche de l'UFR
   - Membre de la CCSU

Responsabilités de contrats
   - WebMov
   - SUBVENTION GDR

Résultats majeurs
   - One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches
   - Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems accepté à CAV 2012



Thèses et habilitations
Doctorat   - Contribution à la génération de tests pour les composants de service. Application aux services de Réseau Intelligent.
Habilitation à diriger des recherches   - From Active to Passive Testing

Participations à des contrats
   - WebMov
   - VERAP
   - PIMI
   - DATE - AMSUD