Michel Rueher

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 10

Top Topics

Constraint Programming

Abstract Interpretation

Sparse Matrices

Top Venues

Autom. Softw. Eng.

Publications

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
An efficient constraint based framework forhandling floating point SMT problems. CoRR (2020)
Rémy Garcia, Claude Michel, Michel Rueher
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. VSTTE (2020)
Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR (2020)
Rémy Garcia, Claude Michel, Michel Rueher
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. CP (2020)
Claude Michel, Michel Rueher
Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. AITest (2019)
Willem-Jan van Hoeve, Michel Rueher
Introduction to the fast track issue for CP 2016. Constraints An Int. J. 22 (1) (2017)
Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel
Search Strategies for Floating Point Constraint Systems. CP (2017)
Laurent D. Michel, Michel Rueher
What's Hot in Constraint Programming. AAAI (2017)
Hélène Collavizza, Claude Michel, Michel Rueher
Searching Critical Values for Floating-Point Programs. ICTSS (2016)
Olivier Ponsini, Claude Michel, Michel Rueher
Verifying floating-point programs with constraint programming and abstract interpretation techniques. Autom. Softw. Eng. 23 (2) (2016)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
LocFaults: a new flow-driven and constraint-based error localization approach. SAC (2015)
Hélène Collavizza, Claude Michel, Michel Rueher
Searching input values hitting suspicious Intervals in programs with floating-point operations. CoRR (2015)
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 (2015)
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Une approche CSP pour l'aide à la localisation d'erreurs. CoRR (2014)
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) (2014)
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
Generating test cases inside suspicious intervals for floating-point number programs. CSTVA (2014)
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) (2012)
Olivier Ponsini, Claude Michel, Michel Rueher
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP (2012)
Olivier Ponsini, Claude Michel, Michel Rueher
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. ICST (2012)
Mohammed Saïd Belaid, Claude Michel, Michel Rueher
Boosting Local Consistency Algorithms over Floating-Point Numbers. CP (2012)
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Capabilities of Constraint Programming in Safe Global Optimization. Reliab. Comput. 15 (1) (2011)
Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
A dynamic constraint-based BMC strategy for generating counterexamples. SAC (2011)
Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve
The Weighted Spanning Tree Constraint Revisited. CPAIOR (2010)
Claude Michel, Michel Rueher
Handling software upgradeability problems with MILP solvers LoCoCo (2010)
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)
Michaël Soulignac, Michel Rueher, Patrick Taillibert
A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. CP (2010)
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
Automatic verification of loop invariants. ICSM (2010)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBPV: a constraint-programming framework for bounded program verification. Constraints An Int. J. 15 (2) (2010)
Alexandre Goldsztejn, Claude Michel, Michel Rueher
Efficient handling of universally quantified inequalities. Constraints An Int. J. 14 (1) (2009)
Michaël Soulignac, Patrick Taillibert, Michel Rueher
Time-minimal path planning in dynamic current fields. ICRA (2009)
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Revisiting the upper bounding process in a safe Branch and Bound algorithm CoRR (2008)
Alexandre Goldsztejn, Claude Michel, Michel Rueher
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities CoRR (2008)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBVP: A Constraint-Programming Framework for Bounded Program Verification CoRR (2008)
Michaël Soulignac, Patrick Taillibert, Michel Rueher
Adapting the wavefront expansion in presence of strong currents. ICRA (2008)
Alexandre Goldsztejn, Claude Michel, Michel Rueher
An efficient algorithm for a sharp approximation of universally quantified inequalities. SAC (2008)
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. CP (2008)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP (2008)
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CoRR (2008)
Hélène Collavizza, Michel Rueher
Exploring Different Constraint-Based Modelings for Program Verification. CP (2007)
Yahia Lebbah, Claude Michel, Michel Rueher
Using constraint techniques for a safe and fast implementation of optimality-based reduction. SAC (2007)
Hélène Collavizza, Michel Rueher
Exploration of the Capabilities of Constraint Programming for Software Verification. TACAS (2006)
Martine Ceberio, Vladik Kreinovich, Michel Rueher
Editorial: track reliable computations and their applications. SAC (2006)
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) (2005)
Jean-Charles Régin, Michel Rueher
Inequality-sum: a global constraint capturing the objective function. RAIRO Oper. Res. 39 (2) (2005)
Martine Ceberio, Vladik Kreinovich, Michel Rueher
Reliable Computations and Their Applications (RCA) Track. Reliab. Comput. 11 (6) (2005)
Heikel Batnini, Claude Michel, Michel Rueher
Mind the Gaps: A New Splitting Strategy for Consistency Techniques. CP (2005)
Martine Ceberio, Vladik Kreinovich, Michel Rueher
Editorial: track reliable computations and their applications. SAC (2005)
Yahia Lebbah, Claude Michel, Michel Rueher
A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Constraints An Int. J. 10 (1) (2005)
Yahia Lebbah, Claude Michel, Michel Rueher
Efficient Pruning Technique Based on Linear Relaxations. COCOS (2003)
Heikel Batnini, Michel Rueher
Semantic Decomposition for Solving Distance Constraints. CP (2003)
Yahia Lebbah, Michel Rueher, Claude Michel
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. CP (2002)
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) (2002)
Claude Michel, Michel Rueher, Yahia Lebbah
Solving Constraints over Floating-Point Numbers. CP (2001)
Arnaud Gotlieb, Bernard Botella, Michel Rueher
A CLP Framework for Computing Structural Test Data. Computational Logic (2000)
Jean-Charles Régin, Michel Rueher
A Global Constraint Combining a Sum Constraint and Difference Constraints. CP (2000)
Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher
A Constraint Programming Approach for Solving Rigid Geometric Systems. CP (2000)
Hélène Collavizza, François Delobel, Michel Rueher
Extending Consistent Domains of Numeric CSP. IJCAI (1999)
Hélène Collavizza, François Delobel, Michel Rueher
Comparing Partial Consistencies. Reliab. Comput. 5 (3) (1999)
Hélène Collavizza, François Delobel, Michel Rueher
Comparing Partial Consistencies. SCAN (1998)
Hélène Collavizza, François Delobel, Michel Rueher
A Note on Partial Consistencies over Continuous Domains. CP (1998)
Olivier Lhomme, Arnaud Gotlieb, Michel Rueher
Dynamic Optimization of Interval Narrowing Algorithms. J. Log. Program. 37 (1-3) (1998)
Hélène Collavizza, François Delobel, Michel Rueher
Relationships between Partial Consistencies over Continuous Domains. IJCSLP (1998)
Arnaud Gotlieb, Bernard Botella, Michel Rueher
Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA (1998)
Michel Rueher, Christine Solnon
Concurrent Cooperating Solvers over Reals. Reliab. Comput. 3 (3) (1997)
Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert
Boosting the Interval Narrowing Algorithm. JICSLP (1996)
Philippe Marti, Michel Rueher
A Distributed Cooperating Constraints Solving System. Int. J. Artif. Intell. Tools 4 (1-2) (1995)
Michel Rueher
An Architecture for Cooperating Constraint Solvers on Reals Constraint Programming (1994)
Christine Solnon, Michel Rueher
Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. JFPLC (1994)
Philippe Marti, Michel Rueher
Solving Constraints over the Reals - A Multi-Solver Approach. ICTAI (1994)
Philippe Marti, Michel Rueher
A Cooperative Scheme for Solving Constraints over the Reals. PASCO (1994)
Christine Solnon, Michel Rueher
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. LOPSTR (1994)
Michel Rueher
A First Exploration of PrologIII's Capabilities. Softw. Pract. Exp. 23 (2) (1993)
Didier Ladret, Michel Rueher
Contribution of Logic Programming to Support Telecommunications Protocol Tests. ICLP (1993)
Christine Solnon, Michel Rueher
Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. LPAR (1993)
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)
Christine Solnon, Michel Rueher
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. PLILP (1992)
Michel Rueher
Revisiting Capabilities of Graphic for Logic Programming. LPE (1991)
Didier Ladret, Michel Rueher
VLP: a visual logic programming language. J. Vis. Lang. Comput. 2 (2) (1991)
Christine Solnon, Michel Rueher
Using a Prolog Prototype for Designing an Object Oriented Scheme. LOPSTR (1991)
Michel Rueher
Formalizing operations and relationships on objects to support dynamic refinement of process models instances. ISPW (1990)
Michel Rueher, Didier Ladret, Bruno Legeard
Capturing software processes through the generated objects. ISPW (1988)
Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret
Une représentation graphique pour Prolog. SPLT (1986)
Michel Rueher
La programmation logique: un outil pour l'aide à la formulation du raisonnement. SPLT (1984)