Matthieu Carlier

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Constraint Solver

Top Venues

INFORMS J. Comput.

Publications

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS J. Comput. 28 (1) (2016)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Filtering Floating-Point Constraints by Maximum ULP. CoRR (2013)
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. ICST (2013)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
A Certified Constraint Solver over Finite Domains. FM (2012)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP@TOOLS (2012)
Matthieu Carlier, Arnaud Gotlieb
Filtering by ULP Maximum. ICTAI (2011)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
FocalTest: A Constraint Programming Approach for Property-Based Testing. ICSOFT (Selected Papers) (2010)
Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
Constraint Reasoning in FocalTest. ICSOFT (2) (2010)
Matthieu Carlier, Catherine Dubois
Functional Testing in the Focal Environment. TAP (2008)