Publications
2013
- An hybrid approach to solve constraints over the floating-point numbers.,
Claude Michel, Mohammed Said Belaid, Olivier Ponsini, Michel Rueher.
In 13th INFORMS Computing Society Conference (ICS), Santa Fe, New Mexico, USA, 6-8th January 2013.
- 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
- 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
- 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.
- 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.
- 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
- 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
- Boosting local consistency algorithms over floating-point numbers ,
Said Mohammed Belaid, Claude Michel and Michel Rueher.
CP 2012 , LNCS 7514, pp. 127-140, 2012
- Cardinality reasoning for bin-packing constraint. Application to a tank allocation problem,
P. Schaus, J-C. Régin, R. Van Schaeren, W. Dullaert, B. Raa
in CP 2012, Québec, Canada, 2012
- An O(n logn) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum
of Variables and a Constant, and its Generalization,
N. Beldiceanu, M. Carlsson, T. Petit, J-C. Régin
in ECAI 2012, Montpellier, France, 2012
- Constraint-Based BMC: A Backjumping Strategy ,
Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet .
in International Journal on Software Tools for Technology Transfer (STTT Journal,2012), DOI: 10.1007/s10009-012-0258-6
- The Flasher Manager Benchmarks,
Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet .
HAL : hal-00720921
2011
- Global Constraints: a survey,
J-C. Régin
in "Hybrid Optimization", Springer, M. Milano and P. Van Hentenryck editors, p.63--134, 2011.
- The Ordered Distribute Constraint,
T. Petit, J-C. Régin
International Journal on Artificial Intelligence Tools 20(4), pp. 617-637, 2011
- Solving Problems with CP: Four Common Pitfalls to Avoid.,
J-C. Régin
CP 2011, Padova, Italy, pp. 3-11, 2011
- A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint,
T. Petit, J-C. Régin, and N. Beldiceanu
CP 2011, Padova, Italy, pp. 721-728, 2011
- Using Hard Constraints for Representing Soft Constraints,
J-C. Régin
CP-AI-OR'11, Berlin, Germany, pp. 176-189, 2011
- The Objective Sum Constraint ,
J-C. Régin, and T. Petit
CP-AI-OR'11, Berlin, Germany, pp. 190-195, 2011
- Improving the Expressiveness of Table Constraints,
J-C. Régin
CP'11, proceedings workshop ModRef'11, Padova, Italy, Sept. 2011.
- Discussion about Constraint Programming Bin Packing Models ,
J-C. Régin and M. Rezgui
AAAI-11, proceedings workshop AIDC'11, San Francisco, USA, Aug 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
- Constraint-Based Search Strategies For Bounded Program Verification,
Michel Rueher
Seminar at NII (National Institute of Informatics, Tokyo), 25 January 2011
- 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
- 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
- Refining Abstract Interpretation-based Approximations with a Floating-point Constraint Solver ,
Olivier Ponsini, Claude Michel and Michel Rueher
NSV-2011
- Refining Abstract Interpretation-based Approximations with Constraint Solvers ,
Olivier Ponsini, Claude Michel and Michel Rueher
HAL : hal-00623274, Research report , September 2011
- Aligning component upgrades.,
Roberto Di Cosmo, Olivier Lhomme, Claude Michel.
In Second Workshop on Logics for Component Configuration (LoCoCo'11), volume 65 of EPTCS, pages 1-11, Perugia, Italy,
12th September 2011.
- Constraint-Based BMC: A Backjumping Strategy ,
Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet
September 2011
- Using CSP refutation capabilities to refine AI-based Approximations,
Constraint Programming over Continuous Domains (tutorial),,
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"
2010
- The Ordered Distribute Constraint,
Thierry Petit, Jean-Charles Régin
ICTAI 2010 pp. 431-438, 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.
- Apports et Potentiels de la Programmation par Contraintes en Optimisation Globale sous Contraintes ,
Michel Rueher
JFPC 2010, Exposé invité
- 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
- 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
- Capabilities and limits of CP in Global Optimization ,
Michel Rueher
CPAIOR'10, Workshop "Hybrid Methods for Nonlinear Combinatorial Problems", Invited talk
- 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
- 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.
- Handling software upgradeability problems with MILP solvers ,
Claude Michel, Michel Rueher
LoCoCo2010, Electronic Proceedings in Theoretical Computer Science, DOI: 10.4204/EPTCS.29
- 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,
- 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
- Improving the floating point addition and subtraction constraints.,
Bruno Marre, Claude Michel.
In Proceedings of the 16th international conference on Principles and practice of constraint programming (CP'10), LNCS 6308, pages 360-367, St. Andrews, Scotland, 6-10th September 2010.
- 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
2009
- Scalable Load Balancing in Nurse to Patient Assignment Problems,
P. Schaus, P. Van Hentenryck, J-C. Régin
CP-AI-OR'09, pp. 248-262, 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), kobe, Japan, may 2009.
- 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.
- Efficient Handling of Universally Quantified Inequalities,
Alexandre Goldsztejn, Claude Michel, Michel Rueher,
Constraints Journal, 10(1):47-65
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
- 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.
- 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, Sydney, Autralia, 2008.
- 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, Sydney, Australia, 2008.
- Efficient Handling of Universally Quantified Inequalities,
Alexandre Goldsztejn, Claude Michel, Michel Rueher,
Constraints Journal, 10(1):47-65, July, 2008.
- 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).
- 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.
- 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), Fortaleza, Brazil, march 2008.
2007
- Exploring different constraint-based modelings for program verification,
Hélène Collavizza, Michel Rueher,
13th International Conference, CP 2007, LNCS 4741, Providence, September 25-29, 2007.
- Interval analysis, constraint propagation and applications,
Yahia Lebbah Christophe Jermann and Dhamila Sam-Haroud,
In Trends in Constraint Programming, Ed. F. Benhamou, N.Jussien, B. O'Sullivan, ISTE Ltd and ISTE USA, pages 219222, 2007.
- Constraint in software testing, verification and analysis,
Arnaud Gotlieb Benjamin Blanc and Claude Michel,
In Trends in Constraint Programming, Ed. F. Benhamou, N. Jussien, B. O'Sullivan, ISTE Ltd and ISTE USA, pages 333337, 2007.
- 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 Programmation par Contraintes, Rocquencourt, 2007.
- Using constraint techniques for a safe and fast implementation of optimality-based reduction,
Yahia Lebbah, Claude Michel, Michel Rueher,
Proceedings of the 2007 ACM symposium on Applied computing, Seoul, Korea, 2007.
- An Efficient and Safe Framework for Solving Optimization Problems,
Yahia Lebbah, Claude Michel, Michel Rueher,
Journal of Computational and Applied Mathematics, vol. 199, issue 2, pp. 372-377, 2007.
- The graphical krivine machine,
Sylvain Lippi,
in Higher Order and Symbolic Computation, to appear.
- Universal boolean system,
D. Béchet and S. Lippi,
In accepted for the Electronic Notes in Theoretical Computer Science proceedings of TERMGRAPH 2007, International Workshop
on Computing with Terms and Graphs, Braga, Portugal, 2007.
- Hard combinators,
D. Béchet and S. Lippi,
2007.
2006
- CSTVA06 : Workshop on Constraints in Software Testing, Verication and Analysis,
B. Blanc, A. Gotlieb, and C. Michel, editors,
Nantes, France, sep 2006.
- The V3F Project,
Benjamin Blanc, Fabrice Bouquet, Arnaud Gotlieb, Bertrand Jeannet, Thierry Jéron, Bruno Legeard, Bruno Marre,
Claude Michel, Michel Rueher,
Proceedings of CSTVA 06.
- A note on some multivariate relaxations in global optimization,
R. Baroudi and Y. Lebbah,
In CP 2006, Nantes, France, sep 2006.
- Une synthèse vocale destinée aux décients visuels,
H. Collavizza and J.-P. Stromboni,
In Actes des XXVIèmes Journées d'études sur la parole, Dinard, France, juin 2006.
- Exploration of the Capabilities of Constraint Programming for Software Verification,
Hélène Collavizza and Michel Rueher,
Proceedings of TACAS 2006, pp. 182-196, LNCS 3920, Vienna, April 2006.
- Symbolic execution of floating-point computations,
Bernard Botella, Arnaud Gotlieb, Claude Michel,
Software Testing, Verification and Reliability, Volume 16, Issue 2, Pages 97 - 121, 2006.
- Editorial : track reliable computations and their applications,
M. Ceberio, V. Kreinovich, and M. Rueher,
In SAC-RCA 2006, pages 16331634, 2006.
- A branch and prune algorithm for the approximation of non-linear ae-solution sets,
A. Goldsztejn,
In SAC '06 : Proceedings of the 2006 ACM symposium on Applied computing, pages 1650-1654, 2006.
- Inner approximation of distance constraints with existential quantication of parameters,
C. Grandon and A. Goldsztejn,
In SAC '06 : Proceedings of the 2006 ACM symposium on Applied computing, pages 1660-1661, 2006.
- Quantifier elimination versus generalized interval evaluation : a comparison on a specic class of quantified constraint,
A. Goldsztejn,
In Proc of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
(IPMU 2006), Paris, France, jul 2006.
- Inner and Outer Approximations of Existentially Quantied Equality Constraints,
A. Goldsztejn and L. Jaulin,
In Proceedings of the Twelfth International Conference on Principles
and Practice of Constraint Programming (CP 2006), volume 4204/2006 of LNCS, pages
198212. Springer Berlin / Heidelberg, sep 2006.
- Reliable inner approximation of the solution set to initial value problems with uncertain initial value,
A. Goldsztejn and W. Hayes,
In 12th GAMM IMACS International Symposium
on Scientic Computing, Computer Arithmetic and Validated Numerics (SCAN 2006),
Duisburg, Germany, sep 2006.
- On the approximation of linear AE-solution sets,
A. Goldsztejn and G. Chabert,
In 12th GAMM IMACS International Symposion on Scientic Computing, Computer Arithmetic
and Validated Numerics (SCAN 2006), Duisburg, Germany, sep 2006.
- A generalized interval LU decomposition for the solution of interval linear systems,
A. Goldsztejn and G. Chabert,
In Proceedings of the 6th International Conference on Numerical
Methods and Applications, (NM&A 2006), Borovets, Bulgaria, aug 2006.
2005
- Modal intervals revisited: a mean-value extension to generalized intervals,
Alexandre Goldsztejn, David Daney, Michel Rueher, Patrick Taillibert,
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).
- A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner
and Outer Estimation of AE-solution Set,,
Alexandre Goldsztejn,
Reliable Computing (Kluwer Academic Publishers), volume 11(6), pages 443-478, 2005.
- Mind The Gaps: A New Splitting Strategy For Consistency Techniques,
Heikel Batnini, Claude Michel, Michel Rueher,
Proc. of Eleventh International Conference on Principles and Practice of Constraint Programming (CP2005), pp. 77-91,
LNCS 3709, Sitges, 2005.
- Solving continuous constraint systems,
Michel Rueher,
Invited Talk,
Proc. of 8th International Conference on Computer Graphics and Artificial Intelligence (3IA'2005).
- An Efficient and Safe Framework for Solving Optimization Problems,
Yahia Lebbah, Claude Michel, Michel Rueher,
Selected papers of SCAN'04,
to appear in a special issue of Journal of Computational and Applied Mathematics.
- Une Nouvelle Stratégie de Recherche pour les CSPs Continus,
Heikel Batnini, Michel Rueher, Claude Michel,
JFPC'05, Premières Journées Francophones de Programmation par Contraintes, Lens, 8-10 juin 2005.
- Inequality-sum : a global constraint capturing the objective function,
Jean-Charles Régin, Michel Rueher,
Accepted for publication in the RAIRO Operations Research.
- 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(5), pp. 2076-2097.
- Efficient pruning technique based on linear relaxations,
Yahia Lebbah, Claude Michel, Michel Rueher,
Selected papers of COCOS'03, LNCS 3478, 2005.
- A rigorous global filtering algorithm for quadratic constraints,
Yahia Lebbah, Claude Michel, Michel Rueher,
CONSTRAINTS Journal, 10(1), pp.47-65, January 2005.
2004
- An Efficient and Safe Framework for Solving Optimisation Problems,
Yahia Lebbah, Claude Michel, Michel Rueher,
SCAN 2004, 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic,
and Validated Numerics, October 4-8, 2004, Fukuoka, Japan.
- Filtrage global pour les contraintes de distance euclidienne,
Heikel Batnini, Michel Rueher,
Actes JNPC'04 (10eme journées Nationales pour la résolution de Problemes NP-Complets).
- 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.
- Décomposition sémantique pour la résolution de systèmes de contraintes de distance,
Heikel Batnini, Michel Rueher,
JEDAI, Volume 2 (2004): Résolution Pratique des Problèmes NP-Complets (1).
2003
- Efficient Pruning Technique Based on Linear Relaxations,
Yahia Lebbah, Claude Michel, Michel Rueher,
2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction, (Cocos'03)
Lausanne, Switzerland, 18-21 November 2003, COCOS 2003:1-14.
- Verified Projection of the Solution Set of Parametric Real Systems,,
Alexandre Goldsztejn,
2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction, (Cocos'03)
Lausanne, Switzerland, 18-21 November 2003, COCOS 2003:1-14.
- 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 .
- Filtrage local par décomposition de CSP continus,
Heikel Batnini, Michel Rueher,
Actes JNPC'03 (9eme Journées Nationales pour la résolution de Problemes NP-Complets),
LaRIA, Université de Picardie, pp 39-52.
- 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.
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.
- A Global filtering algorithm for handling systems of quadratic equations and inequations,
Yahia Lebbah, Michel Rueher, Claude Michel,
CP'2002, Eighth International Conference on Principles and Practice of Constraint Programming,
Sept. 7 - 13, 2002, Cornell University, Ithaca, NY, USA.
- Exact projection functions for floating point number constraints,
Claude Michel,
Seventh international symposium on Artificial Intelligence and Mathematics
7th AIMA, 11p, Fort Lauderdale, Floride (US), Janvier 2002.
2001
- Solving constraints over floating-point numbers,
Claude Michel, Michel Rueher, Yahia 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.
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.
- A Constraint Programming Approach for Solving Rigid Geometric Systems,
Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel 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.
- 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.
- A CLP Framework for Computing Structural Test Data,
Arnaud Gotlieb, Bernard Botella, Michel Rueher,
Constraints Stream, First International Conference on Computational Logic
(CL2000), Imperial College, London, UK, 24th to 28th July, 2000.