Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > ZAIDI Fatiha
About LRI
Mrs ZAIDI Fatiha
Maître de Conférences
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~zaidi
Email : Fatiha.Zaidi@lri.fr

Research activities
   - Automated Proof, SMT and Applications
   - Formal Model-Based Testing





Leadership positions
   - Responsible of degree
   - Member of the research council of the Science Faculty
   - Member of the hiring committee

Principle investigator
   - WebMov
   - SUBVENTION GDR

Highlights
   - 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



Ph.D. dissertations & Faculty habilitations
Ph.D   - Contribution to test generation for services components. Application to services of Intelligent Network.
Faculty habilitation   - From Active to Passive Testing

Contracts & Grants
   - WebMov
   - VERAP
   - pimi
   - DATE