Michel Rueher

Présentation

Publications

Article dans une revue (9)

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
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
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
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
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

Communication dans un congrès (19)

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (1)

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors Rémy Garcia,Claude Michel,Michel Rueher Principles and Practice of Constraint Programming, pp.637-653, 2020, ⟨10.1007/978-3-030-58475-7_37⟩ Chapitre d'ouvrage hal-02962315v1

Autre publication scientifique (2)

Sub-domain Selection Strategies For Floating Point Constraint Systems Heytem Zitoun,Claude Michel,Michel Rueher,Laurent Michel 2018 Autre publication scientifique hal-01956094v1
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples Nguyen Le Vinh,Hélène Collavizza,Michel Rueher,Samuel Devulder,Thierry Gueguen 2010 Autre publication scientifique hal-00495816v2

Pré-publication, Document de travail (6)

The Flasher Manager Benchmarks Hélène Collavizza,Nguyen Le Vinh,Olivier Ponsini,Michel Rueher,Antoine Rollet 2012 Pré-publication, Document de travail hal-00720921v1
Boosting domain filtering over floating-point numbers with safe linear approximations Mohammed Said Belaid,Claude Michel,Michel Rueher 2011 Pré-publication, Document de travail hal-00653659v1
Constraint-Based BMC: A Backjumping Strategy Hélène Collavizza,Le Vinh Nguyen,Olivier Ponsini,Michel Rueher,Antoine Rollet 2011 Pré-publication, Document de travail hal-00635417v4
A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples Hélène Collavizza,Nguyen Le Vinh,Michel Rueher,Samuel Devulder,Thierry Gueguen 2010 Pré-publication, Document de travail hal-00531081v1
Automatic Verification of Loop Invariants Olivier Ponsini,Hélène Collavizza,Carine Fédèle,Claude Michel,Michel Rueher 2010 Pré-publication, Document de travail hal-00495675v1
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification Hélène Collavizza,Michel Rueher,Pascal van Hentenryck 2008 Pré-publication, Document de travail hal-00274546v1

Rapport (1)

Refining Abstract Interpretation-based Approximations with Constraint Solvers Olivier Ponsini,Claude Michel,Michel Rueher [Research Report] Laboratoire I3S / UNS. 2011 Rapport (rapport de recherche) hal-00623274v1