Claude Michel

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 8

Top Topics

Termination Analysis

Abstract Interpretation

Constraint Programming

Top Venues

Publications

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
An efficient constraint based framework forhandling floating point SMT problems. CoRR (2020)
Rémy Garcia, Claude Michel, Michel Rueher
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. VSTTE (2020)
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR (2020)
Rémy Garcia, Claude Michel, Michel Rueher
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. CP (2020)
Claude Michel, Michel Rueher
Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. AITest (2019)
Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
Search Strategies for Floating Point Constraint Systems. CP (2017)
Hélène Collavizza, Claude Michel, Michel Rueher
Searching Critical Values for Floating-Point Programs. ICTSS (2016)
Olivier Ponsini, Claude Michel, Michel Rueher
Verifying floating-point programs with constraint programming and abstract interpretation techniques. Autom. Softw. Eng. 23 (2) (2016)
Hélène Collavizza, Claude Michel, Michel Rueher
Searching input values hitting suspicious Intervals in programs with floating-point operations. CoRR (2015)
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
Generating test cases inside suspicious intervals for floating-point number programs. CSTVA (2014)
Olivier Ponsini, Claude Michel, Michel Rueher
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP (2012)
Olivier Ponsini, Claude Michel, Michel Rueher
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. ICST (2012)
Mohammed Saïd Belaid, Claude Michel, Michel Rueher
Boosting Local Consistency Algorithms over Floating-Point Numbers. CP (2012)
Roberto Di Cosmo, Olivier Lhomme, Claude Michel
Aligning component upgrades LoCoCo (2011)
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Capabilities of Constraint Programming in Safe Global Optimization. Reliab. Comput. 15 (1) (2011)
Claude Michel, Michel Rueher
Handling software upgradeability problems with MILP solvers LoCoCo (2010)
Bruno Marre, Claude Michel
Improving the Floating Point Addition and Subtraction Constraints. CP (2010)
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
Automatic verification of loop invariants. ICSM (2010)
Alexandre Goldsztejn, Claude Michel, Michel Rueher
Efficient handling of universally quantified inequalities. Constraints An Int. J. 14 (1) (2009)
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Revisiting the upper bounding process in a safe Branch and Bound algorithm CoRR (2008)
Alexandre Goldsztejn, Claude Michel, Michel Rueher
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities CoRR (2008)
Alexandre Goldsztejn, Claude Michel, Michel Rueher
An efficient algorithm for a sharp approximation of universally quantified inequalities. SAC (2008)
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. CP (2008)
Yahia Lebbah, Claude Michel, Michel Rueher
Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC (2007)
Bernard Botella, Arnaud Gotlieb, Claude Michel
Symbolic execution of floating-point computations. Softw. Test. Verification Reliab. 16 (2) (2006)
Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. SIAM J. Numer. Anal. 42 (5) (2005)
Heikel Batnini, Claude Michel, Michel Rueher
Mind the Gaps: A New Splitting Strategy for Consistency Techniques. CP (2005)
Yahia Lebbah, Claude Michel, Michel Rueher
A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints An Int. J. 10 (1) (2005)
Yahia Lebbah, Claude Michel, Michel Rueher
Efficient Pruning Technique Based on Linear Relaxations. COCOS (2003)
Yahia Lebbah, Michel Rueher, Claude Michel
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP (2002)
Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
Utilisation des contraintes pour la génération automatique de cas de test structurels. Tech. Sci. Informatiques 21 (9) (2002)
Claude Michel
Exact Projection Functions for Floating Point Number Constraints. AI&M (2002)
Claude Michel, Michel Rueher, Yahia Lebbah
Solving Constraints over Floating-Point Numbers. CP (2001)