1. Julien Alexandre dit Sandretto and Alexandre Chapoutot. 2016. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing 22 1 ( 07 2016 ) 79-103. Julien Alexandre dit Sandretto and Alexandre Chapoutot. 2016. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing 22 1 ( 07 2016 ) 79-103.
2. Constraint-Based Framework for Reasoning with Differential Equations. Springer International Publishing;Sandretto Julien Alexandre;Cham,2018
3. Revisiting Polyhedral Analysis for Hybrid Systems. In Static Analysis, Bor-Yuh Evan Chang (Ed.). Springer International Publishing;Becchi Anna;Cham,2019
4. Olivier Bouissou and Matthieu Martel. 2005. Static Analysis by Abstract Interpretation of Hybrid Systems. Olivier Bouissou and Matthieu Martel. 2005. Static Analysis by Abstract Interpretation of Hybrid Systems.
5. Olivier Bouissou and Matthieu Martel. 2006. GRKLib: A guaranteed Runge Kutta library. 8-8. htps://doi.org/10.1109/SCAN. 2006.20 Olivier Bouissou and Matthieu Martel. 2006. GRKLib: A guaranteed Runge Kutta library. 8-8. htps://doi.org/10.1109/SCAN. 2006.20