Towards a Generic Interval Solver for Differential-Algebraic CSP. - Simon Rohou; Abderahmane Bedouhene; Gilles Chabert; Alexandre Goldsztejn; Luc Jaulin; Bertrand Neveu; Victor Reyes; Gilles Trombettoni (CP, 2020)

An Interval Constraint Programming Approach for Quasi Capture Tube Validation. - Abderahmane Bedouhene; Bertrand Neveu; Gilles Trombettoni; Luc Jaulin; Stéphane Le Ménec (CP, 2021)

Interval Constraint Programming for Differential Dynamical Systems. (Programmation par contraintes sur intervalles pour les systèmes dynamiques différentiels). - Abderahmane Bedouhene (2022)