Publications de
Ricardo Bedin Franca, Sandrine Blazy, Denis Favre-Félix, Xavier Leroy, Marc Pantel, Jean Souyris
Formally verified optimizing compilation in ACG-based flight control software (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (en ligne), avril 2012.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-3.pdf
BibTeXRicardo Bedin Franca, Marc Pantel, Sandrine Blazy, Denis Favre-Félix, Jean Souyris , Xavier Leroy
Formally verified optimizing compilation in ACG-based flight control software (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, 01/02/12-03/02/12, SIA/3AF/SEE, (support électronique), février 2012.
Ricardo Bedin Franca, Denis Favre-Félix, Xavier Leroy, Marc Pantel, Jean Souyris
Towards Formally Verified Optimizing Compilation in Flight Control Software (regular paper)
Dans : Bringing Theory to Practice : workshop at Predictability and Performance in Embedded Systems (PPES 2011), Grenoble, France, 18/03/11, Schloss Dagstuhl – Leibniz Center for Informatics, (support électronique), mars 2011.
Processes and qualifiable tools for the development of safety critical certified systems in avionics based on automated code generation
Thèse de doctorat, Institut National Polytechnique de Toulouse, avril 2012.