Publications (since 1995)

2010
  1. Capabilities of Constraint Programming in Safe Global Optimization
    Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
    Special issue of Reliable Computing (to appear) pdf file
  2. A Constraint-Programming Framework for Bounded Program Verification.
    Hélène Collavizza, Michel Rueher, and Pascal Van Hentenryck. Constraints Journal (to appear)
    pdf file

2009
  1. 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
  2. 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

2008
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Efficient Handling of Universally Quantified Inequalities
    Alexandre Goldsztejn, Claude Michel, Michel Rueher
    Constraints Journal, 10(1):47-65, pdf file
  7. 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
  8. 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
  9. 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
  1. Exploring different constraint-based modelings for program verification
    Hélène Collavizza and Michel Rueher
    Proceedings of 13th International Conference on Principles and Practice (CP 07) , pdf file
  2. 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
  3. 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
  1. 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.
  2. 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 , ps file
  3. Exploration of the capabilities of Constraint Programming Techniques for Software Verification
    Hélène Collavizza and Michel Rueher
    Proceedings of TACAS 06 , pdf file , postscript file
2005
  1. 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
  2. Mind The Gaps: A New Splitting Strategy For Consistency Techniques
    H. Batnini, M.Rueher, C. Michel
    Proc. of Eleventh International Conference on Principles and Practice of Constraint Programming (CP2005) , pdf file , postscript file
  3. Solving continuous constraint systems
    Michel Rueher
    Invited Talk, Proc. of 8th International Conference on Computer Graphics and Artificial Intelligence (3IA'2005) , pdf file , postscript file .
  4. 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
  5. Inequality-sum : a global constraint capturing the objective function
    Jean-Charles Régin , Michel Rueher
    RAIRO Operations Research. v39. 123-139, 2005 .
    , postscript file , pdf file .
  6. Efficient pruning technique based on linear relaxations
    Yahia Lebbah,Claude Michel, Michel Rueher
    Selected papers of COCOS'03, 2005 .
    , postscript file , pdf file .
  7. A rigorous global filtering algorithm for quadratic constraints
    Yahia Lebbah,Claude Michel, Michel Rueher
    CONSTRAINTS Journal, 10(1),pp.47-65 ,January 2005 .
    , postscript file , pdf file .
2004
  1. 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
    , postscript file , pdf file .
  2. 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 .
  3. 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
  4. 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
  5. 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
  1. 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 .
  2. 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. .
    , postscript file , pdf file .
  3. 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. .
    , postscript file, pdf file .
2002
  1. 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 .
    , postscript file, pdf file .
  2. 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 .
    , postscript file, pdf file .
2001
  1. 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. .
    , postscript file, pdf file .
2000
  1. 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. .
    , postscript file , pdf file.
  2. 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 .
    , postscript file, pdf file .
  3. 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.
    , postscript file, pdf file .
  4. 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 .
    , postscript file, y pdf file .
1999
  1. Comparing Partial Consistencies
    H.Collavizza, F.Delobel, M. Rueher
    Reliable Computing , Kluwer Academic Publishers, Vol.5(3), pp. 213-228, 1999.
    , postscript file, pdf file .
  2. Extending consistent domains of numeric CSP
    H.Collavizza, F.Delobel, M. Rueher
    IJCAI-99, Stockholm, Sweden, 31 July - 6 August 1999 .
    , postscript file, pdf file
1998
  1. 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,.
    , postscript file, postscript file .
  2. 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.
    postscript file .
  3. 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)
    , postscript file, pdf file .
1997
  1. Concurrent Cooperating Solvers over the Reals
    M. Rueher and C. Solnon
    Reliable Computing , Kluwer Academic Publishers, Vol.3:3, pp. 325-333, 1997.
    , postscript file, pdf.file.
  2. 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
    postscript file .
1996
  1. Boosting the Interval Narrowing Algorithm
    O. Lhomme, A. Gotlieb, M. Rueher and P. Taillibert
    Proc. JICSLP'96 , MIT Press, pp. 378-392, September 1996
    postscript file .
  2. 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
    postscript file .
1995
  1. 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
    postscript file .
  2. 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
    postscript file .