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).
Publications.
|
|
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).
|
