Publications de
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Expérimentations en Coq pour un générateur de code qualifiable
Dans : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Numéro spécial Méthodes formelles à l’analyse et la compilation, Vol. 30, N. 4/2011, p. 409-440, avril 2011.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine-Checked Sequencer for Critical Embedded Code Generator (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2010), Toulouse, France, 31/03/10-01/04/10, ONERA, (support électronique), avril 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)
Dans : Critical Automotive applications: Robustness & Safety @ European Dependable Computing Conference (CARS@EDCC 2010), Valencia, 27/04/10-30/04/10, ACM : Association for Computing Machinery, p. 53-56, avril 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)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (support électronique), mai 2010.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Ordonnanceur vérifié pour un générateur de code automatique qualifiable (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2009), Toulouse, France, 01/04/09, IRIT, (en ligne), avril 2009.
Accès : 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)
Dans : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven – The Netherlands, 02/11/09-03/11/09, Springer-Verlag, p. 199-201, 2009.
Nassima Izerrouken, Marc Pantel, Xavier Thirioux
Machine Checked Sequencer for Critical Embedded Code Generator (regular paper)
Dans : International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, 09/12/09-12/12/09, Springer-Verlag, p. 521-540, décembre 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)
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (en ligne), avril 2008.
Accès : 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
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (support électronique), 2008.
Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié
Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2011.