| 2020 | CP | A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. | Rmy Garcia, Claude Michel, Michel Rueher |
| 2017 | CP | Search Strategies for Floating Point Constraint Systems. | Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
| 2014 | ICSE | Generating test cases inside suspicious intervals for floating-point number programs. | Hlne Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher |
| 2012 | CP | Boosting Local Consistency Algorithms over Floating-Point Numbers. | Mohammed Sad Belaid, Claude Michel, Michel Rueher |
| 2012 | CP | Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. | Olivier Ponsini, Claude Michel, Michel Rueher |
| 2012 | ICST | Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. | Olivier Ponsini, Claude Michel, Michel Rueher |
| 2010 | CP | Improving the Floating Point Addition and Subtraction Constraints. | Bruno Marre, Claude Michel |
| 2008 | CP | Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. | Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher |
| 2008 | SAC | An efficient algorithm for a sharp approximation of universally quantified inequalities. | Alexandre Goldsztejn, Claude Michel, Michel Rueher |
| 2007 | SAC | Using constraint techniques for a safe and fast implementation of optimality-based reduction. | Yahia Lebbah, Claude Michel, Michel Rueher |
| 2005 | CP | Mind the Gaps: A New Splitting Strategy for Consistency Techniques. | Heikel Batnini, Claude Michel, Michel Rueher |
| 2002 | CP | A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. | Yahia Lebbah, Michel Rueher, Claude Michel |
| 2002 | ISAIM | Exact Projection Functions for Floating Point Number Constraints. | Claude Michel |
| 2001 | CP | Solving Constraints over Floating-Point Numbers. | Claude Michel, Michel Rueher, Yahia Lebbah |