Including Ordinary Differential Equations Based Constraints in the Standard CP Framework. - Alexandre Goldsztejn; Olivier Mullier; Damien Eveillard; Hiroshi Hosobe (CP, 2010)

General Inner Approximation of Vector-valued Functions. - Olivier Mullier; Eric Goubault; Michel Kieffer; Sylvie Putot (Reliab. Comput., 2013)

Inner approximated reachability analysis. - Eric Goubault; Olivier Mullier; Sylvie Putot; Michel Kieffer (HSCC, 2014)

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (SynCoP, 2015)

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (IRC, 2017)

Constraint-Based Framework for Reasoning with Differential Equations. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (Cyber-Physical Systems Security, 2018)

Improving validated computation of Viability Kernels. - Benjamin Martin 003; Olivier Mullier (HSCC, 2018)

Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. - Olivier Mullier; Alexandre Chapoutot; Julien Alexandre Dit Sandretto (Optim. Methods Softw., 2018)

Set-Membership Computation of Integrals with Uncertain Endpoints. - Olivier Mullier; Julien Alexandre Dit Sandretto (NUMTA (2), 2019)

Abstract domains for constraint programming with differential equations. - Ghiles Ziat; Olivier Mullier; Julien Alexandre Dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux (NSAD@SAS, 2020)

Optimal Switching Instants for the Control of Hybrid Systems. - Olivier Mullier; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Acta Cybern., 2020)

Validated Trajectory Tracking using Flatness. - Olivier Mullier; Julien Alexandre Dit Sandretto (Acta Cybern., 2021)

Preface. - Julien Alexandre Dit Sandretto; Olivier Mullier; Alexandre Chapoutot (Acta Cybern., 2021)