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.