J. A. Sandretto and A. Chapoutot, Validated Explicit and Implicit Runge-Kutta Methods, Reliable Computing, 2016.

J. A. Sandretto and A. Chapoutot, Validated Simulation of Differential Algebraic Equations, Reliable Computing, 2016.

J. A. Sandretto, A. Chapoutot, and O. Mullier, Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01272513

D. Monnet, L. Jaulin, J. Ninin, A. Chapoutot, and J. A. Sandretto, Viability kernel computation based on interval methods, p.2015
URL : https://hal.archives-ouvertes.fr/hal-01371484

A. Le-coënt, J. A. Sandretto, A. Chapoutot, and L. Fribourg, Control of nonlinear switched systems based on validated simulation, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), p.2016
DOI : 10.1109/SNR.2016.7479377