Certified Parallelotope Continuation for One-Manifolds. - Benjamin Martin 003; Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (SIAM J. Numer. Anal., 2013)

Rigorous algorithms for nonlinear biobjective optimization. (Algorithmes rigoureux pour l'optimisation nonlinéaire biobjectif). - Benjamin Martin 003 (2014)

On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach. - Benjamin Martin 003; Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (J. Glob. Optim., 2016)

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. - Benjamin Martin 003; Khalil Ghorbal; Eric Goubault; Sylvie Putot (FVAV@iFM, 2017)

Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization. - Benjamin Martin 003; Alexandre Goldsztejn; Laurent Granvilliers; Christophe Jermann (Eur. J. Oper. Res., 2017)

A certified Branch & Bound approach for reliability-based optimization problems. - Benjamin Martin 003; Marco Correia; Jorge Cruz 001 (J. Glob. Optim., 2017)

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