Alexandre Maréchal

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 7

Top Topics

Constraint Solving

Agnostic Learning

Top Venues

FM Workshops (2)

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet
Combination of Boxes and Polyhedra Abstractions for Constraint Solving. FM Workshops (2) (2019)
Sylvain Boulmé, Alexandre Maréchal
Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra. J. Autom. Reason. 62 (4) (2019)
Sylvain Boulmé, Alexandre Maréchal
A Coq Tactic for Equality Learning in Linear Arithmetic. ITP (2018)
Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu
The Verified Polyhedron Library: an Overview. SYNASC (2018)
Alexandre Maréchal, Michaël Périn
Efficient Elimination of Redundancies in Polyhedra by Raytracing. VMCAI (2017)
Alexandre Maréchal, David Monniaux, Michaël Périn
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. SAS (2017)
Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. VMCAI (2016)
Sylvain Boulmé, Alexandre Maréchal
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra. ITP (2015)