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.