Thierry Jéron

Contact Address: IRISA / INRIA Rennes Campus Universitaire de Beaulieu 35042 Rennes Cedex - FRANCE e-mail: Thierry dot Jeron@inria.fr Tel: +33 2 99 84 74 64         +33 6 07 14 24 61 (mobile) Fax: +33 2 99 84 71 71 Secretary: +33 2 99 84 74 84 (Laurence Dinh )

Brief Biography

After some studies in Mathematics at the University of Rennes 1, I obtained a master (1988) and a  Ph.D. in Computer Science (1991) in the IRISA/INRIA laboratory, in the ADP team, under the supervision of Claude Jard and Michel Raynal. 
I got a research engineer position in the Alcatel research lab in Marcoussis near Paris from 1991 to 1992.
In 1993, I came back to IRISA/INRIA as an INRIA research scientist (Chargé de recherche) in the Pampa team where I worked for 8 years.
I obtained my Habilitation from University of Rennes 1 in March 2004 (text , video , slides).
From 2001 to 2012, I was the scientific leader of the VerTeCS team.
Since 2013, I am a member of the SUMO team.

My (obsolete) CV .




Research Topics

My research topics concern the formal verification and  validation of reactive systems:

• Model-based testing: models and theory for conformance testing of reactive systems, automated test case synthesis with symbolic techniques for diverse models, with data, time, recursion.
• Diagnosis of Discrete Event Systems: models, theories, algorithms for the construction of diagnosers, verification of diagnosability.
• Monitoring and enforcement of timed properties.
• Security: security testing, diagnosis for intrusion detection.
• Verification of asynchronous communicating systems with approximate analysis.




Publications

Complete list of publications

• TGV is a test generation tool for models of labelled transition systems (LTS). The generation of test cases is guided by a test purpose (an automaton) and is based on "on-the-fly" co-reachability analysis of enumerated transition systems.
  
• STG is a test generation tool for models of transition systems extended with data variables and parameters (STS). Test generation from a system model and a test purpose is based on syntactic transformations of STS using approximate analysis (provided by the NBAC tool).

Responsibilities

• 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)




Projects

• Current:
• 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
• Recent (since 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.




Teaching



• University of Rennes 1, Master 2 Research in Computer Science (2002-2006): Model-based testing.
  Slides ( 1st Part in French, 2nd Part in English)
• University of Rennes 1, Master 2 Research in Computer Science (2000-2002): Computability and Complexity
• University of Rennes 1, Diic 3 (Engineers) (1994-2003): Protocol validation, model-checking and testing.
• EnstB Engineer School, Rennes, 3rd year (94-2005): Protocol validation, model-checking, testing
• EnstB Engineer School,  Brest, 2nd year (2001-2004): Model-based testing
• 3xI Engineer School, Brest (95-96): Protocol validation




Students

Current:

• Jérémy Dubreil (since 2006)
• Hatem Hamdi (since 2005)
• Camille Constant (since 2004)
• Tristan Le Gall (since 2004)
Past:
• Valery Tschaen (2001-2005), now teacher.
  
• Elena Zinovieva-Leroux (2000-2004), currently ATER in Lannion, Ph.D. document.
• Pierre Morel (96-200), now at Mitsubishi Rennes, Ph.D. document.
• Yves-Marie Quemener (93-96), now at France Telecom R&D, Lannion, Ph.D. document.