Semantics
Apr 2013 — Sep 2016.
BRiefcaSE is a basic research project that targets methods involved in the specification, validation and verification of safety critical systems.
This project was part of the IFSE working group, an animation and reflexion group, financed by the RTRA STAE concerned with formal methods for system engineering.
Apr 2009 — Nov 2012.
Quarteft (QUAlifiable Real TimE Fiacre Transformations) is a project funded by FNRAE, the Fondation de la Recherche pour l’Aéronautique et l’Espace. The goal of the project is to study formal specification language and qualifiable model transformations in the context of critical embedded systems.
