Publications of
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)
In : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (on line), April 2012.
URL : 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)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, 01/02/12-03/02/12, SIA/3AF/SEE, (electronic medium), February 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)
In : 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, (electronic medium), March 2011.
Processes and qualifiable tools for the development of safety critical certified systems in avionics based on automated code generation
Master’s Thesis, Institut National Polytechnique de Toulouse, April 2012.