![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michel Rueher
Person information
- affiliation: University of Nice Sophia Antipolis, Nice, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c56]Rémy Garcia, Claude Michel, Michel Rueher:
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. CP 2020: 637-653 - [c55]Rémy Garcia, Claude Michel, Michel Rueher:
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. VSTTE 2020: 196-212 - [i9]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
An efficient constraint based framework forhandling floating point SMT problems. CoRR abs/2002.12441 (2020) - [i8]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)
2010 – 2019
- 2019
- [c54]Claude Michel, Michel Rueher:
Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. AITest 2019: 138-139 - 2017
- [j18]Willem-Jan van Hoeve, Michel Rueher:
Introduction to the fast track issue for CP 2016. Constraints An Int. J. 22(1): 1-2 (2017) - [c53]Laurent D. Michel, Michel Rueher:
What's Hot in Constraint Programming. AAAI 2017: 5073-5075 - [c52]Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
:
Search Strategies for Floating Point Constraint Systems. CP 2017: 707-722 - 2016
- [j17]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) - [c51]Hélène Collavizza, Claude Michel, Michel Rueher:
Searching Critical Values for Floating-Point Programs. ICTSS 2016: 209-217 - [e3]Michel Rueher:
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science 9892, Springer 2016, ISBN 978-3-319-44952-4 [contents] - 2015
- [c50]Mohammed Bekkouche
, Hélène Collavizza, Michel Rueher:
LocFaults: a new flow-driven and constraint-based error localization approach. SAC 2015: 1773-1780 - [i7]Mohammed Bekkouche, Hélène Collavizza, Michel Rueher:
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs. CoRR abs/1505.06324 (2015) - [i6]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) - 2014
- [j16]Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet:
Constraint-based BMC: a backjumping strategy. Int. J. Softw. Tools Technol. Transf. 16(1): 103-121 (2014) - [c49]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 - [i5]Mohammed Bekkouche
, Hélène Collavizza, Michel Rueher:
Une approche CSP pour l'aide à la localisation d'erreurs. CoRR abs/1404.6567 (2014) - 2012
- [j15]Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher:
Improved filtering for weighted circuit constraints. Constraints An Int. J. 17(3): 205-233 (2012) - [c48]Mohammed Saïd Belaid, Claude Michel, Michel Rueher:
Boosting Local Consistency Algorithms over Floating-Point Numbers. CP 2012: 127-140 - [c47]Olivier Ponsini, Claude Michel, Michel Rueher:
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP 2012: 593-607 - [c46]Olivier Ponsini, Claude Michel, Michel Rueher:
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. ICST 2012: 775-776 - 2011
- [j14]Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher:
Capabilities of Constraint Programming in Safe Global Optimization. Reliab. Comput. 15(1): 47-59 (2011) - [c45]Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen:
A dynamic constraint-based BMC strategy for generating counterexamples. SAC 2011: 1633-1638 - 2010
- [j13]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
CPBPV: a constraint-programming framework for bounded program verification. Constraints An Int. J. 15(2): 238-264 (2010) - [c44]Michaël Soulignac, Michel Rueher, Patrick Taillibert:
A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. CP 2010: 628-642 - [c43]Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve:
Improving the Held and Karp Approach with Constraint Programming. CPAIOR 2010: 40-44 - [c42]Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve:
The Weighted Spanning Tree Constraint Revisited. CPAIOR 2010: 287-291 - [c41]Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher:
Automatic verification of loop invariants. ICSM 2010: 1-5 - [c40]Claude Michel, Michel Rueher:
Handling software upgradeability problems with MILP solvers. LoCoCo 2010: 1-10
2000 – 2009
- 2009
- [j12]Alexandre Goldsztejn
, Claude Michel, Michel Rueher:
Efficient handling of universally quantified inequalities. Constraints An Int. J. 14(1): 117-135 (2009) - [c39]Michaël Soulignac, Patrick Taillibert, Michel Rueher:
Time-minimal path planning in dynamic current fields. ICRA 2009: 2473-2479 - 2008
- [c38]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP 2008: 327-341 - [c37]Alexandre Goldsztejn
, Yahia Lebbah
, Claude Michel, Michel Rueher:
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. CP 2008: 598-602 - [c36]Michaël Soulignac, Patrick Taillibert, Michel Rueher:
Adapting the wavefront expansion in presence of strong currents. ICRA 2008: 1352-1358 - [c35]Alexandre Goldsztejn
, Claude Michel, Michel Rueher:
An efficient algorithm for a sharp approximation of universally quantified inequalities. SAC 2008: 134-139 - [i4]Alexandre Goldsztejn, Claude Michel, Michel Rueher:
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities. CoRR abs/0807.2269 (2008) - [i3]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) - [i2]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
CPBVP: A Constraint-Programming Framework for Bounded Program Verification. CoRR abs/0807.2383 (2008) - [i1]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification. CoRR abs/0808.1508 (2008) - 2007
- [c34]Hélène Collavizza, Michel Rueher:
Exploring Different Constraint-Based Modelings for Program Verification. CP 2007: 49-63 - [c33]Yahia Lebbah
, Claude Michel, Michel Rueher:
Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC 2007: 326-331 - 2006
- [c32]Martine Ceberio, Vladik Kreinovich, Michel Rueher:
Editorial: track reliable computations and their applications. SAC 2006: 1633-1634 - [c31]Hélène Collavizza, Michel Rueher:
Exploration of the Capabilities of Constraint Programming for Software Verification. TACAS 2006: 182-196 - 2005
- [j11]Yahia Lebbah
, Claude Michel, Michel Rueher:
A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints An Int. J. 10(1): 47-65 (2005) - [j10]Jean-Charles Régin, Michel Rueher:
Inequality-sum: a global constraint capturing the objective function. RAIRO Oper. Res. 39(2): 123-139 (2005) - [j9]Martine Ceberio, Vladik Kreinovich, Michel Rueher:
Reliable Computations and Their Applications (RCA) Track. Reliab. Comput. 11(6): 499-503 (2005) - [j8]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) - [c30]Heikel Batnini, Claude Michel, Michel Rueher:
Mind the Gaps: A New Splitting Strategy for Consistency Techniques. CP 2005: 77-91 - [c29]Martine Ceberio, Vladik Kreinovich, Michel Rueher:
Editorial: track reliable computations and their applications. SAC 2005: 1429-1430 - 2004
- [e2]Jean-Charles Régin, Michel Rueher:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings. Lecture Notes in Computer Science 3011, Springer 2004, ISBN 3-540-21836-X [contents] - 2003
- [c28]Yahia Lebbah, Claude Michel, Michel Rueher:
Efficient Pruning Technique Based on Linear Relaxations. COCOS 2003: 1-14 - [c27]Heikel Batnini, Michel Rueher:
Semantic Decomposition for Solving Distance Constraints. CP 2003: 964-965 - 2002
- [j7]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) - [c26]Yahia Lebbah, Michel Rueher, Claude Michel:
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP 2002: 109-123 - [e1]Michel Rueher:
Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France. 2002 [contents] - 2001
- [c25]Claude Michel, Michel Rueher, Yahia Lebbah:
Solving Constraints over Floating-Point Numbers. CP 2001: 524-538 - 2000
- [c24]Arnaud Gotlieb, Bernard Botella, Michel Rueher:
A CLP Framework for Computing Structural Test Data. Computational Logic 2000: 399-413 - [c23]Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher:
A Constraint Programming Approach for Solving Rigid Geometric Systems. CP 2000: 233-248 - [c22]Jean-Charles Régin, Michel Rueher:
A Global Constraint Combining a Sum Constraint and Difference Constraints. CP 2000: 384-395
1990 – 1999
- 1999
- [j6]Hélène Collavizza, François Delobel, Michel Rueher:
Comparing Partial Consistencies. Reliab. Comput. 5(3): 213-228 (1999) - [c21]Hélène Collavizza, François Delobel, Michel Rueher:
Extending Consistent Domains of Numeric CSP. IJCAI 1999: 406-413 - 1998
- [j5]Olivier Lhomme, Arnaud Gotlieb, Michel Rueher:
Dynamic Optimization of Interval Narrowing Algorithms. J. Log. Program. 37(1-3): 165-183 (1998) - [c20]Hélène Collavizza, François Delobel, Michel Rueher:
A Note on Partial Consistencies over Continuous Domains. CP 1998: 147-161 - [c19]Hélène Collavizza, François Delobel, Michel Rueher:
Relationships between Partial Consistencies over Continuous Domains. IJCSLP 1998: 345-346 - [c18]Arnaud Gotlieb, Bernard Botella, Michel Rueher:
Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA 1998: 53-62 - [c17]Hélène Collavizza, François Delobel, Michel Rueher:
Comparing Partial Consistencies. SCAN 1998: 213-228 - 1997
- [j4]Michel Rueher, Christine Solnon:
Concurrent Cooperating Solvers over Reals. Reliab. Comput. 3(3): 325-333 (1997) - 1996
- [c16]Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert:
Boosting the Interval Narrowing Algorithm. JICSLP 1996: 378-392 - 1995
- [j3]Philippe Marti, Michel Rueher:
A Distributed Cooperating Constraints Solving System. Int. J. Artif. Intell. Tools 4(1-2): 93-114 (1995) - 1994
- [c15]Philippe Marti, Michel Rueher:
Solving Constraints over the Reals - A Multi-Solver Approach. ICTAI 1994: 304-310 - [c14]Christine Solnon, Michel Rueher:
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. JFPLC 1994: 239- - [c13]Christine Solnon, Michel Rueher:
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. LOPSTR 1994: 199-214 - [c12]Philippe Marti, Michel Rueher:
A Cooperative Scheme for Solving Constraints over the Reals. PASCO 1994: 284-293 - [c11]Michel Rueher:
An Architecture for Cooperating Constraint Solvers on Reals. Constraint Programming 1994: 231-250 - 1993
- [j2]Michel Rueher:
A First Exploration of PrologIII's Capabilities. Softw. Pract. Exp. 23(2): 177-200 (1993) - [c10]Didier Ladret, Michel Rueher:
Contribution of Logic Programming to Support Telecommunications Protocol Tests. ICLP 1993: 845-846 - [c9]Christine Solnon, Michel Rueher:
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. LPAR 1993: 309-320 - 1992
- [c8]Christine Solnon, Michel Rueher:
Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. JFPL 1992: 284- - [c7]Christine Solnon, Michel Rueher:
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. PLILP 1992: 489-490 - 1991
- [j1]Didier Ladret, Michel Rueher:
VLP: a visual logic programming language. J. Vis. Lang. Comput. 2(2): 163-188 (1991) - [c6]Christine Solnon, Michel Rueher:
Using a Prolog Prototype for Designing an Object Oriented Scheme. LOPSTR 1991: 300-317 - [c5]Michel Rueher:
Revisiting Capabilities of Graphic for Logic Programming. LPE 1991: 25-32 - 1990
- [c4]Michel Rueher:
Formalizing operations and relationships on objects to support dynamic refinement of process models instances. ISPW 1990: 185-190
1980 – 1989
- 1988
- [c3]Michel Rueher, Didier Ladret, Bruno Legeard:
Capturing software processes through the generated objects. ISPW 1988: 148-152 - 1986
- [c2]Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret:
Une représentation graphique pour Prolog. SPLT 1986: 373-386 - 1984
- [c1]Michel Rueher:
La programmation logique: un outil pour l'aide à la formulation du raisonnement. SPLT 1984
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint