default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaude Michel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2016
[b1]Claude Michel:
Contraintes sur les réels et contraintes sur les flottants: contributions. University of Nice Sophia Antipolis, France, 2016
Journal Articles
- 2016
- [j7]Olivier Ponsini, Claude Michel, Michel Rueher:
Verifying floating-point programs with constraint programming and abstract interpretation techniques. Autom. Softw. Eng. 23(2): 191-217 (2016) - 2011
- [j6]Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher:
Capabilities of Constraint Programming in Safe Global Optimization. Reliab. Comput. 15(1): 47-59 (2011) - 2009
- [j5]Alexandre Goldsztejn
, Claude Michel, Michel Rueher:
Efficient handling of universally quantified inequalities. Constraints An Int. J. 14(1): 117-135 (2009) - 2006
- [j4]Bernard Botella, Arnaud Gotlieb, Claude Michel:
Symbolic execution of floating-point computations. Softw. Test. Verification Reliab. 16(2): 97-121 (2006) - 2005
- [j3]Yahia Lebbah, Claude Michel, Michel Rueher:
A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints An Int. J. 10(1): 47-65 (2005) - [j2]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): 2076-2097 (2005) - 2002
- [j1]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): 1163-1187 (2002)
Conference and Workshop Papers
- 2020
- [c21]Rémy Garcia, Claude Michel, Michel Rueher:
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. CP 2020: 637-653 - [c20]Rémy Garcia, Claude Michel, Michel Rueher:
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. VSTTE 2020: 196-212 - 2019
- [c19]Claude Michel, Michel Rueher:
Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. AITest 2019: 138-139 - 2017
- [c18]Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel:
Search Strategies for Floating Point Constraint Systems. CP 2017: 707-722 - 2016
- [c17]Hélène Collavizza, Claude Michel, Michel Rueher:
Searching Critical Values for Floating-Point Programs. ICTSS 2016: 209-217 - 2014
- [c16]Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher:
Generating test cases inside suspicious intervals for floating-point number programs. CSTVA 2014: 7-11 - 2012
- [c15]Mohammed Saïd Belaid, Claude Michel, Michel Rueher:
Boosting Local Consistency Algorithms over Floating-Point Numbers. CP 2012: 127-140 - [c14]Olivier Ponsini, Claude Michel, Michel Rueher:
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP 2012: 593-607 - [c13]Olivier Ponsini, Claude Michel, Michel Rueher:
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. ICST 2012: 775-776 - 2011
- [c12]Roberto Di Cosmo, Olivier Lhomme, Claude Michel:
Aligning component upgrades. LoCoCo 2011: 1-11 - 2010
- [c11]Bruno Marre, Claude Michel:
Improving the Floating Point Addition and Subtraction Constraints. CP 2010: 360-367 - [c10]Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher:
Automatic verification of loop invariants. ICSM 2010: 1-5 - [c9]Claude Michel, Michel Rueher:
Handling software upgradeability problems with MILP solvers. LoCoCo 2010: 1-10 - 2008
- [c8]Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher:
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. CP 2008: 598-602 - [c7]Alexandre Goldsztejn, Claude Michel, Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities. SAC 2008: 134-139 - 2007
- [c6]Yahia Lebbah, Claude Michel, Michel Rueher:
Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC 2007: 326-331 - 2005
- [c5]Heikel Batnini, Claude Michel, Michel Rueher:
Mind the Gaps: A New Splitting Strategy for Consistency Techniques. CP 2005: 77-91 - 2003
- [c4]Yahia Lebbah, Claude Michel, Michel Rueher:
Efficient Pruning Technique Based on Linear Relaxations. COCOS 2003: 1-14 - 2002
- [c3]Yahia Lebbah, Michel Rueher, Claude Michel:
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP 2002: 109-123 - [c2]Claude Michel:
Exact Projection Functions for Floating Point Number Constraints. AI&M 2002 - 2001
- [c1]Claude Michel, Michel Rueher, Yahia Lebbah:
Solving Constraints over Floating-Point Numbers. CP 2001: 524-538
Informal and Other Publications
- 2020
- [i5]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
An efficient constraint based framework forhandling floating point SMT problems. CoRR abs/2002.12441 (2020) - [i4]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR abs/2002.12447 (2020) - 2015
- [i3]Hélène Collavizza, Claude Michel, Michel Rueher:
Searching input values hitting suspicious Intervals in programs with floating-point operations. CoRR abs/1511.01080 (2015) - 2008
- [i2]Alexandre Goldsztejn, Claude Michel, Michel Rueher:
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. CoRR abs/0807.2269 (2008) - [i1]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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
