Invited Seminar, invited tutorials, ...

1999 à maintenant

  • F. Zaïdi;. Attack Tolerance in the Cloud.
    Invited tutorial at TAROT 2020, Porto, June 2020.
  • F. Zaïdi;. Invited Paper at IMPEX@ICFEM 2017, Xi'an, China, November 2017
  • F. Zaïdi; Testing Web Service Orchestrations.
    Seminar at Universidad Complutense de Madrid, March 2010.
  • F. Zaïdi; Web Service Modelling and Validation.
    Seminar Colloque STIC ANR, Cité des Sciences, Paris, January 2010.
  • F. Zaïdi; Méthode de Test Passif.
    Seminar LIRIS, Lyon, France, September 2008.
  • F. Zaïdi; The WebMov project.
    TAROT RTN project summer school, Bath, United Kingdom, June 2008.
  • F. Zaïdi; UML Oriented to Web Services.
    Tutorial, E-Lane project summer school, Buenos Aires, Argentine, 28 juin au 1er September 2006.
  • F. Zaïdi; From components Testing to Interoperability Testing.
    Tutorial, TAROT RTN project summer school, Paris, 27 juillet au 1er June 2005.
  • F. Zaïdi. Etude de techniques de vérification pour le test de spécifications dynamiques à base de composants.
    Seminar of AS CNRS Test et techniques de spécification pour les composants logiciels de communication,St Jean de Luz, France, 2004.
  • F. Zaïdi. Une Méthode de génération de tests pour les composants de service. Application aux services de réseau intelligent.
    Seminar at LIFO (Orléans, France April 2003.
    Seminar at LaBRI, Bordeaux, 2003.
    Seminar at LIFL, Lille, 2003.
  • F. Zaïdi. Poster Presentation of the Platonis project and Platform demonstration.
    colloque RNRT, January 2003.
  • F. Zaïdi. Demonstration "réseau d"éxpérimentation pour le test de système WAP.
    CFIP Montréal", Canada, 2002. Demo.
  • F. Zaïdi. Open problems in protocol testing.
    tutorial at the Workshop on protocol and distributed systems testing, Campinas, Brasil, october 2001.
  • F. Zaïdi et Ana Cavalli. Automatic embedded test generation.
    Tutorial at the SNPD conference (International Conference on Software Engineering Applied to Networking), Reims, May 2000.
  • F. Zaïdi. Tool Presentation: TESTGEN-SDL Tool developed at INT.
    FM'99 World Congress on Formal Methods in Development of Computing Systems, Toulouse, France 1999.
  • F. Zaïdi. Tool Presentation of the Embedded Tests generation module. FORTE/PSTV, Beijin, China,1999.
    FORTE/PSTV Demo, Beijin, China, 1999.

Talks wrt. publications