Thierry Jéron

| Contact | Brève Bio | Recherche | Publications | Logiciel | Responsabilités | Projets | Enseignement | Doctorants |

Contact Adresse: IRISA / INRIA Rennes Campus Universitaire de Beaulieu 35042 Rennes Cedex - FRANCE e-mail: Thierry dot Jeron@irisa.fr Tel: +33 2 99 84 74 64         +33 6 07 14 24 61 (mobile) Fax: +33 2 99 84 71 71 Assistante: +33 2 99 84 25 77 (Lydie Mabil)

Brève Biographie

Après des études de Mathématiques à l'Université de Rennes1, j'ai obtenu un DEA en Informatique, puis effectué une thèse en Informatique de l'Université de Rennes 1, à l'Irisa sous la direction de Claude Jard et Michel Raynal, et soutenue en 1991.
J'ai ensuite séjourné une année en tant qu'ingénieur de recherche au Laboratoire de Recherche d'Alcatel à Marcoussis, en région Parisienne.
Au début 1993, je suis revenu à l'IRISA en obtenant un poste de Chargé de Recherche INRIA dans l'équipe Pampa où je suis resté 8 ans.
Depuis 2001, je suis responsable scientifique du projet Inria VerTeCS.
J'ai obtenu mon Habilitation à Diriger les Recherches en mars 2004. Le document peut être téléchargé ici . Une vidéo et les transparents sont également disponibles.

Mon CV complet.




Recherche

Mes travaux de recherche actuels concernent la vérification et la validation de systèmes réactifs:

• Model-based testing : modèles et théories du test de conformité de systèmes réactifs, synthèse automatique de tests par des techniques enumeratives ou symboliques.
• Diagnostic de Systèmes à Événements Discrets : modèles, théories, algorithmes pour la construction de diagnostiqueurs, vérification de la diagnosabilité.
• Sécurité: test de la sécurité, diagnostic pour la détection d'intrusion.
• Vérification de systèmes communicants asynchrones par analyse approchée.




Publications

Liste complète de publications

• TGV est un outil de génération de tests pour des modèles de systèmes de transition étiquetés (LTS). La génération est guidée par un objectif de test (automate) et basée sur une analyse de co-accessibilité "à la volée" sur des LTS énumérés.
  
• STG est un outil de génération de tests pour des modèles de systèmes de transitions étendus par des variables et paramètres (STS). La génération de tests depuis un modèle de système et un objectif de test est basée sur des transformations syntaxiques de modèles utilisant une analyse approchée fournie par l'outil NBAC.

Responsabilités

• Steering committee
  
  • MOVEP 2006 Summer School on MOdelling and VErifying parallel Processes (Labri, Bordeaux)
  • Past: MOVEP 2004 (ULB, Bruxelles)
• PC membership
  
  • Tool chair TACAS 2006 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vienna, Austria)
  • Testcom 2006 The 18th IFIP International Conference on Testing Communicating Systems (New-York)
  • Rosatea 2006 Workshop on The Role of Software Architecture for Testing and Analysis (Portland, Maine, USA)
  • Past :
  • Tacas 2005 11th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Edinburgh, Scotland, UK)
  • Fates 2005 5th International Workshop on Formal Approaches to Testing of Software (Edinburgh, Scotland, UK)
  • Testcom 2005 The 17th IFIP International Conference on Testing Communicating Systems (Montréal, Quebec)
  • Fates 2004 4th International Workshop on Formal Approaches to Testing of Software (Linz, Austria)
  • Testcom 2004 The 16th IFIP International Conference on Testing Communicating Systems (Oxford, UK)
  • Fates 2003 3rd International Workshop on Formal Approaches to Testing of Software (Montréal, Canada)
  • Co-chair Fates 2002 2nd International Workshop on Formal Approaches to Testing of Software (Brno, Czech Republic)
  • Fates 2001 1st International Workshop on Formal Approaches to Testing of Software (Aalborg, Denmark)
  • LFM 2000 The Fifth NASA Langley Formal Methods Workshop (Williamsburg,Virginia, USA)




Projets

• En cours :
• NoE Artist 2 (2004-2008), Network of Excellence on Embedded Systems Design, Testing & Verification Cluster
• RNRT Politess (2006-2008), Security Policies for Network Information Systems: Modeling, Deployment, Testing and Supervision
• CRE France Telecom (2004-2006), Testing of Voice Services
• ACI Security Potestat (2004-2006), Security policies : test directed analysis of open network systems
• ACI Securité V3F (2003-2005), Validation and Verification of programs with floating point numbers
• UIUC/CNRS/INRIA collaboration (2005-2006), with Urbana Champain, Verimag, Runtime verification, monitoring, conformance testing and diagnosis
• Récents (depuis 2000):
• IST European Project Agedis (2000-2004), Automated Generation and Execution of Test Suites for Distributed Component-based Software
• ITEA European Project EAST-EEA (2002-2004), Embedded Electronic Architecture.
• AS no. 23 Advanced Techniques for testing of complex system. (2002), robustness testing
• CP8/Schllumberger (2001), Symbolic test synthesis for smart-card applications.
• RNTL COTE (2001-2002), COmponent TEsting.
• Van Gogh collaboration with University of Twente (99-2001) on test synthesis.




Enseignement



• Université de Rennes 1, Master 2 Recherche en Informatique (2002-2006): Model-based testing.
  Transparents ( 1ère partie en Français , 2ème partie en Anglais English)
• Université de Rennes 1, Master 2 Recherche en Informatique (2000-2002): Calculabilité et Complexité
• Université de Rennes 1, Diic 3 (Diplome d'ingénieur) (1994-2003): Validation de protocoles, model-checking et test.
• Enst Bretagne, école d'ingénieurs, Rennes, 3ème année (94-2005): Validation de protocole, model-checking, test
• Enst Bretagne, école d'ingénieurs, Brest, 2ème année (2001-2004): Model-based testing
• 3xI, École d'ingénieurs, Brest (95-96): Validation de protocoles




Doctorants

Actuels :

• Jérémy Dubreil (depuis 2006)
• Hatem Hamdi (depuis 2005)
• Camille Constant (depuis 2004)
• Tristan Le Gall (depuis 2004)
Anciens :
• Valery Tschaen (2001-2005), enseignant en Informatique.
  
• Elena Zinovieva-Leroux (2000-2004), ATER à Lannion, Document de thèse.
• Pierre Morel (96-200), Mitsubishi Rennes, Document de thèse .
• Yves-Marie Quemener (93-96), France Telecom R&D, Lannion, Document de thèse.