Erwan Jahier

Verimag, Bâtiment IMAG 
Université Grenoble Alpes
700 avenue Centrale
Domaine Universitaire - 38401 St Martin d'Hères
Tel: +33 (0)4 57 42 22 23
Fax: +33 (0)4 57 42 22 22
email: erwan.jahier @

French version: French version

I am "Ingénieur de recherche CNRS", member of the synchrone research group which is part of the Verimag Laboratory.

The synchrone's group interests are related to the design of programming languages and validation tools for reactive programs, namely, programs that control systems that interact with their environments (typically, programs that control embedded and/or critical systems).

Some realisations:
  • RDBG a Reactive programs DeBuGger
  • Lurette, an automated testing tool for Reactive programs.
  • Lutin, a language for describing and simulating non-deterministic reactive systems.
    This work on Lurette and Lutin has led to the creation of the Argosim start-up company.
  • The Lustre V6 compiler
  • aadl2sync, an d'architecture AADL to Lustre translator.
  • aadl4ocaml, the AADL parser used by aadl2lustre.
  • Morphine, a trace analysis tool for Mercury programs (during my Phd Thesis when i was at IRISA).

Last modified: Mon Aug 1 15:36:35 CEST 2016