DELMAS David

PhD student
Team : APR
Arrival date : 02/01/2018
Localisation : Campus Pierre et Marie Curie

Sorbonne Université - LIP6

Tel: +33 1 44 27 88 16, David.Delmas (at) nulllip6.fr

Supervision : Antoine MINÉ

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

Conference papers

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)