Nassima Izerrouken
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2010
Best venue rank
Unranked
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | EDCC | Use of formal methods for building qualified code generator for safer automotive systems. | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
| 2009 | FMICS | Integrated Formal Approach for Qualified Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai |
| 2009 | ICFEM | Machine-Checked Sequencer for Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux |