Matthieu Carlier

According to our database, Matthieu Carlier authored at least 9 papers between 2008 and 2016.

Collaborative distances:

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

2016

Exploiting Binary Floating-Point Representations for Constraint Propagation.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

INFORMS J. Comput., 2016

2013

Filtering Floating-Point Constraints by Maximum ULP.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

CoRR, 2013

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Proceedings of the Tests and Proofs - 6th International Conference, 2012

A Certified Constraint Solver over Finite Domains.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Proceedings of the FM 2012: Formal Methods, 2012

2011

Filtering by ULP Maximum.

Matthieu Carlier, Arnaud Gotlieb

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

FocalTest: A Constraint Programming Approach for Property-Based Testing.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Proceedings of the Software and Data Technologies - 5th International Conference, 2010

Constraint Reasoning in FocalTest.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Proceedings of the ICSOFT 2010, 2010

2008

Functional Testing in the Focal Environment.

Matthieu Carlier, Catherine Dubois

Proceedings of the Tests and Proofs - 2nd International Conference, 2008