Solving Constraints over Floating-Point Numbers. - Claude Michel; Michel Rueher; Yahia Lebbah (CP, 2001)

A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. - Yahia Lebbah; Michel Rueher; Claude Michel (CP, 2002)

Exact Projection Functions for Floating Point Number Constraints. - Claude Michel (AI&M, 2002)

Utilisation des contraintes pour la génération automatique de cas de test structurels. - Bernard Botella; Arnaud Gotlieb; Claude Michel; Michel Rueher; Patrick Taillibert (Tech. Sci. Informatiques, 2002)

Efficient Pruning Technique Based on Linear Relaxations. - Yahia Lebbah; Claude Michel; Michel Rueher (COCOS, 2003)

Mind the Gaps: A New Splitting Strategy for Consistency Techniques. - Heikel Batnini; Claude Michel; Michel Rueher (CP, 2005)

A Rigorous Global Filtering Algorithm for Quadratic Constraints*. - Yahia Lebbah; Claude Michel; Michel Rueher (Constraints An Int. J., 2005)

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. - Yahia Lebbah; Claude Michel; Michel Rueher; David Daney; Jean-Pierre Merlet (SIAM J. Numer. Anal., 2005)

Symbolic execution of floating-point computations. - Bernard Botella; Arnaud Gotlieb; Claude Michel (Softw. Test. Verification Reliab., 2006)

Using constraint techniques for a safe and fast implementation of optimality-based reduction. - Yahia Lebbah; Claude Michel; Michel Rueher (SAC, 2007)

Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. - Alexandre Goldsztejn; Yahia Lebbah; Claude Michel; Michel Rueher (CP, 2008)

An efficient algorithm for a sharp approximation of universally quantified inequalities. - Alexandre Goldsztejn; Claude Michel; Michel Rueher (SAC, 2008)

Efficient handling of universally quantified inequalities. - Alexandre Goldsztejn; Claude Michel; Michel Rueher (Constraints An Int. J., 2009)

Improving the Floating Point Addition and Subtraction Constraints. - Bruno Marre; Claude Michel (CP, 2010)

Automatic verification of loop invariants. - Olivier Ponsini; Hélène Collavizza; Carine Fédèle; Claude Michel; Michel Rueher (ICSM, 2010)

Handling software upgradeability problems with MILP solvers - Claude Michel; Michel Rueher (LoCoCo, 2010)

Aligning component upgrades - Roberto Di Cosmo; Olivier Lhomme; Claude Michel (LoCoCo, 2011)

Capabilities of Constraint Programming in Safe Global Optimization. - Alexandre Goldsztejn; Yahia Lebbah; Claude Michel; Michel Rueher (Reliab. Comput., 2011)

Boosting Local Consistency Algorithms over Floating-Point Numbers. - Mohammed Saïd Belaid; Claude Michel; Michel Rueher (CP, 2012)

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. - Olivier Ponsini; Claude Michel; Michel Rueher (CP, 2012)

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. - Olivier Ponsini; Claude Michel; Michel Rueher (ICST, 2012)

Generating test cases inside suspicious intervals for floating-point number programs. - Hélène Collavizza; Claude Michel; Olivier Ponsini; Michel Rueher (CSTVA, 2014)

Searching input values hitting suspicious Intervals in programs with floating-point operations. - Hélène Collavizza; Claude Michel; Michel Rueher (CoRR, 2015)

Contraintes sur les réels et contraintes sur les flottants: contributions. - Claude Michel (2016)

Searching Critical Values for Floating-Point Programs. - Hélène Collavizza; Claude Michel; Michel Rueher (ICTSS, 2016)

Verifying floating-point programs with constraint programming and abstract interpretation techniques. - Olivier Ponsini; Claude Michel; Michel Rueher (Autom. Softw. Eng., 2016)

Search Strategies for Floating Point Constraint Systems. - Heytem Zitoun; Claude Michel; Michel Rueher; Laurent Michel (CP, 2017)

Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. - Claude Michel; Michel Rueher (AITest, 2019)

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. - Rémy Garcia; Claude Michel; Michel Rueher (CP, 2020)

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. - Rémy Garcia; Claude Michel; Michel Rueher (VSTTE, 2020)

An efficient constraint based framework forhandling floating point SMT problems. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)

Bringing freedom in variable choice when searching counter-examples in floating point programs. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)