Search - ONERA - Office national d'études et de recherches aérospatiales Access content directly

Filter your results

4 Results
Author: personID (integer) : 937703
Image document

USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACK

Anthony Fernandes Pires , Stéphane Duprat , Tristan Faure , Cédrik Besseyre , Jack Beringuier et al.
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers hal-02263442v1
Image document

Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles

A. Fernandes Pires
Langage de programmation [cs.PL]. Institut Supérieur de l'Aéronautique et de l'Espace (ISAE), 2014. Français. ⟨NNT : ⟩
Theses tel-01073570v1
Image document

Formal Software Verification at Model and at Source Code Levels

Anthony Fernandes Pires , Thomas Polacsek , Stéphane Duprat
2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩
Conference papers hal-00797091v1
Image document

Use of formal methods in embedded software development: stakes, constraints and proposal

Anthony Fernandes Pires , Thomas Polacsek , Virginie Wiels , Stéphane Duprat
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers hal-02272049v1