| 2020 | CP | A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. | Rmy Garcia, Claude Michel, Michel Rueher |
| 2017 | AAAI | What's Hot in Constraint Programming. | Laurent D. Michel, Michel Rueher |
| 2017 | CP | Search Strategies for Floating Point Constraint Systems. | Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
| 2015 | SAC | LocFaults: a new flow-driven and constraint-based error localization approach. | Mohammed Bekkouche, Hlne Collavizza, Michel Rueher |
| 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 |
| 2011 | SAC | A dynamic constraint-based BMC strategy for generating counterexamples. | Hlne Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen |
| 2010 | CP | A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. | Michal Soulignac, Michel Rueher, Patrick Taillibert |
| 2010 | CPAIOR | Improving the Held and Karp Approach with Constraint Programming. | Pascal Benchimol, Jean-Charles Rgin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve |
| 2010 | CPAIOR | The Weighted Spanning Tree Constraint Revisited. | Jean-Charles Rgin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve |
| 2009 | ICRA | Time-minimal path planning in dynamic current fields. | Michal Soulignac, Patrick Taillibert, Michel Rueher |
| 2008 | CP | CPBPV: A Constraint-Programming Framework for Bounded Program Verification. | Hlne Collavizza, Michel Rueher, Pascal Van Hentenryck |
| 2008 | CP | Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. | Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher |
| 2008 | ICRA | Adapting the wavefront expansion in presence of strong currents. | Michal Soulignac, Patrick Taillibert, Michel Rueher |
| 2008 | SAC | An efficient algorithm for a sharp approximation of universally quantified inequalities. | Alexandre Goldsztejn, Claude Michel, Michel Rueher |
| 2007 | CP | Exploring Different Constraint-Based Modelings for Program Verification. | Hlne Collavizza, Michel Rueher |
| 2007 | SAC | Using constraint techniques for a safe and fast implementation of optimality-based reduction. | Yahia Lebbah, Claude Michel, Michel Rueher |
| 2006 | SAC | Editorial: track reliable computations and their applications. | Martine Ceberio, Vladik Kreinovich, Michel Rueher |
| 2006 | TACAS | Exploration of the Capabilities of Constraint Programming for Software Verification. | Hlne Collavizza, Michel Rueher |
| 2005 | CP | Mind the Gaps: A New Splitting Strategy for Consistency Techniques. | Heikel Batnini, Claude Michel, Michel Rueher |
| 2005 | SAC | Editorial: track reliable computations and their applications. | Martine Ceberio, Vladik Kreinovich, Michel Rueher |
| 2003 | CP | Semantic Decomposition for Solving Distance Constraints. | Heikel Batnini, Michel Rueher |
| 2002 | CP | A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. | Yahia Lebbah, Michel Rueher, Claude Michel |
| 2001 | CP | Solving Constraints over Floating-Point Numbers. | Claude Michel, Michel Rueher, Yahia Lebbah |
| 2000 | CP | A Constraint Programming Approach for Solving Rigid Geometric Systems. | Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher |
| 2000 | CP | A Global Constraint Combining a Sum Constraint and Difference Constraints. | Jean-Charles Rgin, Michel Rueher |
| 1999 | IJCAI | Extending Consistent Domains of Numeric CSP. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1998 | CP | A Note on Partial Consistencies over Continuous Domains. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1998 | ICLP | Relationships between Partial Consistencies over Continuous Domains. | Hlne Collavizza, Franois Delobel, Michel Rueher |
| 1998 | ISSTA | Automatic Test Data Generation Using Constraint Solving Techniques. | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
| 1996 | ICLP | Boosting the Interval Narrowing Algorithm. | Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert |
| 1994 | ICTAI | Solving Constraints over the Reals - A Multi-Solver Approach. | Philippe Marti, Michel Rueher |
| 1994 | LOPSTR | Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. | Christine Solnon, Michel Rueher |
| 1993 | ICLP | Contribution of Logic Programming to Support Telecommunications Protocol Tests. | Didier Ladret, Michel Rueher |
| 1993 | LPAR | Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. | Christine Solnon, Michel Rueher |
| 1991 | LOPSTR | Using a Prolog Prototype for Designing an Object Oriented Scheme. | Christine Solnon, Michel Rueher |