Nassima Izerrouken

	2011
4		Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai: Expérimentations en Coq pour un générateur de code qualifiable. Technique et Science Informatiques 30(4): 409-440 (2011)
	2010
3		Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux: Use of formal methods for building qualified code generator for safer automotive systems. EDCC-CARS 2010: 53-56
	2009
2		Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai: Integrated Formal Approach for Qualified Critical Embedded Code Generator. FMICS 2009: 199-201
1		Nassima Izerrouken, Marc Pantel, Xavier Thirioux: Machine-Checked Sequencer for Critical Embedded Code Generator. ICFEM 2009: 521-540

Coauthor Index

1	Olivier Ssi Yan Kai	[2] [3] [4]
2	Marc Pantel	[1] [2] [3] [4]
3	Xavier Thirioux	[1] [2] [3] [4]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page