David Delmas

According to our database, David Delmas authored at least 9 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Static analysis of program portability by abstract interpretation. (Analyse statique de la portabilité des programmes par interprétation abstraite).

David Delmas

PhD thesis, 2022

2021

Static Analysis of Endian Portability by Abstract Interpretation.

David Delmas, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 28th International Symposium, 2021

2019

Analysis of Software Patches Using Numerical Abstract Interpretation.

David Delmas, Antoine Miné

Proceedings of the Static Analysis - 26th International Symposium, 2019

2015

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.

Antoine Miné, David Delmas

Proceedings of the 2015 International Conference on Embedded Software, 2015

2010

Preface.

David Delmas, Xavier Rival

Proceedings of the Tools for Automatic Program AnalysiS, 2010

2009

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.

David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Formal Verification of Avionics Software Products.

Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny

Proceedings of the FM 2009: Formal Methods, 2009

2007

Astrée: From Research to Industry.

David Delmas, Jean Souyris

Proceedings of the Static Analysis, 14th International Symposium, 2007

Experimental Assessment of Astrée on Safety-Critical Avionics Software.

Jean Souyris, David Delmas

Proceedings of the Computer Safety, 2007