Matthieu Carlier
External collaborator
Publications
Simula-affiliated publications listed
2016
Journal Articles
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal of Computing (JoC)
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal of Computing (JoC)
2013
Journal Articles
M. Carlier, C. Dubois and A. Gotlieb
FocalTest: a Constraint Programming Approach for Property-Based Testing
Communications in Computer and Information Science
Proceedings, refereed
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages
2012
Proceedings, refereed
M. Carlier, C. Dubois and A. Gotlieb
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic
2011
Proceedings, refereed
M. Carlier and A. Gotlieb
Filtering by ULP Maximum
Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011), Nov. 7-9, 2011, Boca Raton, Florida, USA
A. Gotlieb
Filtering by ULP maximum, In: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011),
23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011)