C. H. Bischof, P. D. Hovland, and B. Norris, Implementation of automatic differentiation tools, Partial Evaluation and Semantics-Based Program Manipulation, pp.98-107, 2002.

S. Boldo and T. M. Nguyen, Hardware-independant proofs of numerical programs, NASA Formal Methods Symposium, 2010.

A. Chapoutot and M. Martel, Abstract Simulation: A Static Analysis of Simulink Models, 2009 International Conference on Embedded Software and Systems, pp.83-92, 2009.
DOI : 10.1109/ICESS.2009.80
URL : https://hal.archives-ouvertes.fr/hal-00332447

A. Chapoutot and M. Martel, Diff??rentiation automatique et formes de Taylor en analyse statique de programmes num??riques, Techniques et sciences informatiques, vol.28, issue.4, pp.503-531, 2009.
DOI : 10.3166/tsi.28.503-531

L. Chen, A. Miné, and C. Patrick, A Sound Floating-Point Polyhedra Abstract Domain, Asian Symposium on Programming Languages and Systems, pp.3-18, 2008.
DOI : 10.1007/3-540-45013-0_7
URL : https://hal.archives-ouvertes.fr/hal-00531567

L. Chen, A. Miné, J. Wang, and P. Cousot, Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships, Static Analysis Symposium, pp.309-325, 2009.
DOI : 10.1007/0-387-32698-7_2
URL : https://hal.archives-ouvertes.fr/hal-00531564

L. Chen, A. Miné, J. Wang, and P. Cousot, An Abstract Domain to Discover Interval Linear Equalities, Verification, Model Checking, and Abstract Interpretation, pp.112-128, 2010.
DOI : 10.1007/978-3-642-11319-2_11
URL : https://hal.archives-ouvertes.fr/hal-00531563

R. Clarisó and J. Cortadella, The octahedron abstract domain, Science of Computer Programming, vol.64, issue.1, pp.115-139, 2007.
DOI : 10.1016/j.scico.2006.03.009

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/inria-00528590

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-97, 1978.
DOI : 10.1145/512760.512770

J. Férêt, Static Analysis of Digital Filters, European Symposium on Programming, pp.33-48, 2004.
DOI : 10.1007/978-3-540-24725-8_4

K. Ghorbal, E. Goubault, and S. Putot, The Zonotope Abstract Domain Taylor1+, Computer Aided Verification, pp.627-633, 2009.
DOI : 10.1007/978-3-642-02658-4_47

E. Goubault, Static Analyses of the Precision of Floating-Point Operations, Static Analysis Symposium, pp.234-259, 2001.
DOI : 10.1007/3-540-47764-0_14

E. Goubault and S. Putot, Static Analysis of Numerical Algorithms, Static Analysis Symposium, pp.18-34, 2006.
DOI : 10.1007/11823230_3

P. Granger, Improving the results of static analyses of programs by local decreasing iterations, Foundations of Software Technology and Theoretical Computer Science, pp.68-79, 1992.
DOI : 10.1007/3-540-56287-7_95

P. Granger, Static analysis of linear congruence equalities among variables of a program, In TAPSOFT LNCS, vol.1, issue.493, pp.169-192, 1991.
DOI : 10.1007/3-540-53982-4_10

N. J. Higham, Accuracy and stability of numerical algorithms, Society for Industrial and Applied Mathematics, 2002.
DOI : 10.1137/1.9780898718027

I. Task and P. , IEEE 754-2008, Standard for Floating-Point Arithmetic, 2008.

M. Karr, Affine relationships among variables of a program, Acta Informatica, vol.6, issue.2, pp.133-151, 1976.
DOI : 10.1007/BF00268497

R. Krawczyk and A. Neumaier, Interval Slopes for Rational Functions and Associated Centered Forms, SIAM Journal on Numerical Analysis, vol.22, issue.3, pp.604-616, 1985.
DOI : 10.1137/0722037

V. Laviron and F. Logozzo, SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities, Verification, Model Checking, and Abstract Interpretation, pp.229-244, 2009.
DOI : 10.1007/978-3-540-93900-9_20

F. Logozzo and M. Fähndrich, Pentagons, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.184-188, 2008.
DOI : 10.1145/1363686.1363736

M. Martel, Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach, Higher Order and Symbolic Computation, pp.7-30, 2004.
DOI : 10.1007/3-540-45927-8_14

A. Miné, Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors, European Symposium on Programming, pp.3-17, 2004.
DOI : 10.1007/978-3-540-24725-8_2

A. Miné, The octagon abstract domain, Higher-Order and Symbolic Computation, vol.2477, issue.3, pp.31-100, 2006.
DOI : 10.1007/s10990-006-8609-1

D. Monniaux, Compositional Analysis of Floating-Point Linear Numerical Filters, Computer-Aided Verification, pp.199-212, 2005.
DOI : 10.1007/11513988_21
URL : https://hal.archives-ouvertes.fr/hal-00084291

R. Moore, Interval analysis, 1966.

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of floating-point arithmetic, 2009.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

M. Péron and N. Halbwachs, An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints, Verification, Model Checking and Abstract Interpretation, pp.268-282, 2007.
DOI : 10.1007/978-3-540-69738-1_20

S. M. Rump, Expansion and estimation of the range of nonlinear functions, Mathematics of Computation, vol.65, issue.216, pp.1503-1512, 1996.
DOI : 10.1090/S0025-5718-96-00773-9

S. Sankaranarayanan, M. Colon, H. Sipma, and Z. Manna, Efficient Strongly Relational Polyhedral Analysis, Verification, Model Checking, and Abstract Interpretation, pp.111-125, 2006.
DOI : 10.1007/11609773_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.8322

A. Simon, A. King, and J. Howe, Two variables per linear inequality as an abstract domain. In Logic Based Program Synthesis and Transformation, LNCS, vol.2664, pp.71-89, 2003.