Menu:

Photo

Research Activities

My research activities concern the static analysis by abstract interpretation of programs.
In particular, I am interested in the verification of hybrid systems written in Matlab/Simulink and numerical properties such as numerical precision.

During my PhD thesis, I defined a static analysis of Simulink models [7,5].
Simulink offers a convenient way to model and to simulate embedded systems that is embedded software and its physical environment.
Applying formal verification on Simulink models allows to validate embedded software taking into account a model of their execution environment.

During my ATER, I am working with Laurent-Stéphane Didier on the definition of a method to automatically transform floating-point programs into fixed-point equivalent ones. We focus our work on Simulink models.

Students


Publications

List of my publications on HAL

Preprints

Some accepted publication

PhD thesis

I used to be a PhD student under the supervision of Matthieu Martel in the laboratory MeASI at CEA Saclay.
Have a look at my PhD thesis (in French): "Simulation abstraite : une analyse statique de modèles Simulink"

Some talks


Projects and Collaborations


Teaching Activities

My teachings in computer science are made at ENSTA ParisTech.
In particular, I teach


DynIbex software

I am involved in the development of the DynIbex library. It aims at solving ordinary differential equations with validated Runge-Kutta methods.


Various

For the community:





Thanks Hugo Gimbert for this web page style.

Valid XHTML 1.0 Strict CSS Valide !