1. Alexandre dit Sandretto, J., Chapoutot, A.: Contraction, propagation and bisection on a validated simulation of ODE. In: Summer Workshop on Interval Methods (2016)
2. Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliab. Comput. 22, 79–103 (2016)
3. Alexandre dit Sandretto, J., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge-Kutta methods. Reliab. Comput. 22 (2016)
4. Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory, vol. 15. SIAM, Philadelphia (1994)
5. Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173, 1079–1100 (2009)