Access content directly

Michel Rueher

38
Documents

Presentation

Publications

Image document

Verifying floating-point programs with constraint programming and abstract interpretation techniques

Olivier Ponsini , Claude Michel , Michel Rueher
Automated Software Engineering, 2016, ⟨10.1007/s10515-014-0154-2⟩
Journal articles hal-00860681v2
Image document

Improved filtering for weighted circuit constraints

Pascal Benchimol , Willem-Jan van Hoeve , Jean-Charles Régin , Louis-Martin Rousseau , Michel Rueher
Constraints, 2012, 17 (3), pp.205--233. ⟨10.1007/s10601-012-9119-x⟩
Journal articles hal-01344070v1

Constraint-Based BMC: A Backjumping Strategy

Hélène Collavizza , Nguyen Le Vinh , Olivier Ponsini , Michel Rueher , Antoine Rollet
International Journal on Software Tools for Technology Transfer, 2012, pp.1-19. ⟨10.1007/s10009-012-0258-6⟩
Journal articles hal-00874059v1

Capabilities of Constraint Programming in Safe Global Optimization

Alexandre Goldsztejn , Yahia Lebbah , Claude Michel , Michel Rueher
Reliable Computing electronic edition, 2011, 15 (1), pp.47-59
Journal articles hal-00835183v1
Image document

CPBPV: a constraint-programming framework for bounded program verification

Hélène Collavizza , Michel Rueher , Pascal van Hentenryck
Constraints, 2010, 15 (2), pp.238-264. ⟨10.1007/s10601-009-9089-9⟩
Journal articles hal-00510303v1

Efficient Handling of Universally Quantified Inequalities

Alexandre Goldsztejn , Michel Rueher , Michel Claude
Constraints, 2009, 14 (1), pp.117-135
Journal articles hal-00431129v1
Image document

An efficient and safe framework for solving optimization problems

Yahia Lebbah , Claude Michel , Michel Rueher
Journal of Computational and Applied Mathematics, 2007, 199, pp.372-377,. ⟨10.1016/j.cam.2005.08.037⟩
Journal articles hal-00510304v1

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems

Yahia Lebbah , Claude Michel , Michel Rueher , David Daney , Jean-Pierre Merlet
SIAM Journal on Numerical Analysis, 2005, 42 (5), pp. 2076-2097. ⟨10.1137/S0036142903436174⟩
Journal articles hal-00907765v1
Image document

Dynamic optimization of interval narrowing algorithms

Olivier Lhomme , Arnaud Gotlieb , Michel Rueher
Journal of Logic Programming, 1998, 37 (1-3), pp.165-183. ⟨10.1016/S0743-1066(98)10007-9⟩
Journal articles inria-00540302v1
Image document

Towards a constraint system for round-off error analysis of floating-point computation

Rémy Garcia , Claude Michel , Marie Pelleau , Michel Rueher
24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Conference papers hal-01956046v1
Image document

Searching Critical Values for Floating-Point Programs

Hélène Collavizza , Claude Michel , Michel Rueher
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩
Conference papers hal-01643710v1
Image document

Searching input values hitting suspicious Intervals in programs with floating-point operations

Hélène Collavizza , Claude Michel , Michel Rueher
28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217
Conference papers hal-01224009v2
Image document

Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs

Mohammed Bekkouche , Hélène Collavizza , Michel Rueher
JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Laboratoire Bordelais de Recherche en Informatique (Labri), Jun 2015, Bordeaux, France
Conference papers hal-01152341v1
Image document

LocFaults: A new flow-driven and constraint-based error localization approach

Mohammed Bekkouche , Hélène Collavizza , Michel Rueher
SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩
Conference papers hal-01094227v1
Image document

Une approche CSP pour l'aide à la localisation d'erreurs

Mohammed Bekkouche , Hélène Collavizza , Michel Rueher
Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France
Conference papers hal-00957255v2
Image document

Un nouvel algorithme de consistance locale sur les nombres flottants

Mohammed Said Belaid , Claude Michel , Michel Rueher
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers hal-00829579v1
Image document

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels

Mohammed Said Belaid , Claude Michel , Michel Rueher
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.51-60
Conference papers inria-00520370v1
Image document

Stratégies Dynamiques pour la Génération de Contre-exemples

Nguyen Le Vinh , Hélène Collavizza , Michel Rueher , Samuel Devulder , Thierry Gueguen
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.207-216
Conference papers inria-00520281v1
Image document

An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities

Alexandre Goldsztejn , Claude Michel , Michel Rueher
ACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139
Conference papers hal-00297250v1
Image document

Revisiting the upper bounding process in a safe Branch and Bound algorithm

Alexandre Goldsztejn , Yahia Lebbah , Claude Michel , Michel Rueher
14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602
Conference papers hal-00297086v1
Image document

CPBVP: A Constraint-Programming Framework for Bounded Program Verification

Hélène Collavizza , Michel Rueher , Pascal van Hentenryck
The 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341
Conference papers hal-00297007v1

CPBPV: A Constraint-Programming Framework For Bounded Program Verification

Hélène Collavizza , Michel Rueher , Pascal van Hentenryck
14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341, ⟨10.1007/978-3-540-85958-1_22⟩
Conference papers hal-01099509v1
Image document

Constraint Programming and Safe Global Optimization

Alexandre Goldsztejn , Yahia Lebbah , Claude Michel , Michel Rueher
SCAN 2008, 3th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2008, El Paso, TX, United States
Conference papers hal-00510305v1

Capabilities of Constraint Programming in Rigorous Global Optimization

Michel Rueher , Alexandre Goldsztejn , Yahia Lebbah , Claude Michel
2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary
Conference papers hal-00481388v1
Image document

An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities

Alexandre Goldsztejn , Claude Michel , Michel Rueher
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.373
Conference papers inria-00293749v1
Image document

Utilisation des techniques de programmation par contraintes pour une implémentation rigoureuse et efficace de la réduction basée sur l'optimalité

Yahia Lebbah , Claude Michel , Michel Rueher
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France
Conference papers inria-00151231v1
Image document

Une Stratégie de Résolution Orientée par la Topologie des CSPs Numériques

Heikel Batnini , Michel Rueher , Claude Michel
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.211-218
Conference papers inria-00000087v1

Modal intervals revisited : a mean-value extension to generalized intervals

Alexandre Goldsztejn , David Daney , Michel Rueher , Patrick Taillibert
In International Workshop on Quantification in Constraint Programming (International Conference on Principles and Practice of Constraint Programming, CP-2005), Oct 2005, Barcelona, Spain
Conference papers hal-00990048v1