Claude Michel

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