• Welcome Page
• Publications
• Research
• Curriculum Vitae
• Professional Activities

Current Professional Activities

• Program Chair : Third International Conference on Software Testing, Verification and Validation ICST 2010
• Program Committes : MSR 2003, MMNS 2003, TESTCOM 2004, FORTE 2004, ICNP 2004, WWAN 2004, AC 2004, ISIICT 2004, TACOS 2004, ICDCS 2004, ISSRE 2004, NOTERE 2004, ITM 2004.
• Leader of the network TAROT.
• Participant in the IP ASK-IT.
• Participant of the project E-LANE.
• In charge of the AS (Action Spécifique) "Techniques de spécification et de test pour les composants logiciels de communication", sponsored by the CNRS RTP 01 "Réseaux de communication" and by the CNRS RTP 21 "Sureté de fonctionnement des systèmes complexes et ouverts".
• Participant of the CNRS RTP 01 "Réseaux de communication".