David Delmas

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 2

Top Topics

Control Software

Abstract Interpretation

Symbolic Execution

Top Venues

Publications

David Delmas, Abdelraouf Ouadjaout, Antoine Miné
Static Analysis of Endian Portability by Abstract Interpretation. SAS (2021)
David Delmas, Antoine Miné
Analysis of Software Patches Using Numerical Abstract Interpretation. SAS (2019)
Antoine Miné, David Delmas
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. EMSOFT (2015)
David Delmas, Xavier Rival
Preface. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny
Formal Verification of Avionics Software Products. FM (2009)
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS (2009)
Jean Souyris, David Delmas
Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP (2007)
David Delmas, Jean Souyris
Astrée: From Research to Industry. SAS (2007)