Michel Rueher

38
Documents

Présentation

Publications

9
6
4
3
3
3
3
2
2
2
1
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
16
14
8
6
5
5
4
4
3
3
3
3
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
1
1
1
1
1
1
2
3
2
1
4
4
6
1
8
2
3
1
7
3
3
2
2
1

Publications

Deposit thumbnail

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⟩

Article dans une revue hal-00860681v2
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue 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

Article dans une revue hal-00835183v1
Deposit thumbnail

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⟩

Article dans une revue hal-00510303v1

Efficient Handling of Universally Quantified Inequalities

Alexandre Goldsztejn , Michel Rueher , Michel Claude

Constraints, 2009, 14 (1), pp.117-135

Article dans une revue hal-00431129v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue hal-00907765v1
Deposit thumbnail

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⟩

Article dans une revue inria-00540302v1
Deposit thumbnail

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

Communication dans un congrès hal-01956046v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01643710v1
Deposit thumbnail

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

Communication dans un congrès hal-01224009v2
Deposit thumbnail

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

Communication dans un congrès hal-01152341v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01094227v1
Deposit thumbnail

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

Communication dans un congrès hal-00957255v2
Deposit thumbnail

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

Communication dans un congrès hal-00829579v1
Deposit thumbnail

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

Communication dans un congrès inria-00520370v1
Deposit thumbnail

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

Communication dans un congrès inria-00520281v1
Deposit thumbnail

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-01099509v1
Deposit thumbnail

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

Communication dans un congrès inria-00293749v1
Deposit thumbnail

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

Communication dans un congrès hal-00297086v1
Deposit thumbnail

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

Communication dans un congrès hal-00297250v1
Deposit thumbnail

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

Communication dans un congrès 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

Communication dans un congrès hal-00481388v1
Deposit thumbnail

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

Communication dans un congrès inria-00151231v1

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

Communication dans un congrès hal-00990048v1
Deposit thumbnail

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

Communication dans un congrès inria-00000087v1