DELMAS David

Doctorant
Équipe : APR
Date d'arrivée : 01/02/2018
Localisation : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

Tel: 01 44 27 88 16, David.Delmas (at) nulllip6.fr

Direction de recherche : Antoine MINÉ

Analyse statique par interprétation abstraite de la portabilité des programmes

Conférences

2015
- A. Miné, D. Delmas : “Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software”, ACM SIGBED International Conference on Embedded Software (EMSOFT), Amsterdam, Netherlands, pp. 65-74, (IEEE) (2015)