Mme ZAIDI Fatiha

Maître de Conférences Université Paris-Saclay 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