Publications & Talks
2020
-
An efficient constraint based framework forhandling floating point
SMT problems
Heytem Zitoun, Claude Michel, Laurent Michel and Michel Rueher
electronic edition -- arxiv.org (open access) ,
February, 2020 , Paper
-
Bringing freedom in variable choice when searching counter-examples in floating point programs
Heytem Zitoun, Claude Michel, Laurent Michel and Michel Rueher
electronic edition -- arxiv.org (open access) ,
February, 2020 , Papier
-
Rigorous enclosure of round-off errors in floating-point computations
Rémy Garcia, Claude Michel and Michel Rueher
NSV 20, 13th International Workshop on Numerical Software Verification 2020
collocated with CAV, 20-21 July 2020, Los Angeles, CA,
Paper
-
A branch-and-bound algorithm to rigorously enclose the round-off
errors
Rémy Garcia, Claude Michel and Michel Rueher
26th International Conference on
Principles and Practice of Constraint Programming ,
September, 2020, Louvain-la-Neuve, Belgium,
Paper
2019
-
Dedicated search strategies for identifying critical counterexamples on programs with floating point computations
Michel Rueher and Claude Michel
IEEE Joint International AiTest2019 ,
April, 4 - 9, 2019, San Francisco East Bay, California, USA,, Papier
2018
-
Stratégies de recherche de sélection de sous-domaines pour les systèmes de contraintes sur les flottants.
Heytem Zitoun, Claude Michel, Michel Rueher et Laurent Michel
Actes JFPC'18 pp. 147-157
, Papier
-
Vers un système de contraintes pour l'analyse des erreurs de précision des calculs sur les flottants.
Remy Garcia, Claude Michel, Marie Pelleau et Michel Rueher
Actes JFPC'18 pp. 55-62
, Paper
-
Sub-domain Selection Strategies For Floating Point Constraint Systems
Heytem Zitoun, Claude Michel, Michel Rueher et Laurent Michel
CP 2018 Doctoral Program ,
Paper
-
Towards a constraint system for round-off error analysis of floating-point computation
Remy Garcia, Claude Michel, Marie Pelleau et Michel Rueher
CP 2018 Doctoral Program ,
Paper
2017
-
Introduction to the fast track issue for CP 2016
Willem-Jan van Hoeve and Michel Rueher
M. Constraints (2017) 22:1. pages 1-2, ISSN: 1383-7133 (Print) 1572-9354 (Online)
-
What's Hot in Constraint Programming
Laurent Michel, Michel Rueher.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. AAAI Press 2017, pp. 5073-5075.
Slides ,
paper
-
Stratégies de recherche pour les systèmes de contraintes sur les flottants.
Heytem Zitoun, Claude Michel, Michel Rueher and Laurent Michel
13ièmes Journées Francophones de Programmation par contraintes.
-
Search strategies for floating point constraint systems.
Heytem Zitoun, Claude Michel, Michel Rueher and Laurent Michel.
Proc. 23rd International Conference, CP 2017, Melbourne,
Australia, 2017, LNCS 10416,pp. 7-722 (Online) ,
paper
-
Searching Critical Counter Examples.
Michel Rueher
Invited talk at
The 2017 Edition - Workshop on Constraint Solvers in Testing
verification and Analysis (CSTVA), 28 September 2017, Melbourne.
Slides
2016
-
Identifying suspicious values in programs with floating-point numbers
Olivier Ponsini, Claude Michel and Michel Rueher
Automated
Software Engineering (2016) 23:191-217,
hal-00860681, v2
-
Principles and Practice of Constraint Programming
Rueher, Michel (Editor)
22nd International Conference, CP 2016, Toulouse, France,
September 5-9, 2016
Proceedings
-
Searching critical values for floating-point programs.
Hélène Collavizza, Claude Michel, Michel Rueher.
ICTSS 2016 , Graz, Austria, October 17-19, 2016, Lecture Notes in Computer Science, Vol. 9976, pp 209-217, 2016,
hal-01224009
,
Slides ,
paper
2015
-
Quelques apports de la programmation par contraintes pour la vérification de programmes
Michel Rueher.
Colloque sur l'Optimisation et les Systèmes d'Information
COSI'2015, 1 au 3 Juin 2015, Oran, Algérie
-
On the capabilities of CP for numerical program analysis.
Michel Rueher.
CPAIOR 2015: Master Class "Constraint Programming and Verification",Barcelona, Mai 2015,
Slides
-
Constraint-Based Error Localization.
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
ICS 2015: INFORMS Computing Society Conference, January 2015,
Slides
-
A new flow-driven and constraint-based error localization approach.
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
ACM SAC'15, SVT track, Apr 2015, Salamanca, Spain.
HAL : hal-01094227
2014
-
Une approche CSP pour l'aide à la localisation d'erreurs.
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
JFPC 2014(Dixièmes Journées Francophones de Programmation par Contraintes).
HAL : hal-00957255
-
Generating Test Cases inside Suspicious Intervals for Floating-Point Number Program
Hélène Collavizza, Claude Michel, Olivier Ponsini and Michel Rueher.
Proc. of the 6th Int. Workshop on Constraints in Software Testing, Verification, and Analysis
CSTVA'14,
hal-01099503, v1 ,
slides
- On Suspicious Intervals for Floating-Point Number Programs.
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher, Mohammed Said Belaid
Dagstuhl Seminar 14351: Decision Procedures and Abstract Interpretation ,
pdf file
-
Constraint-Based BMC: A Backjumping Strategy
Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet
.
in STTT Journal (International Journal on Software Tools for Technology Transfer ), Vol. 16:1,2014, pp. 103-121,
pdf file
2013
-
Algorithms For Error Localization On Numeric Constraints
Michel Rueher
Seminar at NII (National Institute of Informatics, Tokyo), 6 November 2013,
pdf file
-
Verifying floating-point programs with constraint programming and abstract interpretation techniques
3) On Suspicious Intervals for Floating-Point Number Programs. Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation".
Olivier Ponsini, Claude Michel and Michel Rueher
HAL : hal-00860681, September 2013, 27 pages
-
Identifying suspicious values in programs with floating-point numbers
Olivier Ponsini, Claude Michel and Michel Rueher
Dagstuhl Seminar 13021, Symbolic Methods in Testing,
January 2013
Dagstuhl1321
2012
-
Combining Constraint Programming and Abstract Interpretation
for Value Analysis of Floating-point Programs
Olivier Ponsini, Claude Michel and Michel Rueher.
4th Workshop on Constraints in Software Testing, Verification, and Analysis
CSTVA'12,
pdf file
-
Un nouvel algorithme de consistance locale sur les
nombres flottants
Said Mohammed Belaid, Claude Michel and Michel Rueher.
Proc. of JFPC 2012 , pp. 211-219,
pdf file
-
Tutorial - CP by Systematic Search Over Real-Number and Floating-Point Domains.
Michel Rueher.
CP meets CAV, (invitational seminar for the CP and CAV communities to identify synergetic opportunities as well as challenges in program verification), Turunç, Turkey, Monday 25 June - Friday 29 June 2012.
pdf file
-
On Search Strategies for Constraint-Based Bounded Model Checking.
Michel Rueher.
CP meets CAV, (invitational seminar for the CP and CAV communities to identify synergetic opportunities as well as challenges in program verification), Turunç, Turkey, Monday 25 June - Friday 29 June 2012.
pdf file
-
Improved Filtering for Weighted Circuit Constraints.
Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher.
Constraint Journal, (2012) 17:205-233
pdf file
-
Refining abstract interpretation based value analysis with constraint programming techniques
Olivier Ponsini, Claude Michel and Michel Rueher.
CP 2012 , LNCS 7514, pp. 593-607, 2012.
hal-01099512
-
Boosting local consistency algorithms over floating-point numbers
Said Mohammed Belaid, Claude Michel and Michel Rueher.
CP 2012 , LNCS 7514, pp. 127-140, 2012.
hal-01099514
-
The Flasher Manager Benchmarks
Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet
.
HAL : hal-00720921
2011
-
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples
Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
26th ACM Symposium On Applied Computing, Software Verification and Testing Track,
pdf file ,
Slides file
-
Constraint-Based Search Strategies For Bounded Program Verification
Michel Rueher
Seminar at NII (National Institute of Informatics, Tokyo), 25 January 2011,
pdf file
-
Capabilities of Constraint Programming in Safe Global Optimization
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher.
Special issue of Reliable Computing , 2011, 15:47-59
pdf file
-
Utilisation de solveurs de contraintes pour réduire les approximations produites par interprétation abstraite
Olivier Ponsini, Claude Michel and Michel Rueher
JFPC 2011 , 2011, 261-270
pdf file
-
Refining Abstract Interpretation-based Approximations with a
Floating-point Constraint Solver
Olivier Ponsini, Claude Michel and Michel Rueher
NSV-2011 ,
pdf file
-
Refining Abstract Interpretation-based Approximations with
Constraint Solvers
Olivier Ponsini, Claude Michel and Michel Rueher
HAL : hal-00623274, Research report , September 2011
-
Constraint-Based BMC: A Backjumping Strategy
Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet
HAL :http://hal.archives-ouvertes.fr/hal-00635417, September 2011 (revised march 2012)
-
Using CSP refutation capabilities to refine AI-based Approximations,
Slides
Constraint Programming over Continuous Domains (tutorial), Slides
Michel Rueher
Dagstuhl Seminar 11371: "Uncertainty modeling and analysis with intervals: Foundations,
tools, applications", September, 2011
-
Application of Hybrid Constraint-based Methods in Program Verification,
Olivier Ponsini, Claude Michel and Michel Rueher
INFORMS 2011 annal meeting
Track "Hybrid Methods III: Applications", Slides
2010
-
A Constraint-Programming Framework for Bounded Program Verification.
Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck.
Constraints Journal, Springer Verlag, vol. 15(2):238-264, 2010.
hal-01099509
-
Apports et Potentiels de la
Programmation par Contraintes en Optimisation Globale sous
Contraintes
Michel Rueher
JFPC 2010, Exposé invité
Slides
-
Résolution de contraintes sur les nombres à virgule
flottante par une approximation sur les nombres réels
Mohammed Said Belaid, Claude Michel, Michel Rueher
Proc. JFPC 2010, pp 51-60, http://jfpc2010.greyc.fr/actesjfpc2010.pdf
pdf
file
-
Stratégies Dynamiques pour la Géenération de
Contre-exemples
Le Vinh Nguyen, Hélène Collavizza, Michel Rueher,
Samuel Devulder, Thierry Gueguen
Proc. JFPC 2010, pp. 207-216, http://jfpc2010.greyc.fr/actesjfpc2010.pdf
pdf
file
-
Capabilities and limits of CP in Global
Optimization
Michel Rueher
CPAIOR'10, Workshop "Hybrid Methods for Nonlinear Combinatorial Problems", Invited talk
Slides
-
The Weighted Spanning Tree Constraint
Revisited
Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, and
Willem-Jan van Hoeve
CPAIOR 2010, LNCS 6140, pp. 40-44,
pdf file
-
Improving the Held and Karp Approach with
Constraint Programming
Pascal Benchimol, Jean-Charles Régin,
Louis-Martin Rousseau, Michel Rueher, and Willem-Jan van Hoeve
Willem-Jan van Hoeve
CPAIOR 2010, LNCS 6140, pp.287-291,
pdf file
-
Handling software upgradeability problems with MILP
solvers
Claude Michel, Michel Rueher
LoCoCo2010, Electronic Proceedings in Theoretical Computer Science, DOI: 10.4204/EPTCS.29
pdf file
-
Automatic Verification of Loop Invariants
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
ICSM 2010 ERA track 26th IEEE International Conference on
Software Maintenance, pdf file
HAL : hal-00495675, version1
Extended version
-
A Safe and Flexible CP-based Approach for
Velocity Tuning Problems
Michael Soulignac, Michel Rueher, and Patrick Taillibert
Proc. CP 2010, LNCS 6308:628-642, DOI: 10.1007/978-3-642-15396-9
pdf file
- Approximating floating-point operations to verify
numerical programs.
Mohammed Said BELAID, Claude MICHEL, Michel RUEHER.
SCAN 2010, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
ENS de Lyon, France, September 27-30, 2010
pdf file
2009
-
Time-minimal Path Planning in Dynamic Current Fields
Michaël Soulignac, Patrick Taillibert, Michel Rueher
Proceedings of ICRA'09 (IEEE International Conference on Robotics and Automation)
,
pdf file
-
Constraint-Based Software Testing
Sebastian Bardin, Bernard Botella, Frédéric Dadeau, Florence Charreteur, Arnaud Gotlieb, Bruno Marre, Claude Michel, Michel Rueher, Nicky Williams,
Journées nationales du GDR GPL , Toulouse, 28 - 30 janvier 2009.
pdf file
-
Efficient Handling of Universally Quantified Inequalities
Alexandre Goldsztejn, Claude Michel, Michel Rueher
Constraints Journal, 10(1):47-65,
pdf file
2008
-
Constraint Programming and Safe Global Optimization
Michel Rueher
SCAN'2008, 13th GAMM - IMACS
Int. Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, El Paso, Texas, USA, September 2008
Invited plenary talk,
Slides
-
Capabilities of Constraint Programming in Rigorous Global Optimization
Michel Rueher, Alexandre Goldsztejn, Yahia Lebbah and Claude Michel
NOLTA 08 (International Symposium on Nonlinear Theory and its Applications), Budapest, Republic of Hungary, September 2008.
Invited Talk, Special Session: Verified Bounds in Optimization Problems,
pdf
file
-
A Constraint-Programming Framework for Bounded Program Verification.
Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck.
Proc. of CP2008 , LNCS 5202,
pp. 327-341,2008, Springer-Verlag
pdf
file
-
Comparison between CPBPV with ESC/Java, CBMC, Blast, EUREKA and Why.
Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck.
Technical report
, pdf
file
-
Revisiting the upper bounding process in a safe Branch and Bound algorithm
Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Proc. of CP2008 , LNCS 5202,
pp. 598-602,2008, Springer-Verlag
,
pdf
file
Extended Version :
pdf file
-
Adapting the Wavefront Expansion in Presence of Strong Currents
Michaël Soulignac, Patrick Taillibert, Michel Rueher
Proceedings of ICRA'08 (IEEE International Conference on Robotics and Automation)
,
pdf file
-
Path Planning for UAVs in Time-Varying Winds,
Michaël Soulignac, Patrick Taillibert, Michel Rueher
27th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group
,
pdf file
-
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
Alexandre Goldsztejn, Claude Michel, Michel Rueher
Proceedings of SAC'08 (The 23nd Annual ACM Symposium on Applied Computing)
,
pdf file
2007
-
Exploring different constraint-based modelings for program verification
Hélène Collavizza and Michel Rueher
Proceedings
of CP 07 13th
International Conference on Principles and
Practice
,
pdf file
-
Using constraint techniques for a safe and fast implementation of optimality-based reduction
Yahia Lebbah, Claude Michel, Michel Rueher
Proceedings of SAC'07 (The 22nd Annual ACM Symposium on Applied Computing)
,
pdf file
-
An Efficient and Safe Framework for Solving Optimization Problems
Yahia Lebbah,Claude Michel, Michel Rueher
Journal of Computational and Applied Mathematics 199 (2007) 372-377,
pdf file
.
2006
-
Toward a rigorous and efficient global optimizer I
Michel Rueher
Invited Talk,
GICOLAG (Global Optimization - Integrating Convexity, Optimization,Logic Programming, and Computational Algebraic Geometry),
Vienna, 2006, slides.
-
The V3F Project
Benjamin Blanc, Fabrice Bouquet, Arnaud Gotlieb,
Bertrand Jeannet, Thierry Jéron,
Bruno Legeard, Bruno Marre, Claude Michel, Michel Rueher
Proceedings of CSTVA0 06
,
pdf file
-
Exploration of the capabilities of Constraint Programming Techniques for Software Verification
Hélène Collavizza and Michel Rueher
Proceedings of TACAS 06
,
pdf file
-
Editorial: track reliable computations and their applications.
Martine Ceberio, Vladik Kreinovich and Michel Rueher
Proc. of the 21th ACM Symposium on Applied Computing SAC'2006, ACM
press, pp: 1633-1634
.
pdf file
.
2005
-
Modal intervals revisited: a mean-value extension to generalized intervals
Goldsztejn A., Daney D., Rueher M., Taillibert P.
Proceedings of First International Workshop on
Quantification in Constraint Programming
(held in conjunction with
11th International Conference on
Principles and Practice of Constraint Programming, CP-2005),
pdf file
-
Mind The Gaps: A New Splitting Strategy For Consistency
Techniques
H. Batnini, M.Rueher, C. Michel
Proc. of
CP2005 Eleventh International Conference on Principles and Practice of Constraint Programming
,
pdf file
-
Solving continuous constraint systems
Michel Rueher
Invited Talk, Proc. of 8th International Conference on Computer Graphics and Artificial Intelligence (3IA'2005)
,
pdf file
-
Une Nouvelle Stratégie de Recherche pour les CSPs Continus}
H. Batnini, M.Rueher, C. Michel
Actes JNPC'05 (11eme journées Nationales pour la résolution de Problemes NP-Complets)
,
pdf file
-
Inequality-sum : a global constraint capturing the objective function
Jean-Charles Régin , Michel Rueher
RAIRO Operations Research. v39. 123-139, 2005
.
pdf file
-
Efficient pruning technique based on linear relaxations
Yahia Lebbah,Claude Michel, Michel Rueher
Selected papers of COCOS'03, 2005
.
pdf file
-
A rigorous global filtering algorithm
for quadratic constraints
Yahia Lebbah,Claude Michel, Michel Rueher
CONSTRAINTS Journal, 10(1),pp.47-65 ,January 2005
.
pdf file
-
Reliable Computations and Their Applications (RCA) Track
A Technical Track at the 20th ACM Symposium on Applied Computing SAC'2005
Martine Ceberio, Vladik Kreinovich and Michel Rueher
Reliable Computing
Volume 11, Number 6, 499-503, DOI: 10.1007/s11155-005-0408-6
.
pdf file
2004
-
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 42(2):505-529, April. 2004
pdf file
-
An Efficient and Safe Framework for Handling Numerical Constraint Systems and for
Solving Optimization Problems
Michel Rueher
Invited Talk, Franco-Japanese Workshop on Constraint Programming,
Slides .
-
Filtrage global pour les contraintes de distance euclidienne
H. Batnini, M.Rueher
Actes JNPC'04 (10eme journées Nationales pour la résolution de Problemes NP-Complets)
,
pdf file
-
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Jean-Charles Régin ; Michel Rueher (Eds.)
First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings
Series : Lecture Notes in Computer Science , Vol. 3011
-
Décomposition sémantique pour la résolution
de systèmes de contraintes de distance
H. Batnini, M.Rueher
JEDAI, Volume 2 (2004): Résolution Pratique des Problèmes NP-Complets (1)
,
pdf file
2003
-
Safe embedding of the Simplex Algorithm in a CSP framework
Claude Michel, Yahia Lebbah, Michel Rueher
Proc. of 5th Int. Workshop on Integration of AI and OR techniques in Constraint
Programming for Combinatorial Optimisation Problems CPAIOR 2003, CRT, Université de Montréal.
pp. 210-220
.
, pdf file
-
Filtrage local par décomposition de CSP continus
H. Batnini, M.Rueher
Actes JNPC'03 (9eme Journées Nationales pour la résolution de Problemes NP-Complets), LaRIA, Université de Picardie, pp 39-52.
.
pdf file
-
Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires
Yahia Lebbah, Claude Michel, Michel Rueher
Actes JNPC'03 (9eme Journées Nationales pour la résolution de Problemes NP-Complets), LaRIA, Université de Picardie, pp 217-232.
.
pdf file
: . CP 2003: 964-965
-
Semantic Decomposition for Solving Distance Constraints
Heikel Batnini, Michel Rueher
CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland,
September 29 - October 3, 2003, LNCS 2833.
pdf file
2002
-
Génération de cas de test par contraintes
(Utilisation des contraintes pour la génération automatique de cas
de test structurels)
Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
TSI (Hermes) - No 21, 2002, pp. 1163-1187
.
pdf file
-
A Global filtering algorithm for handling systems of quadratic equations
and inequations
Y. Lebbah, M. Rueher, C. Michel
CP'2002, Eighth International Conference on Principles and Practice of Constraint Programming, Sept. 7 - 13, 2002, Cornell University, Ithaca, NY, USA
.
pdf file
2001
-
Solving constraints over floating-point numbers
C. Michel, M. Rueher, Y. Lebbah
CP'2001,Seventh International Conference on Principles and Practice of Constraint Programming, Nov 26 - Dec 1, 2001, Paphos, Cyprus, LNCS 2239 (Springer Verlag), pp. 524-538.
.
pdf file
2000
-
A global constraint combining a sum constraint and
difference constraints
Jean-Charles Régin , Michel Rueher
CP'2000,Sixth International Conference on
Principles and Practice of Constraint Programming,
September 18 - 22, 2000, Singapore, LNCS 1894 (Springer Verlag), pp. 384-395.
.
pdf file
-
A Constraint Programming Approach for Solving Rigid Geometric Systems
C. Jermann, G. Trombettoni, B. Neveu, M. Rueher
CP'2000,Sixth International Conference on
Principles and Practice of Constraint Programming,
September 18 - 22, 2000, Singapore, LNCS 1894 (Springer Verlag), pp. 233-248
.
pdf file
-
Résolution par contraintes de systèmes géométriques rigides
C. Jermann, G. Trombettoni, B. Neveu, M. Rueher
JNPC'2000, 6èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets
Marseille - France.
pdf file
-
A CLP Framework for Computing Structural Test Data
A. Gotlieb, B. Botella, M. Rueher
Constraints Stream, First International Conference on Computational Logic
(CL2000),Imperial College, London, UK, 24th to 28th July, 2000
.
pdf file
1999
- Comparing Partial Consistencies
H.Collavizza, F.Delobel, M. Rueher
Reliable Computing , Kluwer Academic
Publishers, Vol.5(3), pp. 213-228, 1999.
pdf file
- Extending consistent domains of numeric CSP
H.Collavizza, F.Delobel, M. Rueher
IJCAI-99, Stockholm, Sweden, 31 July - 6 August 1999 .
pdf
file,
ps
file,
1998
- A Note on Partial Consistencies over Continuous Domains
Solving Techniques
H.Collavizza, F.Delobel, M. Rueher
Proc. CP98 (Fourth International Conference on
Principles and Practice of Constraint Programming), Pisa, Italy, October 26-30, 1998, LNCS 1520 (Springer Verlag), pp. 147-161,.
pdf file
- Automatic Test Data Generation using Constraint
Solving Techniques
A. Gotlieb, B. Botella, M. Rueher
Proc. ISSTA 98 (Symposium on Software Testing and Analysis,
> Clearwater Beach, USA, March 2-4, 1998), ACM SIGSOFT, vol. 2, pp. 53-62, 1998.
pdf file
- Dynamic optimization of Interval Narrowing Algorithms
O. Lhomme, A. Gotlieb, M. Rueher
Journal of Logic Programming (Elsevier Science Inc). 37(1-3): 165-183 (1998)
pdf file
1997
- Concurrent Cooperating Solvers over the Reals
M. Rueher and C. Solnon
Reliable Computing , Kluwer Academic
Publishers, Vol.3:3, pp. 325-333, 1997.
pdf.file
- Application des techniques CSP au raisonnement sur
les intervalles
O. Lhomme and M. Rueher
Revue d'intelligence artificielle, Dunod,Vol. 11:3, pp. 283-311 , 1997
pdf file
1996
- Boosting the Interval Narrowing Algorithm
O. Lhomme, A. Gotlieb, M. Rueher and P. Taillibert
Proc. JICSLP'96 , MIT Press, pp. 378-392, September 1996
pdf
- Génération automatique de cas de test: une approche par la
Programmation Logique par Contraintes
A. Gotlieb, F.Calvet F. et M. Rueher
Actes des neuvièmes Journées Internationales de Génie Logiciel, 1996, GL'96 Paris La Défense, Revue Génie Logiciel N°42 Décembre 1996, p135-140
pdf
1995
- A distributed cooperating constraints solving
system
P. Marti and M. Rueher
em Special issue of IJAIT (International Journal on Artificial
Intelligence Tools), 4(1-2):93--113, June 1995
pdf
file
- An Architecture for Cooperating Constraint
Solvers on Reals
M. Rueher
In Andreas Podelski, editor , Constraint Programming: Basics and
Trends, LNCS 910, pages 231--250. Springer Verlag, March 1995
pdf
file
1992
- Inference of inheritance relationships from Prolog programs: a system developed with PrologIII
C. Solnon and M. Rueher
Programming Language Implementation and Logic Programming (PLIP),, LNCS 631/1992:489-49,
DOI:10.1007/3-540-55844-6_122, 1992.
pdf
file
1991
- VLP : A Visual Logic Programming Language
D. Ladret and M. Rueher
Journal of Visual Languages & Computing 2(2):163-188, June 1991. DOI: 10.1016/S1045-926X(05)80028-X
pdf
file