Full Professor - Professeur des Universités HDR (Habilitation à Diriger Des Recherches)
Université Paris Saclay (formerly Paris Sud)

Researcher at
LRI UMR 8623 CNRS lab.,
Vals team
Tel: +33 1 69 15 64 20
@ : zaidi 'at' lri.fr

My research activities address formal methods in software development cycle and in particular model-based testing, runtime verification, and parameterized model checking for concurrent and distributed systems. I have a particular focus on behavioural models that are described by means of transition systems.
I have been particularly involved in the development of active testing methods that need to interact with the system under test and in the last years in monitoring approaches that only need to observe the system under test. I have proposed formal models to capture the specific features of composite sytems such as orchestration and choreographies for distributed systems. I work currently on attack tolerance framework to detect attack with passive methods and to bring countermeasures in order to enable the system to work despite the presence of the attack. Moreover, I am also involved in verification techniques for parameterized systems with model checking modulo theories. Recently, we have proposed a novel approach to deal with weak memory models.
My applicative domains are related to protocols such as Manets, cache coherence protocols and Web services.


Selection of publications

  • Georges Ouffoué, F. Zaïdi and Ana Cavalli. Attack Tolerance for Services-Based Applications in the Cloud. In 31st IFIP WG 6.1 International Conference, ICTSS 2019, 242--258, Paris, France, 2019. [ bib ]
  • Sylvain Conchon, David Declerck and Fatiha  Zaïdi. Cubicle-W: Parameterized Model checking on Weak Memory. In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, 152-160, Oxford, UK, 2018. [ bib ]
  • Ana R. Cavalli, Antonio M. Ortiz, Georges Ouffoué, Cesar A. Sanchez and Fatiha Zaïdi. Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection. In 25th International Conference on Web Services (ICWS 2018),472--486, Seattle, USA, 2018. [ bib ]
  • Jose Alvarez, Stephane Maag and Fatiha Zaïdi. Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture. In 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017 , 407--414, Taipei, Taiwan, 2017. [ bib ]
  • Jose Alvarez, Stéphane Maag and Fatiha Zaïdi. MANETs monitoring with a distributed hybrid architecture. In The 15th IEEE International Symposium on Network Computing and Applications, NCA 2016, 388--391, Cambridge, Boston, MA, USA, October 2016. [ bib ]
  • Huu Nghia Nguyen, Fatiha Zaïd and Ana Cavalli. Effectively Testing of Timed Composite Systems using Test Case Prioritization. In The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, 408--413, San Francisco Bay, USA, 2016. [ bib ]