Towards reliable code generation with an open tool: Evolutions of the Gene-Auto toolset A Toom, N Izerrouken, T Naks, M Pantel, OSY Kai ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 28 | 2010 |
Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project. N Izerrouken, X Thirioux, M Pantel, M Strecker Embedded Real Time Software and Systems (ERTS2008), 2008 | 27 | 2008 |
Machine-checked sequencer for critical embedded code generator N Izerrouken, M Pantel, X Thirioux Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 20 | 2009 |
Use of formal methods for building qualified code generator for safer automotive systems N Izerrouken, OSY Kai, M Pantel, X Thirioux Proceedings of the 1st Workshop on Critical Automotive Applications …, 2010 | 15 | 2010 |
Integrated formal approach for qualified critical embedded code generator N Izerrouken, M Pantel, X Thirioux, O Ssi Yan Kai Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009 | 9 | 2009 |
Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié N Izerrouken Institut National Polytechnique de Toulouse-INPT, 2011 | 6 | 2011 |
Design and development of an embedded aeronautical, certifying an automated code generator using formal tools: preliminary experiments in the GeneAuto Project N Izerrouken, X Thirioux, M Pantel, M Strecker European Congress on Embedded Real-Time Software (ERTS), 2010 | 5 | 2010 |
Expérimentations en coq pour un générateur de code qualifiable N Izerrouken, M Pantel, X Thirioux, OSY Kai TSI-Technique et Science Informatiques 30 (4), 409, 2011 | 2 | 2011 |