Integrated Formal Approach for Qualified Critical Embedded Code Generator. - Nassima Izerrouken; Marc Pantel; Xavier Thirioux; Olivier Ssi Yan Kai (FMICS, 2009)

Machine-Checked Sequencer for Critical Embedded Code Generator. - Nassima Izerrouken; Marc Pantel; Xavier Thirioux (ICFEM, 2009)

Use of formal methods for building qualified code generator for safer automotive systems. - Nassima Izerrouken; Olivier Ssi Yan Kai; Marc Pantel; Xavier Thirioux (EDCC-CARS, 2010)

Expérimentations en Coq pour un générateur de code qualifiable. - Nassima Izerrouken; Marc Pantel; Xavier Thirioux; Olivier Ssi Yan Kai (Tech. Sci. Informatiques, 2011)

Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié. (Proved Development of Formal Components for a Pre-Qualified Critical Embedded Code Generator). - Nassima Izerrouken (2011)