, Proceedings of the Int. Conference on Dependable Systems and Network (DSN), p.537537, 2002.

S. Duprat, J. Souyris, and D. Favrefelix, Formal verification workbench for airbus avionics software, Proceedings of ERTS 2006, SIA, 2006.

P. Cousot and &. Cousot, Basic Concepts of Abstract Interpretation, Building the Information Society, p.359366, 2004.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, and A. Miné, David Monniaux & Xavier Rival. The ASTREE analyser, ESOP 2005 The European Symposium on Programming, vol.3444, p.2130, 2005.

D. Delmas and J. Souyris, Astrée: from Research to Industry, Static Analysis, 2007.

E. Goubault, M. Martel, and S. Putot, Static AnalysisBased Validation of FloatingPoint Computations, Proceedings of Dagstuhl Seminar Numerical Software with Result Verification 2003, vol.2991, p.306313

X. Rival, Symbolic Transfer Functionbased Approaches to Certified Compilation, 31st Symposium on Principles of Programming Languages (POPL'2004), 2004.

J. Souyris, E. L. Pavec, G. Himbert, V. Jégu, G. Borios et al., 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.