D. Delmas and J. Souyris, Astr??e: From Research to Industry, Proc. of the 14 th Int. Static Analysis Symposium (SAS'07), pp.437-451, 2007.
DOI : 10.1007/978-3-540-74061-2_27

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-00930103

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., The ASTRE?? Analyzer, Proc. of the 14 th European Symposium on Programming (ESOP'05), pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

E. Goubault, M. Martel, and S. Putot, Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter, Proc. of the 11 th European Symposium on Programming (ESOP'02), pp.287-306, 2002.
DOI : 10.1007/3-540-45927-8_15

K. Ghorbal, E. Goubault, and S. Putot, The Zonotope Abstract Domain Taylor1+, Proc. of the 21st Computer Aided Verification (CAV'09), pp.627-633, 2009.
DOI : 10.1137/050622870

O. Bouissou and M. Martel, Abstract Interpretation of the Physical Inputs of Embedded Programs, Proc. of the 9th Verification, Model Checking, and Abstract Interpretation (VMCAI'08), LNCS volume 4905, 2008.
DOI : 10.1007/978-3-540-78163-9_8

O. Bouissou, E. Goubault, S. Putot, K. Tekkal, and F. Vedrine, HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment, Proc. of the 21st Computer Aided Verification (CAV'09), pp.620-626, 2009.
DOI : 10.1007/978-3-540-24738-8_18