Nassima Izerrouken

According to our database, Nassima Izerrouken authored at least 5 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

PhD thesis, 2011

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

2010

Use of formal methods for building qualified code generator for safer automotive systems.

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Machine-Checked Sequencer for Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Methods and Software Engineering, 2009

Integrated Formal Approach for Qualified Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Proceedings of the Formal Methods for Industrial Critical Systems, 2009