Membre de comités de programmes

  • HASE 2014
  • ICTAC 2014
  • ICST 2012, 2011, 2010
  • QSIC 2013, 2012, 2011
  • ICTSS (ex TESTCOM/FATES) 2013 ,2012, 11, 09
  • ICWS 2013, 2012, 2011
  • IEEE Services Cup Contest 2012, 2011
  • WS-FMDS 2013, 2012, 2011
  • Formalise 2013
  • FormSERA 2012
  • WS-FM 2011
  • SCENARIOS 2011
  • AFADL 2010
  • TAV-WEB 2010
  • IEEE Service Cup 2010
  • ICSOFT 2011,2010,2009
  • ICFEM'09
  • WS-MaTe 2007,associated event to TESTCOM/FATES Conference
  • WS-MaTe 2006
  • Applied Computing 2005
  • TAROT Marie Curie European Network
  • ICWN'03

    • Membre de comités d'organisation et Steering Comittee

  • ICTSS 2012 (Steering committee)
  • ICTSS 2011 (PC Chair)
  • ICST PhD; Symposium 2011 (Chair)
  • CSDM 2012 (Comité d'organisation)
  • CFIP 2003 (Comité d'organisation)
  • ICNP 2002 (Local Arrangement chair)

    • Jury, Doctorants & Etudiants de Master

    Jury de thèse: rapportrice

    • Carlos Molinaro
      Universidad Complutense Madrid, Espagne, mars 2012.

    • Felipe Lalanne
      Télécom SudParis, janvier 2012.

    • Issam Rabhi
      Université Blaise Pascal, janvier 2012.

    Jury de thèse: examinatrice

    • Omar Chebaro
      Université de Franche Comté - CEA, décembre 2011.

    • Yingmin Li
      Université Paris-Sud XI décembre 2011.

    • Faycal Bessayah
      Télécom SudParis, décembre 2011.

    • Dung Cao
      Université Bordeaux I, décembre 2011.

    • Simon Odou
      Université Paris-Sud XI novembre 2010.

    • Cesar Andres Sanchez
      Universidad Complutense Madrid, Espagne, mars 2010.

    • Jean-Marie Orset
      Université Paris VI, France, 2007.

    • Elisangela de araujo Rodrigues Vieira
      Université d'Evry, France, 2007.

    Doctorants

    • Alain Mebsout
      Bourse ministèrielle depuis le 1er octobre 2011
      Certificats, modèles et interpolants de Craig pour le démonstrateur automatique Alt-Ergo.
      Directrice de thèse: F. Zaïdi, Sylvain Conchon (encadrant)

    • Huu Nghia Nguyen
      Bourse ministèrielle depuis le 1er janvier 2010
      Approche de coordination distribuée à base de test et de diagnostic.
      Directeur de thèse: F. Zaïdi, P. Poizat (co-encadrant)

    Thèses soutenues

    • Mounir Lallali
      (Bourse sur contrat Européen (E-Lane)), Telecom Management Sud-Paris - depuis le 1er octobre 2005, thèse soutenue le 20 novembre 2009
      Modélisation et tests fonctionnels de services Web orchestrés en BPEL.
      Directrice de thèse: A. Cavalli, F. Zaïdi (encadrante)

    • Lina Bentakouk
      (Bourse sur contrat ANR WebMov), Univ. Paris Sud XI - depuis le 1er décembre 2007, thèse soutenue le 16 décembre 2011
      Test symbolique de services Web composites.
      Directrice de thèse: M. C. Gaudel, Pascal Poizat (encadrant), F. Zaïdi (encadrante)


  • Emmanuel Bayse
    (Bourse sur contrat RNRT Platonis), GET/INT Institut National des Télécommunications - thèse soutenue le 12 avril 2006
    Méthodologie de test passif. Application au protocole WAP.
    Directrice de thèse: A. Cavalli, F. Zaïdi (encadrante)


  • Amel Wafa Mederreg
    (Bourse sur contrat RNRT Platonis), GET/INT Institut National des Télécommunications - thèse soutenue le 10 décembre 2003
    Méthodologie de test de services et protocoles de réseaux mobiles.
    Directrice de thèse: A. Cavalli, F. Zaïdi (encadrante)

    • Etudiants de 2ème année de master recherche (M2R/DEA)


    • Michael Cadilhac (Univ. Paris VII - M2R de logique, 2006-2007)
      Marches aléatoires uniformes pour le test de conformité imbriqué et intégration dans l'algorithme Hit-or-Jump
      supervision: F. Zaïdi, R. Lassaigne
    • Jan Stöcker (Univ. Paris VII - DEA de logique, 2004-2005)
      La recherche des cas de test à partir des objectifs de test donnés par une logique temporelle utlisant l'arithmétique de Presburger
      supervision: F. Zaïdi, N. Rapin (CEA), R. Lassaigne
    • Mounir Lallali (Univ. Paris VII, 2003-2004)
      Génération de tests à partir du model-checker SPIN
      supervision: Marie-Claude Gaudel, F. Zaïdi