Français
CeV Constraints and Verification ...
  • Search strategies for floating point constraint systems.
    Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel.
    In 23rd International Conference on Principles and Practice of Constraint Programming, CP 2017, Melbourne, Autralia, 28--1st August 2017.
  • Introduction to the fast track issue for cp 2016.
    Willem-Jan van Hoeve, Michel Rueher.
    Constraints, 22(1):1--2, 2017.
  • What's hot in constraint programming.
    Laurent Michel, Michel Rueher.
    In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, pages 5073--5075, San Francisco, California, USA., 4--9th February 2017. AAAI Press.
    [ .pdf ]
  • Searching critical values for floating-point programs.
    Claude Michel Hélène Collavizza, Michel Rueher.
    In 28th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, LNCS 9976, pages 209--217, Graz, Austria, 17--19th October 2016.
    [ .pdf ]
  • On finding program input values maximizing the rounding-off error.
    Yahia Lebbah Mohammed Said Belaid, Claude Michel, Michel Rueher.
    In CP meets Verification 2016 Workshop, Toulouse, France, 5th September 2016.
    [ .pdf ]
  • Verifying floating-point programs with constraint programming and abstract interpretation techniques.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    Automated Software Engineering, 23(2):191--217, June 2016.
    [ .pdf ]
  • Un algorithme incrémental dirigée par les flots et basée sur les contraintes pour l’aide à la localisation d’erreurs.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    In Onzièmes Journées Francophones de Programmation par Contraintes (JFPC), Bordeaux, France, 22--24th June 2015.
    [ .pdf ]
  • A new flow-driven and constraint-based error localization approach.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    In Software Verification and Testing, ACM SAC-SVT, Salamanca, Spain, 13--17th April 2015.
  • Constraint-based error localization.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    In 2015 INFORMS Computing Society Conference (ICS), Richmond, Virginia, USA, 11--13th January 2015.
  • Une approche csp pour l'aide à la localisation d'erreurs.
    Mohammed Bekkouche, Hélène Collavizza, Michel Rueher.
    In Dixièmes Journées Francophones de Programmation par Contraintes (JFPC), Angers, France, 11--14th June 2014.
    [ http ]
  • Generating test cases inside suspicious intervals for floating-point number program.
    Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher.
    In 6th Workshop on Constraints in Software Testing, Verification, and Analysis, Hyderabad, India, 31st June 2014.
    [ .pdf ]
  • Constraint-based bmc: A backjumping strategy.
    Hélène Collavizza, Le Vinh Nguyen, Olivier Ponsini, Michel Rueher, Antoine Rollet.
    International Journal on Software Tools for Technology Transfer, 16(1):1433--2779, February 2014.
    [ .pdf ]
  • Identifying suspicious values in programs with floating-point numbers.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    In Dagstuhl Seminar 13021, Symbolic Methods in Testing,, January 2013.
    [ http | .pdf ]
  • 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.
  • Boosting local consistency algorithms over floating-point numbers.
    Mohammed Said Belaid, Claude Michel, Michel Rueher.
    In Proceedings of the 18th international conference on Principles and practice of constraint programming (CP'12), LNCS 7514, pages 127--140, Québec City, QC, Canada, 8--12th October 2012.
    [ .pdf ]
  • Refining abstract interpretation based value analysis with constraint programming techniques.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    In Proceedings of the 18th international conference on Principles and practice of constraint programming (CP'12), LNCS 7514, pages 593--607, Québec City, QC, Canada, 8--12th October 2012.
    [ .pdf ]
  • Improved filtering for weighted circuit constraints.
    Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher.
    Constraints, 17(3):205--233, July 2012.
    [ .pdf ]
  • Tutorial - cp by systematic search over real-number and floating-point domains.
    Michel Rueher.
    In CP meets CAV, Turunç, Turkey, 25--29th June 2012.
    [ .pdf ]
  • On search strategies for constraint-based bounded model checking.
    Michel Rueher.
    In CP meets CAV, Turunç, Turkey, 25--29th June 2012.
    [ .pdf ]
  • Combining constraint programming and abstract interpretation for value analysis of floating-point programs.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    In 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA'12), proceedings of IEEE ICST'12, pages 775--776, Montréal, QC, Canada, 21st April 2012.
    [ .pdf ]
  • Un nouvel algorithme de consistance locale sur les nombres flottants.
    Mohammed Said Belaid, Claude Michel, Michel Rueher.
    In 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), pages 211--219, Toulouse, France, 22--24th April 2012.
    [ .pdf ]
  • Application of hybrid constraint-based methods in program verification.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    In INFORMS 2011 Annual Meeting, track "Hybrid Methods III: Applications", Charlotte, North Carolina (US), 13--16th November 2011.
  • Using csp refutation capabilities to refine ai-based approximations.
    Michel Rueher.
    In Dagstuhl Seminar 11371, Uncertainty modeling and analysis with intervals: Foundations, tools, applications,, 11--16th September 2011.
    [ http | .pdf ]
  • Constraint programming over continuous domains (tutorial).
    Michel Rueher.
    In Dagstuhl Seminar 11371, Uncertainty modeling and analysis with intervals: Foundations, tools, applications,, 11--16th September 2011.
    [ http | .pdf ]
  • 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.
    [ .pdf ]
  • Capabilities of constraint programming in safe global optimization.
    Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher.
    Reliable Computing, 15(1):47--59, 2011.
    [ .pdf ]
  • Refining abstract interpretation-based approximations with a floating-point constraint solver.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    In Fourth International Workshop on Numerical Software Verification (NSV'11), Cliff Lodge, Snowbird, Utah (US), 14th July 2011.
    [ .pdf ]
  • Utilisation de solveurs de contraintes pour réduire les approximations produites par interprétation abstraite.
    Olivier Ponsini, Claude Michel, Michel Rueher.
    In 7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), AFPC, pages 261--270, Lyon (France), 8--10th June 2011.
    [ .pdf ]
  • Efficient constraint-based dynamic strategies for generating counterexamples.
    Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen.
    In 26th Symposium On Applied Computing, Tunghai University, Taichung, Taiwan, 21--24th March 2011.
    [ .pdf ]
  • Cpbpv: A constraint-programming framework for bounded program verification.
    Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck.
    Constraints, 15(2):238--264, 2010.
    [ .pdf ]
  • Approximating floating-point operations to verify numerical programs.
    Mohammed Said Belaid, Claude Michel, Michel Rueher.
    In 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'10), ENS Lyon, France, 27--30th September 2010.
    [ .pdf ]
  • Automatic verification of loop invariants.
    Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher.
    In Proceedings of the 2010 IEEE International Conference on Software Maintenance (ICSM'10), pages 1--5, Timisoara, Romania, 12--18th September 2010.
    [ .pdf ]
  • 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.
    [ .pdf ]
  • A safe and flexible cp-based approach for velocity tuning problems.
    Michael Soulignac, Michel Rueher, Patrick Taillibert.
    In Proceedings of the 16th international conference on Principles and practice of constraint programming (CP'10), LNCS 6308, pages 628--642, St. Andrews, Scotland, 6--10th September 2010.
    [ .pdf ]
  • Handling software upgradeability problems with milp solvers.
    Claude Michel, Michel Rueher.
    In First Workshop on Logics for Component Configuration (LoCoCo'10), volume 29 of EPTCS, pages 1--10, Edinburg, Scotland, 10th July 2010.
    [ .pdf ]
  • The weighted spanning tree constraint revisited.
    Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem-Jan van Hoeve.
    In International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR) 2010, Bologna, Italy, 14--18th June 2010.
    [ .pdf ]
  • Improving the held and karp approach with constraint programming.
    Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, , Willem-Jan van Hoeve.
    In International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR) 2010, Bologna, Italy, 14--18th June 2010.
    [ .pdf ]
  • Apports et potentiels de la programmation par contraintes en optimisation globale sous contraintes (invited talk).
    Michel Rueher.
    In 6ièmes Journées Francophones de Programmation par Contraintes (JFPC'10), Caen, 9--11th June 2010.
    [ .pdf ]
  • Stratégies dynamiques pour la génération de contre-exemples.
    Le Vinh Nguyen, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen.
    In 6ièmes Journées Francophones de Programmation par Contraintes (JFPC'10), Caen, 9--11th June 2010.
    [ .pdf ]
  • Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels.
    Mohammed Said Belaid, Claude Michel, Michel Rueher.
    In 6ièmes Journées Francophones de Programmation par Contraintes (JFPC'10), Caen, 9--11th June 2010.
    [ .pdf ]
  • Time-minimal path planning in dynamic current fields.
    Michaël Soulignac, Patrick Taillibert, Michel Rueher.
    In ICRA'09 (IEEE International Conference on Robotics and Automation), Kobe, Japan, 12--17th May 2009.
    [ .pdf ]
  • Efficient handling of universally quantified inequalities.
    Alexandre Goldsztejn, Claude Michel, Michel Rueher.
    Constraints, 14(1):117--135, 2009.
    [ .pdf ]
  • Constraint-based software testing.
    Sebastian Bardin, Bernard Botella, Frédéric Dadeau, Florence Charreteur, Arnaud Gotlieb, Bruno Marre, Claude Michel, Michel Rueher, Nicky Williams.
    In Journées nationales du GDR GPL, Toulouse, 28--30th January 2009.
    [ .pdf ]
  • Path planning for uavs in time-varying winds.
    Michel Rueher Michaël Soulignac, Patrick Taillibert.
    In 27th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group (PlanSIG 2008), Heriot-Watt University, Edinburgh, United Kingdom, 11--12th December 2008.
    [ .pdf ]
  • Constraint programming and safe global optimization (invited talk).
    Michel Rueher.
    In SCAN'2008, 13th GAMM - IMACS Int. Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, El Paso, Texas, USA, 29--3d September 2008.
    [ .pdf ]
  • Revisiting the upper bounding process in a safe branch and bound algorithm.
    Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher.
    In Proceedings of the 14th international conference on Principles and Practice of Constraint Programming (CP'08), LNCS 5202, pages 598--602, Sydney, Australia, 14--18th September 2008.
    [ .pdf ]
  • A constraint-programming framework for bounded program verification.
    Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck.
    In Proceedings of the 14th international conference on Principles and Practice of Constraint Programming (CP'08), LNCS 5202, pages 327--341, Sydney, Australia, 14--18th September 2008.
    [ .pdf ]
  • Capabilities of constraint programming in rigorous global optimization (invited talk).
    Michel Rueher, Alexandre Goldsztejn, Yahia Lebbah, Claude Michel.
    In International Symposium on Nonlinear Theory and its Applications (NOLTA'08), Budapest, Hungary, 7--10th September 2008.
    [ .pdf ]
  • Adapting the wavefront expansion in presence of strong currents.
    Michaël Soulignac, Patrick Taillibert, Michel Rueher.
    In 2008 IEEE International Conference on Robotics and Automation (ICRA 2008), pages 1352--1358, Pasadena, California, USA, 19--23th May 2008.
    [ .pdf ]
  • An efficient algorithm for a sharp approximation of universally quantified inequalities.
    Alexandre Goldsztejn, Claude Michel, Michel Rueher.
    In Proceedings of the 2008 ACM symposium on Applied computing (SAC'08), pages 134--139, Fortaleza, Ceara, Brazil, 16--20th March 2008.
    [ .pdf ]
  • Exploring different constraint-based modelings for program verification.
    Hélène Collavizza, Michel Rueher.
    In 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), pages 49--63, Providence, RI, USA, 11-15th March 2007.
    [ .pdf ]
  • Using constraint techniques for a safe and fast implementation of optimality-based reduction.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    In Proceedings of the 2007 ACM symposium on Applied computing (SAC'07), pages 326--331, Seoul, Korea, 11-15th March 2007.
    [ .pdf ]
  • An efficient and safe framework for solving optimization problems.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    Journal of Computational and Applied Mathematics, 199(2):372--377, 2007.
    [ .ps | .pdf ]
  • Constraints in software testing, verification and analysis.
    Benjamin Blanc, Arnaud Gotlieb, Claude Michel.
    In Trends in Constraint Programming, Frédéric Benhamou, Narendra Jussien, and Barry O'Sullivan, editors, pages 333--368, London, UK, 2007.
  • Toward a rigorous and efficient global optimizer (invited talk).
    Michel Rueher.
    In Global Optimization - Integrating Convexity, Optimization, Logic Programming, and Computational Algebraic Geometry (GIGOLAG), Vienna, Austria, 4--8th December 2006.
    [ .pdf ]
  • Symbolic execution of floating-point computations.
    Bernard Botella, Arnaud Gotlieb, Claude Michel.
    Software Testing, Verification and Reliability, 16(2):97--121, 2006.
    [ .ps | .pdf ]
  • The v3f project.
    Benjamin Blanc, Fabrice Bouquet, Arnaud Gotlieb, Bertrand Jeannet, Thierry Jéron, Bruno Legeard, Bruno Marre, Claude Michel, Michel Rueher.
    In Proceedings of 1st Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA'06), Nantes, France, 25th September 2006.
    [ .pdf ]
  • Editorial: track reliable computations and their applications.
    Martine Ceberio, Vladik Kreinovich, Michel Rueher.
    In 21st Annual ACM Symposium on Applied Computing (SAC 2006), pages 182--196, Dijon, France, 23--27th April 2006.
    [ .pdf ]
  • Exploration of the capabilities of constraint programming for software verification.
    Hélène Collavizza, Michel Rueher.
    In Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006, pages 182--196, Vienna, Austria, 25--2nd April 2006.
    [ .pdf ]
  • Efficient pruning technique based on linear relaxations.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    In Global Optimization and Constraint Satisfaction (selected papers from COCOS'03), LNCS 3478, pages 1--14, 2005.
    [ .ps | .pdf ]
  • Une nouvelle stratégie de recherche pour les csps continus.
    Heikel Batnini, Claude Michel, Michel Rueher.
    In Premières Journées Francophones de Programmation par Contraintes (JFPC'05), Lens - Université d'Artois, 8--10th June 2005.
    [ .pdf ]
  • Mind the gaps: A new splitting strategy for consistency techniques.
    Heikel Batnini, Claude Michel, Michel Rueher.
    In Proceedings of 11th International Conference on Principles and Practice of Constraint Programming (CP'05), LNCS 3709, pages 77--91, Sitges, Spain, 1--5th October 2005.
    [ .ps | .pdf ]
  • Modal intervals revisited: a mean-value extension to generalized intervals.
    Alexandre Goldsztejn, David Daney, Michel Rueher, Patrick Taillibert.
    In First International Workshop on Quantification in Constraint Programming (held in conjunction CP'05), Sitges, Spain, 1--5th October 2005.
    [ .pdf ]
  • A rigorous global filtering algorithm for quadratic constraints.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    Constraints, 10(1):47--65, 2005.
    [ .ps | .pdf ]
  • 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):2076--2097, 2005.
    [ .ps | .pdf ]
  • Solving continuous constraint systems (invited talk).
    Michel Rueher.
    In 8th International Conference on Computer Graphics and Artificial Intelligence, 3IA'2005, Limoges, France, 11--12th May 2005.
    [ .pdf ]
  • Inequality-sum: a global constraint capturing the objective function.
    Jean-Charles Régin, Michel Rueher.
    RAIRO - Operations Research, 39(02):123--139, 18th March 2005.
    [ .pdf ]
  • Editorial: track reliable computations and their applications.
    Martine Ceberio, Vladik Kreinovich, Michel Rueher.
    In 20th Annual ACM Symposium on Applied Computing (SAC 2005), pages 499--503, Santa Fe, New Mexico, USA, 13--17th March 2005.
    [ .pdf ]
  • An efficient and safe framework for solving optimisation problems.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    In 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN'04), Fukuoka, Japan, 4--8th October 2004.
    [ .ps | .pdf ]
  • Filtrage global pour les contraintes de distance euclidienne.
    Heikel Batnini, Michel Rueher.
    In Dixièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC 2004), Angers, France, 21-23d June 2004.
    [ .pdf ]
  • Integration of ai and or techniques in constraint programming for combinatorial optimization problems.
    Jean-Charles Régin, Michel Rueher.
    In First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2004), Nice, France, 20--22th April 2004.
  • Décomposition sémantique pour la résolution de systèmes de contraintes de distance.
    Heikel Batnini, Michel Rueher.
    volume 2, 2004.
    [ .pdf ]
  • Efficient pruning technique based on linear relaxations.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    In Second international conference on Global Optimization and Constraint Satisfaction (COCOS'03), Lausanne, Switzerland, 18--21st November 2003.
  • Semantic decomposition for solving distance constraints.
    Heikel Batnini, Michel Rueher.
    In 9th International Conference on Principles and Practice of Constraint Programming (CP 2003), Kinsale, Ireland, 29--3d October 2003.
    [ .pdf ]
  • Une combinaison de consistances locales avec un filtrage global sur des relaxations linéaires.
    Yahia Lebbah, Claude Michel, Michel Rueher.
    In 9ièmes Journées Nationales pour la résolution de Problemes NP-Complets (JNPC'03), pages 217--232, LaRIA, Université de Picardie, 17--19th June 2003.
    [ .ps | .pdf ]
  • Filtrage local par décomposition de csp continus.
    Heikel Batnini, Michel Rueher.
    In 9ièmes Journées Nationales pour la résolution de Problemes NP-Complets (JNPC'03), pages 39--52, LaRIA, Université de Picardie, 17--19th June 2003.
    [ .pdf ]
  • Safe embedding of the simplex algorithm in a csp framework.
    Claude Michel, Yahia Lebbah, Michel Rueher.
    In 5th Int. Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR'03), pages 210--220, CRT, Université de Montréal, 8--10th May 2003.
    [ .ps | .pdf ]
  • A global filtering algorithm for handling systems of quadratic equations and inequations.
    Yahia Lebbah, Michel Rueher, Claude Michel.
    In Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP'02), LNCS 2470, pages 109--123, Cornell University, Ithaca, NY, USA, 7--13d September 2002.
    [ .ps | .pdf ]
  • Exact projection functions for floating point number constraints.
    Claude Michel.
    In Seventh international symposium on Artificial Intelligence and Mathematics (7th AIMA), Fort Lauderdale, Floride (US), 2--4th January 2002.
    [ .ps | .pdf ]
  • Utitlisation des contraintes pour la génération automatique de cas de test structurels.
    Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert.
    Techniques et science informatiques (TSI), 21(9):1163--1187, 2002.
    [ .ps | .pdf ]
  • Solving constraints over floating-point numbers.
    Claude Michel, Michel Rueher, Yahia Lebbah.
    In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP'01), LNCS 2239, pages 524--538, Paphos, Chypre, 26-1st November 2001.
    [ .ps | .pdf ]