Documentation
Français (FR)

Anglais (EN)

Michel Rueher

38

Documents

Présentation

Publications

	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

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

	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

	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

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

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