Alexis Fouilhé

According to our database, Alexis Fouilhé authored at least 4 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem.

Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

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é

PhD thesis, 2015

2014

A Certifying Frontend for (Sub)polyhedral Abstract Domains.

Alexis Fouilhé, Sylvain Boulmé

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.

Alexis Fouilhé, David Monniaux, Michaël Périn

Proceedings of the Static Analysis - 20th International Symposium, 2013