S. Montan, C. Denis, D. R. Emerson, and C. Moulinec, Using compensated algorithms to improve the accuracy of a parallel hydrodynamic software suite, B.H.V. TOPPING et P. IVÁNYI, éditeurs : Proceedings of the Third International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering, 2013.

S. Montan, J. Chesneaux, C. Denis, and J. Lamotte, Efficient matrix multiplication based on discrete stochastic arithmetic, Reliable computing journal

S. Montan, J. Chesneaux, C. Denis, and J. Lamotte, Towards an efficient implementation of CADNA in the blas : Example of DgemmCADNA routine, Proceedings of the 15th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765529

D. Christophe and M. Séthy, Numerical verification of industrial numerical codes, ESAIM : Proc, vol.35, p.1077113, 2012.

C. Denis and S. Montan, Numerical Verification of Industrial Numerical Codes, ESAIM: Proceedings, vol.35, pp.107-113, 2012.
DOI : 10.1051/proc/201235006

URL : https://hal.archives-ouvertes.fr/hal-00765536

M. Martel, Program transformation for numerical precision, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM '09, 2009.
DOI : 10.1145/1480945.1480960

S. Montan, J. Chesneaux, C. Denis, and J. Lamotte, Towards an efficient implementation of CADNA in the BLAS : Example of DgemmCADNA routine, Proceedings of the 15th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765529

S. Montan, J. Chesneaux, C. Denis, and J. Lamotte, Efficient matrix multiplication based on discrete stochastic arithmetic. Reliable computing journal, 2013.

R. Moore, R. Kearfott, and M. Cloud, Introduction to interval analysis, Society for Industrial Mathematics, 2009.
DOI : 10.1137/1.9780898717716

H. Coupling and N. Validation, Accurate and Efficient Simulation of Large-scale Hydrodynamic Events, Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering

J. Vignes, L. Porte, and M. , Error analysis in computing, Information Processing, vol.74, pp.610-614, 1974.