Maître de Conférences en Informatique
IRISA/IFSIC Rennes

actuellement en disponibilité chez France Télécom R&D

Encadrement et direction de thèses en cours

2005+ : (Univ. Rennes 1) – 1ère année de thèse – Jean-Marie Mottu – « Validation dans un cadre de développement dirigé par les modèles (MDE) » - directeur de thèse

2005+ : (Univ. Rennes 1) – 1ère année de thèse Cifre avec France Télécom R&D – Erwan Brottier – « Fiabilisation des exigences de qualité de service: traduction vers UML, validation par simulation et génération de tests système » - directeur de thèse

2004-2005 :(Univ. Rennes 1)  – 2ème année de thèse Cifre avec la société Kereval – Marouane Himdi –  « Systèmes à base de composants : diagnostic fonctionnel et non fonctionnel à base d’injection de sondes » - encadrant

2003-2005: (Univ. Rennes 1) – 2^ème année de thèse – Franck Fleurey – « Ingénierie des modèles : test et diagnostic » - directeur de thèse

2003-2005: (Univ. Rennes 1) – 2ème année de thèse Cifre avec la société Clearsy – Christophe Métayer – « Correspondance sémantique entre le B événementiel et les diagrammes d’états transitions » - encadrant

Encadrement et direction de thèses soutenues

3 novembre 2004: (Univ. Rennes 1) – Clémentine Nebut – « Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles ».- encadrant

Membres du jury :

Président :        Daniel Herman, professeur, Univ. Rennes 1.

Rapporteurs :   Antonia Bertolino, chercheur ISTI, Pise (Italie)

                         Lionel Briand, professeur, Carleton Univ. (Canada)

                         Jean-Marc Geib, professeur, Lifl (Lille)

Examinateurs : Jean-Marc Jézéquel (Directeur)

                         Yves Le Traon

24 juin 2003 : soutenance de doctorat  (Univ. De Rennes I)– Benoit Baudry– “ Assemblage testable  et validation de composants ” – (100%).

Membres du jury :

Président :       Daniel Herman, professeur, Univ. Rennes 1.

Rapporteurs :  Stéphane Ducasse, professeur, Lifl (Lille)

                        Bruno Legeard, professeur, INPG.

Examinateurs : Jean-Marc Jézéquel (Directeur)

                         Yves Le Traon

5 décembre 2002 : soutenance de doctorat  (Univ. De Rennes I) – Vu Le Hanh – “ Test et Modèle UML : stratégie, plan et synthèse de test .

Membres du jury :

Président :      Olivier Ridoux, professeur, Univ. Rennes 1.

Rapporteurs :  Jean-Marc Geib, professeur, Lifl (Lille)

                        Chantal Robach, professeur, INPG.

Examinateurs : Jean-Marc Jézéquel (Directeur)

                         Nicolas Bulteau, ingénieur R&D, Softeam

                         Yves Le Traon

Jurys de Thèse

2005 : Rapporteur de la thèse du LEG-ENSIEG de Yves Souchard– « ».

2005 : Rapporteur de la thèse du CEA-LIST de Céline Bigot – « Une proposition de formalisme orienté composant : Application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants».

2003 : Examinateur de la thèse du Laboratoire d’Analyse des Architecures et Systèmes (LAAS-CNRS) de Olfa Abdellatif-Kaddour – « Contribution au test orienté-propriété pour des systèmes de contrôle commande : construction incrémentale de scénarios de test sélectionnées par la méthode du recuit simulé ».

2002 : Examinateur de la thèse de l’Institut National Polytechnique de Grenoble de Maisaa Khalil – « Stratégies de diagnostic de systèmes logiciel-matériels »

DEA

2004-2005 : DEA – Jean-Marie Mottu – « Le test de transformations de modèles : automatisation de l’oracle »

2003-2004 : DEA – Ali Goumar « Test de QoS par adaptation de l’analyse de mutation »

2002-2003 : DEA – Franck Fleurey – « Génération de tests pour la localisation automatique d'erreurs »

2002-2003 : DEA Univ. Francophone du Liban – Chady Maalouf «Critères de test et testabilité d’une architecture à objets décrite avec UML.». 

2001-2002 : DEA – Audrey Kermarrec– “ UML et  sémantique comportementale ”

2000-2001 : DEA – Damien Pollet – “ Refactoring et UML : Ré-architecturation automatique d'un système au niveau de sa conception en UML ”

1999-2000 : DEA – Benoit Baudry– “ Génération, sélection et optimisation génétique des tests ”.

1998-99 : IFI-Irisa – Vu Le Hanh – “ Qualification des tests dans un environnement orienté-objet ”.

1996-97 : DEA – Maisaa Khalil – “ Diagnostic de fautes pour des logiciels procéduraux ”.

Production scientifique

1.       General Chair du 15^ème IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), St-Malo, France, Novembre 2004.

2.       Comité de Programme de l’International Symposium on Software Reliability Engineering 2001, 2002 et 2003 (ISSRE’01 , ISSRE 02, ISSRE’03)

3.       Comité de Programme de l’International Symposium on Software Metrics Symposium 2001, 2002 et 2003 (Metrics’01, Metrics’02, Metrics’03)

4.       Organisateur d’AFADL 2003 (Approches Formelles dans l'Assistance au Développement de Logiciels).à l’Irisa.

5.       Organisateur pour l’Irisa d’OCM 2003 (Objets, Composants, Modèles).

6.       Organisateur et participation à différents « panels » (TOOLS-Europe 01, ASE 2001 …)

1. Avec le laboratoire Valoria de l'Université de Bretagne Sud
   Thème : Autotest de classes
2. Avec l'équipe PFL du laboratoire LSR-IMAG.
   Thème : Génération de test depuis UML/Testabilité
3. Avec le " Systems and Comp. Eng. Dept, Carleton University ", Ottawa, Canada.

• Outil Platon : Projet DESS Génie Informatique (17 hommes mois) – Plateforme d’analyse de testabilité et diagnosabilité de logiciels procéduraux – (OMT- C++ - Motif)
• Outil ANTESYS : Projet DESS Génie Informatique (12 hommes mois) –Analyse de Testabilité de Systèmes flots de données– (OMT- C++ - Motif)
• Outils de mutation : mSlayer et Jmutator: - 17 hommes mois – (UML – Eiffel –Java - XML)
• Outils UCTSystem pour la génération d’objectifs de test depuis les exigences textuelles. – (8 hommes mois)

• Module de planification des tests d'intégration sous Objecteering (société Softeam).

• Participation au projet européen Modelware
• Contrat européen Families : sept. 2003 – sept. 2005. WP3 : test et MDE.
• Contrat « Mutation » avec Thalès sur le Model driven engineering et test : application au logiciel du Mirage 2000-7. 2003-2004.
• Contrat Européen Café : débute Octobre 2002. Validation de ligne de produits.
• Contrat régional ITR en partenariat avec Softeam (1999…2002) : Test et UML : stratégie, plan et synthèse de test.
• Participation au projet RNTL Cote.
• Contrat Aérospatiale-1997 : Analyse de testabilité du système de régulation de pression du réservoir d’Hélium d’Ariane 5..