La programmation logique: un outil pour l'aide à la formulation du raisonnement. - Michel Rueher (SPLT, 1984)

Une représentation graphique pour Prolog. - Michel Rueher; M. C. Thomas; A. Gubert; Didier Ladret (SPLT, 1986)

Capturing software processes through the generated objects. - Michel Rueher; Didier Ladret; Bruno Legeard (ISPW, 1988)

Formalizing operations and relationships on objects to support dynamic refinement of process models instances. - Michel Rueher (ISPW, 1990)

Using a Prolog Prototype for Designing an Object Oriented Scheme. - Christine Solnon; Michel Rueher (LOPSTR, 1991)

Revisiting Capabilities of Graphic for Logic Programming. - Michel Rueher (LPE, 1991)

VLP: a visual logic programming language. - Didier Ladret; Michel Rueher (J. Vis. Lang. Comput., 1991)

Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. - Christine Solnon; Michel Rueher (JFPL, 1992)

Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. - Christine Solnon; Michel Rueher (PLILP, 1992)

Contribution of Logic Programming to Support Telecommunications Protocol Tests. - Didier Ladret; Michel Rueher (ICLP, 1993)

Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. - Christine Solnon; Michel Rueher (LPAR, 1993)

A First Exploration of PrologIII's Capabilities. - Michel Rueher (Softw. Pract. Exp., 1993)

Solving Constraints over the Reals - A Multi-Solver Approach. - Philippe Marti; Michel Rueher (ICTAI, 1994)

Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. - Christine Solnon; Michel Rueher (JFPLC, 1994)

Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. - Christine Solnon; Michel Rueher (LOPSTR, 1994)

A Cooperative Scheme for Solving Constraints over the Reals. - Philippe Marti; Michel Rueher (PASCO, 1994)

An Architecture for Cooperating Constraint Solvers on Reals - Michel Rueher (Constraint Programming, 1994)

A Distributed Cooperating Constraints Solving System. - Philippe Marti; Michel Rueher (Int. J. Artif. Intell. Tools, 1995)

Boosting the Interval Narrowing Algorithm. - Olivier Lhomme; Arnaud Gotlieb; Michel Rueher; Patrick Taillibert (JICSLP, 1996)

Concurrent Cooperating Solvers over Reals. - Michel Rueher; Christine Solnon (Reliab. Comput., 1997)

A Note on Partial Consistencies over Continuous Domains. - Hélène Collavizza; François Delobel; Michel Rueher (CP, 1998)

Relationships between Partial Consistencies over Continuous Domains. - Hélène Collavizza; François Delobel; Michel Rueher (IJCSLP, 1998)

Automatic Test Data Generation Using Constraint Solving Techniques. - Arnaud Gotlieb; Bernard Botella; Michel Rueher (ISSTA, 1998)

Dynamic Optimization of Interval Narrowing Algorithms. - Olivier Lhomme; Arnaud Gotlieb; Michel Rueher (J. Log. Program., 1998)

Extending Consistent Domains of Numeric CSP. - Hélène Collavizza; François Delobel; Michel Rueher (IJCAI, 1999)

Comparing Partial Consistencies. - Hélène Collavizza; François Delobel; Michel Rueher (Reliab. Comput., 1999)

A CLP Framework for Computing Structural Test Data. - Arnaud Gotlieb; Bernard Botella; Michel Rueher (Computational Logic, 2000)

A Constraint Programming Approach for Solving Rigid Geometric Systems. - Christophe Jermann; Gilles Trombettoni; Bertrand Neveu; Michel Rueher (CP, 2000)

A Global Constraint Combining a Sum Constraint and Difference Constraints. - Jean-Charles Régin; Michel Rueher (CP, 2000)

Solving Constraints over Floating-Point Numbers. - Claude Michel; Michel Rueher; Yahia Lebbah (CP, 2001)

A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. - Yahia Lebbah; Michel Rueher; Claude Michel (CP, 2002)

Utilisation des contraintes pour la génération automatique de cas de test structurels. - Bernard Botella; Arnaud Gotlieb; Claude Michel; Michel Rueher; Patrick Taillibert (Tech. Sci. Informatiques, 2002)

Efficient Pruning Technique Based on Linear Relaxations. - Yahia Lebbah; Claude Michel; Michel Rueher (COCOS, 2003)

Semantic Decomposition for Solving Distance Constraints. - Heikel Batnini; Michel Rueher (CP, 2003)

Mind the Gaps: A New Splitting Strategy for Consistency Techniques. - Heikel Batnini; Claude Michel; Michel Rueher (CP, 2005)

Editorial: track reliable computations and their applications. - Martine Ceberio; Vladik Kreinovich; Michel Rueher (SAC, 2005)

A Rigorous Global Filtering Algorithm for Quadratic Constraints*. - Yahia Lebbah; Claude Michel; Michel Rueher (Constraints An Int. J., 2005)

Inequality-sum: a global constraint capturing the objective function. - Jean-Charles Régin; Michel Rueher (RAIRO Oper. Res., 2005)

Reliable Computations and Their Applications (RCA) Track. - Martine Ceberio; Vladik Kreinovich; Michel Rueher (Reliab. Comput., 2005)

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems. - Yahia Lebbah; Claude Michel; Michel Rueher; David Daney; Jean-Pierre Merlet (SIAM J. Numer. Anal., 2005)

Exploration of the Capabilities of Constraint Programming for Software Verification. - Hélène Collavizza; Michel Rueher (TACAS, 2006)

Exploring Different Constraint-Based Modelings for Program Verification. - Hélène Collavizza; Michel Rueher (CP, 2007)

Using constraint techniques for a safe and fast implementation of optimality-based reduction. - Yahia Lebbah; Claude Michel; Michel Rueher (SAC, 2007)

Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. - Alexandre Goldsztejn; Yahia Lebbah; Claude Michel; Michel Rueher (CP, 2008)

Adapting the wavefront expansion in presence of strong currents. - Michaël Soulignac; Patrick Taillibert; Michel Rueher (ICRA, 2008)

An efficient algorithm for a sharp approximation of universally quantified inequalities. - Alexandre Goldsztejn; Claude Michel; Michel Rueher (SAC, 2008)

CPBVP: A Constraint-Programming Framework for Bounded Program Verification - Hélène Collavizza; Michel Rueher; Pascal Van Hentenryck (CoRR, 2008)

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification - Hélène Collavizza; Michel Rueher; Pascal Van Hentenryck (CoRR, 2008)

Time-minimal path planning in dynamic current fields. - Michaël Soulignac; Patrick Taillibert; Michel Rueher (ICRA, 2009)

Efficient handling of universally quantified inequalities. - Alexandre Goldsztejn; Claude Michel; Michel Rueher (Constraints An Int. J., 2009)

A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. - Michaël Soulignac; Michel Rueher; Patrick Taillibert (CP, 2010)

Improving the Held and Karp Approach with Constraint Programming. - Pascal Benchimol; Jean-Charles Régin; Louis-Martin Rousseau; Michel Rueher; Willem Jan van Hoeve (CPAIOR, 2010)

The Weighted Spanning Tree Constraint Revisited. - Jean-Charles Régin; Louis-Martin Rousseau; Michel Rueher; Willem Jan van Hoeve (CPAIOR, 2010)

Automatic verification of loop invariants. - Olivier Ponsini; Hélène Collavizza; Carine Fédèle; Claude Michel; Michel Rueher (ICSM, 2010)

CPBPV: a constraint-programming framework for bounded program verification. - Hélène Collavizza; Michel Rueher; Pascal Van Hentenryck (Constraints An Int. J., 2010)

Handling software upgradeability problems with MILP solvers - Claude Michel; Michel Rueher (LoCoCo, 2010)

A dynamic constraint-based BMC strategy for generating counterexamples. - Hélène Collavizza; Nguyen Le Vinh; Michel Rueher; Samuel Devulder; Thierry Gueguen (SAC, 2011)

Capabilities of Constraint Programming in Safe Global Optimization. - Alexandre Goldsztejn; Yahia Lebbah; Claude Michel; Michel Rueher (Reliab. Comput., 2011)

Boosting Local Consistency Algorithms over Floating-Point Numbers. - Mohammed Saïd Belaid; Claude Michel; Michel Rueher (CP, 2012)

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. - Olivier Ponsini; Claude Michel; Michel Rueher (CP, 2012)

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. - Olivier Ponsini; Claude Michel; Michel Rueher (ICST, 2012)

Improved filtering for weighted circuit constraints. - Pascal Benchimol; Willem Jan van Hoeve; Jean-Charles Régin; Louis-Martin Rousseau; Michel Rueher (Constraints An Int. J., 2012)

Generating test cases inside suspicious intervals for floating-point number programs. - Hélène Collavizza; Claude Michel; Olivier Ponsini; Michel Rueher (CSTVA, 2014)

Une approche CSP pour l'aide à la localisation d'erreurs. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (CoRR, 2014)

Constraint-based BMC: a backjumping strategy. - Hélène Collavizza; Nguyen Le Vinh; Olivier Ponsini; Michel Rueher; Antoine Rollet (Int. J. Softw. Tools Technol. Transf., 2014)

LocFaults: a new flow-driven and constraint-based error localization approach. - Mohammed Bekkouche; Hélène Collavizza; Michel Rueher (SAC, 2015)

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 (CoRR, 2015)

Searching input values hitting suspicious Intervals in programs with floating-point operations. - Hélène Collavizza; Claude Michel; Michel Rueher (CoRR, 2015)

Searching Critical Values for Floating-Point Programs. - Hélène Collavizza; Claude Michel; Michel Rueher (ICTSS, 2016)

Verifying floating-point programs with constraint programming and abstract interpretation techniques. - Olivier Ponsini; Claude Michel; Michel Rueher (Autom. Softw. Eng., 2016)

What's Hot in Constraint Programming. - Laurent D. Michel; Michel Rueher (AAAI, 2017)

Search Strategies for Floating Point Constraint Systems. - Heytem Zitoun; Claude Michel; Michel Rueher; Laurent Michel (CP, 2017)

Introduction to the fast track issue for CP 2016. - Willem-Jan van Hoeve; Michel Rueher (Constraints An Int. J., 2017)

Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations. - Claude Michel; Michel Rueher (AITest, 2019)

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. - Rémy Garcia; Claude Michel; Michel Rueher (CP, 2020)

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. - Rémy Garcia; Claude Michel; Michel Rueher (VSTTE, 2020)

An efficient constraint based framework forhandling floating point SMT problems. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)

Bringing freedom in variable choice when searching counter-examples in floating point programs. - Heytem Zitoun; Claude Michel; Laurent Michel; Michel Rueher (CoRR, 2020)