Professional Services

Publications

10 Int. referred Journals

1 French referred journal

43 int. conferences/workshops (selection on full-papers)

Research management

PhD adviser

2006+ : Jean-Marie Mottu – « Validation in the context of model-driven engineering »
2006+ : Erwan Brottier – « Improving QoS requirement reliability : simulation and test generation » – thesis financed by France Télécom R&D
2004-2006 : Marouane Himdi – « Component-based systems : functional and extra-functional diagnosis using probe injection » – thesis financed by Kereval company <> <>2003-2006: Franck Fleurey – « Model-driven engineering : test and diagnosis »

Past PhDs

November, 2004: (Univ. Rennes 1) –Clémentine Nebut – « Automated test generation from requirement : application to software product-lines »
June, 2003 : Benoit Baudry– “ Testable assembling and validation of software components »
Décember, 2002 : Vu Le Hanh – “ Test and UML models : integration testing and planning »

Master / DEA

2005-2006 : Romain Delamare– « Reverse engineering of dynamic aspects: from execution traces to UML statecharts”
2004-2005 : Jean-Marie Mottu – « Automating the oracle for the test of model-transformations »
2003-2004 : Ali Goumar « Adapting mutation testing to QoS properties»
<>2002-2003 : Franck Fleurey – « Test generation for improving fault localization »
2002-2003 : (Univ. Francophone du Liban) – Chady Maalouf – « Test criteria and testability of an OO design »
<>2001-2002 : Audrey Kermarrec – « UML and behavioural semantics »
2000-2001 : Damien Pollet – “ Refactoring UML models ”
<>1999-2000 : Benoit Baudry – “ Test generation, selection and optimization using genetic algorithms ”.
1998-1999 : Vu Le Hanh – “ Test qualification of OO software using mutation analysis ”.
1996-1997 : Maisaa Khalil – “ Fault localization for procedural programs ”.

Thesis examiner

2006 : Mohammed-Fouz Ménai (UTT)– « Langage et démarche de modélisation pour l’urbanisation des architectures Télécoms».
<>2006 : Huy Vu Do (INPG) – Conception testable et test de logiciels flots de données ».
2005 : Yves Souchard (LEG-ENSIEG) – « Réalisation d’une plate-forme informatique dédiée au métier du génie électrique autour des logiciels Flux. Application à la réalisation de logiciels métiers ».
<>2005 : Céline Bigot (CEA-LIST) – « Une proposition de formalisme orienté composant : Application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants».
2003 : Olfa Abdellatif-Kaddour (LAAS-CNRS) – « 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 : Khalil (INPG-IMAG) – « Stratégies de diagnostic de systèmes logiciel-matériels »

Other responsabilities

1. 2004-2006: Member of the steering committee of the International Symposium on Software Reliability Engineering (ISSRE)

2. General Chair of the 15^th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), St-Malo, France, November 2004.

3. PC member of the 2nd int. workshop on Model design and Validation (MoDeVa 2005)

4. PC member of the 1ères journéees sur l’Ingénierie Dirigées par les Modèles (IDM 05)

5. PC member of the International Symposium on Software Reliability Engineering 2001, 2002, 2003 et 2005 (ISSRE’01 , ISSRE 02, ISSRE’03, ISSRE’05, ISSRE’06)

6. PC member of the International Symposium on Software Metrics Symposium 2001, 2002 et 2003 (Metrics’01, Metrics’02, Metrics’03)

7. PC member of the 1st International Conference on Software and Data Technologies (ICSOFT 2006)

8. Organizer of AFADL 2003 (Approches Formelles dans l'Assistance au Développement de Logiciels).

9. Organizer for the Irisa of OCM 2003 (Objets, Composants, Modèles).

10. Requested for reviewing papers in the following journals: « 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).

Scientific collaborations

<><>1.       Valoria team of the Université de Bretagne Sud
2.       PFL team of the LSR-IMAG lab.
<>3.       LCIS lab. of the l’INPG
4.       “SQUALL” lab., Systems and Comp.

Eng.

Dept, Carleton University ”, Ottawa,

Canada

.
5. Colorado State Univ.

Industrial valorization

Tools

-          MDA-TestGenerator : a tool to generate test data for testing model transformation (Java source code, plugin Eclipse, Ecore repository) - FT R&D
-          UCTSystem to simulate functional requirements and generate test objectives
-          mSlayer and Jmutator: - Mutation tools for Eiffel and Java
<>
-          Platon : testability analysis of procedural programs
-          ANTESYS : testability analysis of data flow software

Industrial transfer

<><>-          UCTSystem is being used by Thales Airborne System and is under study by FT R&D
-          A component integrated to the CASE tool « Objecteering » (Softeam company) to produce automatically a test plan from a class diagram.
-          Organiser of seminars on new technologies (NTL for Nouvelles Technologies Logicielles) at the Irisa. Around 80 to 150 practitioners meet around an innovative subject (SOAP, .Net, EJB …).

Contracts

- European project Modelware:

- European project Families : sept. 2003 – sept. 2005. WP3 : test andMDE.

- Contract « Mutation » with Thalès on Model driven engineering and testing: application to embedded components of the Mirage 2000-7 and Raffale military aircrafts. 2003-2004.

- Européen project Café : 2001-2003. Validation product line software.

- Regional contract ITR en partenariat avec Softeam (1999…2002) : Test et UML : stratégie, plan et synthèse de test.

- Participation to the RNTL project Cote. Test synthesis and test language for distributed software

- Contract with Aérospatiale-1997 : Testability Analysis of the pressure regulation system for the Ariane 5 space rocket.