G. Alefeld and J. Herzberger, Introduction to interval analysis, 1983.

J. Brajard, P. Li, F. Jézéquel, H. Benavidès, and S. Thiria, Numerical Validation of Data Assimilation Codes Generated by the YAO Software, SIAM Annual Meeting, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01216453

P. Eberhart, J. Brajard, P. Fortin, and F. Jézéquel, High performance numerical validation using stochastic arithmetic, Reliable Computing, vol.21, pp.35-52, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01254446

C. A. Hölbig, A. Carmo, and L. P. Arendt, High accuracy and interval arithmetic on multicore processors, Computational and Applied Mathematics, vol.15, issue.3, pp.425-434, 2013.
DOI : 10.1007/s40314-013-0048-0

T. Ieee and . Group, The Open Group Base Specifications, 2013.

. Intel, User and Reference Guide for the Intel C++ Compiler 15.0. https://software.intel.com/en-us/compiler 15, 2015.

F. Jézéquel and J. Chesneaux, CADNA: a library for estimating round-off error propagation, Computer Physics Communications, vol.178, issue.12, pp.933-955, 2008.
DOI : 10.1016/j.cpc.2008.02.003

F. Jézéquel, J. Lamotte, and I. Said, Estimation of numerical reproducibility on CPU and GPU, Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, pp.675-680, 2015.
DOI : 10.15439/2015F29

U. W. Kulisch, Advanced Arithmetic for the Digital Computer, 2002.
DOI : 10.1007/978-3-7091-0525-2

C. R. Milani, M. Kolberg, and L. G. Fernandes, Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures, High Performance Computing for Computational Science -VECPAR 2010 -9th International conference, pp.435-448, 2010.
DOI : 10.1016/S0024-3795(00)00195-6

S. Montan and C. Denis, Numerical verification of industrial numerical codes, ESAIM: Proc., volume, pp.107-113, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765536

L. Nardi, F. Badran, P. Fortin, and S. Thiria, YAO: A Generator of Parallel Code for Variational Data Assimilation Applications, 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems, pp.224-232, 2012.
DOI : 10.1109/HPCC.2012.38
URL : https://hal.archives-ouvertes.fr/hal-00695513

N. Revol and P. Théveny, Parallel implementation of interval matrix multiplication, Reliable Computing, vol.19, issue.1, pp.91-106, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00801890

J. Vignes, Zéro mathématique et zéro informatique Comptes Rendus de l'Académie des Sciences -Series I -Mathematics, pp.997-1000, 1986.

J. Vignes, A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, issue.3, pp.233-261, 1993.
DOI : 10.1016/0378-4754(93)90003-D

J. Vignes, Discrete Stochastic Arithmetic for Validating Results of Numerical Software, Numerical Algorithms, vol.37, issue.1-4, pp.377-390, 2004.
DOI : 10.1023/B:NUMA.0000049483.75679.ce
URL : https://hal.archives-ouvertes.fr/hal-01146498

C. B. Vreugdenhil, Numerical Methods for Shallow-Water Flow, 1994.
DOI : 10.1007/978-94-015-8354-1

M. Zimmer, Using C-XSC in a multi-threaded environment, 2011.