Claude Michel

Mohammed Said Belaid, Claude Michel, Michel Rueher: Boosting Local Consistency Algorithms over Floating-Point Numbers. CP 2012: 127-140

Olivier Ponsini, Claude Michel, Michel Rueher: Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP 2012: 593-607

Olivier Ponsini, Claude Michel, Michel Rueher: Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. ICST 2012: 775-776

Roberto Di Cosmo, Olivier Lhomme, Claude Michel: Aligning component upgrades. LoCoCo 2011: 1-11

Bruno Marre, Claude Michel: Improving the Floating Point Addition and Subtraction Constraints. CP 2010: 360-367

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

Claude Michel, Michel Rueher: Handling software upgradeability problems with MILP solvers. LoCoCo 2010: 1-10

Alexandre Goldsztejn, Claude Michel, Michel Rueher: Efficient handling of universally quantified inequalities. Constraints 14(1): 117-135 (2009)

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

Alexandre Goldsztejn, Claude Michel, Michel Rueher: An efficient algorithm for a sharp approximation of universally quantified inequalities. SAC 2008: 134-139

Alexandre Goldsztejn, Claude Michel, Michel Rueher: An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. CoRR abs/0807.2269 (2008)

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher: Revisiting the upper bounding process in a safe Branch and Bound algorithm. CoRR abs/0807.2382 (2008)

Yahia Lebbah, Claude Michel, Michel Rueher: Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC 2007: 326-331

Bernard Botella, Arnaud Gotlieb, Claude Michel: Symbolic execution of floating-point computations. Softw. Test., Verif. Reliab. 16(2): 97-121 (2006)

Yahia Lebbah, Claude Michel, Michel Rueher: A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints 10(1): 47-65 (2005)

Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet: Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. SIAM J. Numerical Analysis 42(5): 2076-2097 (2005)

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

Yahia Lebbah, Claude Michel, Michel Rueher: Efficient Pruning Technique Based on Linear Relaxations. COCOS 2003: 1-14

Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert: Utilisation des contraintes pour la génération automatique de cas de test structurels. Technique et Science Informatiques 21(9): 1163-1187 (2002)

Claude Michel: Exact Projection Functions for Floating Point Number Constraints (pdf). AMAI 2002

Yahia Lebbah, Michel Rueher, Claude Michel: A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP 2002: 109-123

Claude Michel: Exact Projection Functions for Floating Point Number Constraints. ISAIM 2002

Claude Michel, Michel Rueher, Yahia Lebbah: Solving Constraints over Floating-Point Numbers. CP 2001: 524-538