En bref ...

Maître de conférences
Université Paris-Sud XI

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

Je m'intéresse à la validation formelle de la composition de services Web centralisée et décentralisée. Un standard a emergé ces dernières années pour décrire la composition de Web services, il s'agit du langage BPEL (Business Process Engineering Language). Ce language permet de décrire à différents niveaux d'abstration des orchestrations de web services en définissant leur composition. J'ai été coordinatrice d'un projet ANR qui s'attaquait à la probématique de la composition à un orchestrateur. Plus d'informations peuvent être trouvées en suivant le lien pour le projet WebMov. Actuellement, je travaille sur le test par des approches de test dites passives de la chorégraphie de services Web. Mes activités de recherche concernent ègalement le test à partir de modèle formel, connu sous le nom de model-based testing. J'ai essentiellement travaillé dans le domaine des protocoles de communication. Je m'intéresse à la validation formelle des nouveaux réseaux de communication, les WSON (Wireless Self Organising Network). Ce type de réseau soulève de nouveaux challenges pour les méthodes de vérification formelle. Je travaille également sur le model-checking de protocoles.


Sélection de publications

depuis 2011
  • Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout and F. Zaïdi. Cubicle: A Parallel SMT-based Model-Checker for Parameterized Systems. In Computer Aided Verification, CAV 2012, 718-724, Berkeley, USA, 2012. [ bib ]
  • Huu Nghia Nguyen, P. Poizat and F. Zaïdi. Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing In 14th IEEE International High Assurance Systems Engineering Symposium (HASE 12),106-113, Nebraska, USA, 2012. [ bib ]
  • Huu Nghia Nguyen, P. Poizat and F. Zaïdi. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies In International Conference on Service Oriented Computing (ICSOC 12), 525-532, Shanghai, 2012. [ bib ]
  • L. Bentakouk, P. Poizat and F. Zaïdi. Checking The Behaviroal Conformance of Web Services with Symbolic Testing and an SMT Solver. In Test and Proof conference, TAP, 35-50, Zurich, 2011. [ bib ]
  • A. Carneiro Viana, S. Maag, and F. Zaïdi. One step forward: Linking wireless self-organising networks validation techniques with formal testing approaches. ACM Computing Survey, Volume 43, Number 2, january 2011. [ bib ]