Towards an industrial use of FLUCTUAT on safety-critical avionics software D Delmas, E Goubault, S Putot, J Souyris, K Tekkal, F Védrine International Workshop on Formal Methods for Industrial Critical Systems, 53-69, 2009 | 201 | 2009 |
Astrée: from research to industry D Delmas, J Souyris International Static Analysis Symposium, 437-451, 2007 | 147 | 2007 |
Formal verification of avionics software products J Souyris, V Wiels, D Delmas, H Delseny International Symposium on Formal Methods, 532-546, 2009 | 143 | 2009 |
Experimental assessment of Astrée on safety-critical avionics software J Souyris, D Delmas International Conference on Computer Safety, Reliability, and Security, 479-490, 2007 | 50 | 2007 |
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software A Miné, D Delmas 2015 International Conference on Embedded Software (EMSOFT), 65-74, 2015 | 36 | 2015 |
Fan-C, a Frama-C plug-in for data flow verification P Cuoq, D Delmas, S Duprat, VM Lamiel Embedded Real Time Software and Systems ERTS, Toulouse, France, 177, 2012 | 21 | 2012 |
Formalise to automate: deployment of a safe and cost-efficient process for avionics software A Brahmi, D Delmas, M Essoussi, F Randimbivololona, A Atki, T Marie 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018 | 17 | 2018 |
Taster, a Frama-C plug-in to enforce Coding Standards D Delmas, S Duprat, VM Lamiel, J Signoles Embedded Real Time Software and Systems ERTS, Toulouse, France, 177, 2010 | 14 | 2010 |
Industrial use of a safe and efficient formal method based software engineering process in avionics A Brahmi, MJ Carolus, D Delmas, MH Essoussi, P Lacabanne, VM Lamiel, ... Embedded Real Time Software and Systems (ERTS 2020), 2020 | 9 | 2020 |
Analysis of Software Patches Using Numerical Abstract Interpretation D Delmas, A Miné LNCS 11822 (SAS 2019), 2019 | 7 | 2019 |
Static analysis of endian portability by abstract interpretation D Delmas, A Ouadjaout, A Miné International Static Analysis Symposium, 102-123, 2021 | 6 | 2021 |
Fan-C, a Frama-C plug-in for data flow verification D Delmas, P Cuoq, V Moya Lamiel, S Duprat Proceedings of the Embedded Real Time Software and Systems Conference, ERTS …, 2012 | 6 | 2012 |
Analysis of program differences with numerical abstract interpretation D Delmas, A Miné PERR 2019-3rd Workshop on Program Equivalence and Relational Reasoning, 2019 | 3 | 2019 |
Spreading Static Analysis with Frama-C in Industrial Contexts S Duprat, VM Lamiel, F Kirchner, L Correnson, D Delmas 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 3 | 2016 |
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II E Sekerinski, N Moreira, JN Oliveira, D Ratiu, R Guidotti, M Farrell, ... Springer Nature, 2020 | 1 | 2020 |
Fine-tuning the accuracy of numerical computations in avionics automatic code generators A Werey, D Delmas, M Martel 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 1 | 2016 |
Proving temporal properties at code level for basic operators of control/command programs P Baudin, D Delmas, S Duprat, B Monate Proceedings of ERTS, 2008 | 1 | 2008 |
Formal Methods. FM 2019 International Workshops J Campos, T Astarte, D Delmas, P Monteiro, M Kutrib, B Dongol, L Couto, ... | | 2020 |
Formal Methods. FM 2019 International Workshops M Farrell, D Delmas, P Monteiro, M Kutrib, B Dongol, L Couto, A Cerone, ... | | 2020 |