Follow
Nassima izerrouken
Nassima izerrouken
Altran Sud OUest
Verified email at altran.com
Title
Cited by
Cited by
Year
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
282010
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
272008
Machine-checked sequencer for critical embedded code generator
N Izerrouken, M Pantel, X Thirioux
Formal Methods and Software Engineering: 11th International Conference on …, 2009
202009
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
152010
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
92009
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
62011
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
52010
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
22011
The system can't perform the operation now. Try again later.
Articles 1–8