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.       Membre du Steering committee de la conférence IEEE International Symposium on Software Reliability Engineering (ISSRE)

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

3.       Comité de Programme du 2nd int. workshop on Model design and Validation (MoDeVa 2005)

 4.       Comité de Programme des 1ères journéees sur l’Ingénierie Dirigées par les Modèles (IDM 05)

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

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

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

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

9.     Relecteur ponctuel pour les journaux internationaux suivants : « Journal on Systems & Software » (JSS), « Software, Testing, Verification & Reliability journal » (STVR) Information & Software Technology (IST), « Trans. on Software Engineering » (TSE),  Software Systems and Models (SoSym).

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

1.       Avec le laboratoire Valoria de l’Université de Bretagne Sud

2.       Avec l’équipe PFL du laboratoire LSR-IMAG.

3.       Avec le laboratoire LCIS de l’INPG

4.       Avec le “SQUALL” lab.,  Systems and Comp. Eng. Dept, Carleton University ”, Ottawa, Canada.

5.       Avec le Computer Science Department de la Colorado State Univ.

• MDA-TestGenerator pour le test de transformation de modèles. Plugin Eclipse et dépositaire Ecore.- FT R&D

• <>UCTSystem pour la génération d’objectifs de test depuis les exigences textuelles. 

• mSlayer et Jmutator: outils de mutation pour Eiffel et Java
  

• Platon : Plateforme d’analyse de testabilité et diagnosabilité de logiciels procéduraux
  

• ANTESYS : Analyse de Testabilité de Systèmes flots de données
  

• <>Outil UCTSystem pour Thales Airborne System et FT R&D 

• Module de planification des tests d’intégration sous l’Atelier de Génie Logiciel « Objecteering » (société Softeam)
• Fondateur et organisateur des séminaires trimestriels NTL (Nouvelles Technologies Logicielles) à l’Irisa. Ils réunissent entre 80 et 150 industriels intéressés par des sujets innovants techniquement (SOAP, .Net, EJB …).

• Projet européen Modleware : 2004-2006
• Projet 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é : 2001-2003. 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.