Publications of
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Expérimentations en Coq pour un générateur de code qualifiable
In : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Special issue Méthodes formelles à l’analyse et la compilation, Vol. 30, N. 4/2011, pp. 409-440, April 2011.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine-Checked Sequencer for Critical Embedded Code Generator (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2010), Toulouse, France, 31/03/10-01/04/10, ONERA, (electronic medium), April 2010.
Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux
Use of Formal Methods for Building Qualified Code Generator for Safer Automotive Systems (regular paper)
In : Critical Automotive applications: Robustness & Safety @ European Dependable Computing Conference (CARS@EDCC 2010), Valencia, 27/04/10-30/04/10, ACM : Association for Computing Machinery, pp. 53-56, April 2010.
Andres Toom, Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Tonu Naks
Towards Reliable Code Generation with an Open Tool: Evolutions of the GeneAuto Toolset (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Ordonnanceur vérifié pour un générateur de code automatique qualifiable (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2009), Toulouse, France, 01/04/09, IRIT, (on line), April 2009.
URL : http://seminaire-verif.enseeiht.fr/FAC/2009/Papiers/32.pdf
BibTeXNassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Integrated Formal Approach for Qualified Critical Embedded Code Generator (short paper)
In : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven – The Netherlands, 02/11/09-03/11/09, Springer-Verlag, pp. 199-201, 2009.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine Checked Sequencer for Critical Embedded Code Generator (regular paper)
In : International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, 09/12/09-12/12/09, Springer-Verlag, pp. 521-540, December 2009.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Martin Strecker
Certifying an Automated Code Generator Using Formal Tools: Preliminary experiments in the GeneAuto project (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/53.pdf
BibTeXNassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker
Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), 2008.
Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié
Master’s Thesis, Institut National Polytechnique de Toulouse, July 2011.