Alexandre Maréchal

According to our database, Alexandre Maréchal authored at least 8 papers between 2016 and 2019.

Collaborative distances:

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

2019

Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra.

Sylvain Boulmé, Alexandre Maréchal

J. Autom. Reason., 2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

The Verified Polyhedron Library: an Overview.

Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

A Coq Tactic for Equality Learning in Linear Arithmetic.

Sylvain Boulmé, Alexandre Maréchal

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

New Algorithmics for Polyhedral Calculus via Parametric Linear Programming. (Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique).

Alexandre Maréchal

PhD thesis, 2017

Efficient Elimination of Redundancies in Polyhedra by Raytracing.

Alexandre Maréchal, Michaël Périn

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

Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming.

Alexandre Maréchal, David Monniaux, Michaël Périn

Proceedings of the Static Analysis - 24th International Symposium, 2017

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