Publications
  • 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, LNCS 10416, pages 707--722, Melbourne, Autralia, 28--1st August 2017.
  • Stratégies de recherche pour les systèmes de contraintes sur les flottants.
    Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel.
    In 13ièmes Journées Francophones de Programmation par contraintes, JFPC 2017, pages 149--158, Montreuil sur Mer, France, 13--15 June 2017.
    [ .pdf ]
  • Searching critical values for floating-point programs.
    Hélène Collavizza, Claude Michel, 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.
    Mohammed Said Belaid, Claude Michel, Yahia Lebbah, Michel Rueher.
    In CP meets Verification 2016 Workshop, Toulouse, France, 5th September 2016.
    [ .pdf ]
  • Contraintes sur les réels et contraintes sur les flottants: contributions.
    Claude Michel.
    Habilitation à diriger des recherches (in french), Université de Nice-Sophia Antipolis, 7th July 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 ]
  • Searching input values hitting suspicious intervals in programs with floating-point operations.
    Hélène Collavizza, Claude Michel, Michel Rueher.
    Technical report, 3d November 2015.
    [ .pdf ]
  • 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 ]
  • 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.
    [ .pdf ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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.
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • Capabilities of constraint programming in rigorous global optimization.
    Michel Rueher, Alexandre Goldsztejn, Yahia Lebbah, Claude Michel.
    In International Symposium on Nonlinear Theory and its Applications (NOLTA'08), Budapest, Republic of Hungary, 6--10th September 2008.
    [ .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 ]
  • 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.
    In Troisièmes Journées Francophones de Programmation par Contraintes, JFPC 2007, Rocquencourt, France, 4-6th June 2007.
  • 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.
  • 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 ]
  • 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 ]
  • 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 ]
  • 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 ]
  • 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.
  • 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 ]
  • 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 AI&M 1-2002, Seventh international symposium on Artificial Intelligence and Mathematics (7th ISAIM), Fort Lauderdale, Floride (US), 2--4th January 2002.
    [ .ps | .pdf ]
  • Utilisation 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 ]
  • Support linguistique à la constitution de bibliothèques de méta-composants.
    Claude Michel, Jean-Pierre Regourd.
    In Langages et Modèles à Objets 1999 (LMO'99), pages 25--38, Villefranche-sur-mer, France, 27-29th January 1999.
    [ .ps | .pdf ]
  • Modèles et Implémentations d'Interprètes Réflexifs.
    Claude Michel.
    PhD thesis, Université de Nice-Sophia Antipolis, 5th December 1997.
    [ .ps | .pdf ]
  • Un exemple de raisonnement distribué: Demact.
    Claude Michel, Jean-Pierre Regourd.
    In Premières Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents 1993 (IAD&SMA'93), pages 193--204, Toulouse, France, 7-8th April 1993.
  • Représentation des connaissances et programmation par acteurs.
    Claude Michel, Jean-Pierre Regourd.
    In Systèmes Experts en Informatique de Gestion 1992 (SEIGE'92), pages 16--27, Nice, France, 17-18th September 1992.