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 papers...
|
|
Some realisations:
-
Lurette, an automated testing tool for Reactive programs.
-
Lucky, a language for describing and simulating non-deterministic reactive systems.
Lurette, lucky, et other associated tools can be downloaded
there.
- 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).
|
