Avionics Software engineer at Airbus
SAS 2021: 28th Static Analysis Symposium, Chicago, Illinois, United States, 17-22 October 2021. External reviewer for the PC.
TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis, Porto, Portugal, 8 October 2019. PC chair.
iFM 2019: 15th International Conference on integrated Formal Methods, Bergen, Norway, 2 - 6 December 2019. External reviewer for the PC.
TAPAS 2010: 1st Workshop on Tools for Automatic Program Analysis, Perpignan, France, 17 September 2010. PC co-chair.
David Delmas, Abdelraouf Ouadjaout and Antoine Miné.
Static Analysis of Endian Portability by Abstract Interpretation.
[paper]
[artifact]
[slides]
[video of the talk].
In Proc. of
the 28th International Static Analysis Symposium
(SAS 2021),
Chicago, Illinois, United States, Oct. 2021. Springer.
David Delmas and Antoine Miné.
Analysis of software patches using numerical abstract interpretation.
In Proc. of
the 26th International Static Analysis Symposium
(SAS'19),
Porto, Portugal, Oct. 2019. Springer.
David Delmas and Antoine Miné.
Analysis of program differences with numerical abstract interpretation.
In PERR,
the 3rd Workshop on Program Equivalence and Relational Reasoning, Apr 2019, Prague, Czech Republic.
A. Atki, A. Brahmi, D. Delmas, M.H. Essoussi, T. Marie, F. Randimbivololona.
Formalise to automate: deployment of a safe and cost-efficient process for avionics software.
In ERTSS: Proc. of the
9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France.
Alexis Werey, David Delmas and Matthieu Martel.
Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators
In ERTSS: Proc. of the
8th European Congress on Embedded Real Time Software and Systems, Jan 2016, Toulouse, France.
Antoine Miné and David Delmas.
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.
In EMSOFT: In Proc. of the 15th International Conference on Embedded Software, 65-74, Amsterdam, The Netherlands, Oct. 2015. IEEE CS Press.
Pascal Cuoq, David Delmas, Stéphane Duprat, and Victoria Moya Lamiel.
Fan-C, a Frama-C plug-in for data flow verification.
In ERTSS: Proceedings of Embedded Real Time Software and Systems. SIA, 2012.
Jean Souyris, David Delmas and Stéphane Duprat.
Airbus : vérification formelle en avionique.
In Jean-Louis Boulanger, editor,
Utilisations industrielles des techniques formelles :
interprétation abstraite. Hermes-Lavoisier, June 2011.
David Delmas, Stéphane Duprat, Victoria Moya Lamiel, and Julien Signoles.
Taster, a Frama-C plug-in to enforce coding standards.
In ERTSS: Proceedings of Embedded Real Time Software and
Systems. SIA, 2010.
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, and
Franck Védrine.
Towards an industrial use of FLUCTUAT on safety-critical avionics
software.
In Marıa Alpuente, Byron Cook, and Christophe Joubert, editors,
FMICS, volume 5825 of Lecture Notes in Computer Science, pages
53-69. Springer, 2009.
Jean Souyris, Virginie Wiels, David Delmas, and Hervé Delseny.
Formal verification of avionics software products.
In Ana Cavalcanti and Dennis Dams, editors, FM, volume 5850 of
Lecture Notes in Computer Science, pages 532-546. Springer, 2009.
David Delmas, Stéphane Duprat, Benjamin Monate, and Patrick Baudin.
Proving temporal properties at code level for basic operators of
control/command programs.
In ERTS: Proceedings of Embedded Real Time Software. SIA,
2008.
David Delmas and Jean Souyris.
Astrée: From research to industry.
In Hanne Riis Nielson and Gilberto Filé, editors, SAS,
volume 4634 of Lecture Notes in Computer Science, pages 437-451.
Springer, 2007.
Jean Souyris and David Delmas.
Experimental assessment of Astrée on safety-critical avionics software.
In Francesca Saglietti and Norbert Oster, editors, SAFECOMP,
volume 4680 of Lecture Notes in Computer Science, pages 479-490.
Springer, 2007.
Advisor: Antoine Miné
Avionics Software - M8621
Airbus Operations SAS
316 route de Bayonne
31060 Toulouse Cedex 9 - France
E-mail: first DOT last AT airbus DOT com