Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. - Alexis Fouilhé; David Monniaux; Michaël Périn (SAS, 2013)

A Certifying Frontend for (Sub)polyhedral Abstract Domains. - Alexis Fouilhé; Sylvain Boulmé (VSTTE, 2014)

Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. (Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle). - Alexis Fouilhé (2015)

Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. - Alexandre Maréchal; Alexis Fouilhé; Tim King 001; David Monniaux; Michaël Périn (VMCAI, 2016)