, Proceedings of the Int. Conference on Dependable Systems and Network (DSN), p.537537, 2002.
Formal verification workbench for airbus avionics software, Proceedings of ERTS 2006, SIA, 2006. ,
Basic Concepts of Abstract Interpretation, Building the Information Society, p.359366, 2004. ,
David Monniaux & Xavier Rival. The ASTREE analyser, ESOP 2005 The European Symposium on Programming, vol.3444, p.2130, 2005. ,
Astrée: from Research to Industry, Static Analysis, 2007. ,
Static AnalysisBased Validation of FloatingPoint Computations, Proceedings of Dagstuhl Seminar Numerical Software with Result Verification 2003, vol.2991, p.306313 ,
Symbolic Transfer Functionbased Approaches to Certified Compilation, 31st Symposium on Principles of Programming Languages (POPL'2004), 2004. ,
Computing the worstcase execution time of an avionics program by abstract interpretation, Proceedings of the 5th Intl Workshop on WorstCase Execution Time (WCET) Analysis, p.2124, 2005. ,