Claude Michel

According to our database, Claude Michel authored at least 32 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Bringing freedom in variable choice when searching counter-examples in floating point programs.

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher

CoRR, 2020

An efficient constraint based framework forhandling floating point SMT problems.

Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher

CoRR, 2020

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations.

Rémy Garcia, Claude Michel, Michel Rueher

Proceedings of the Software Verification - 12th International Conference, 2020

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors.

Rémy Garcia, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations.

Claude Michel, Michel Rueher

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2017

Search Strategies for Floating Point Constraint Systems.

Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Verifying floating-point programs with constraint programming and abstract interpretation techniques.

Olivier Ponsini, Claude Michel, Michel Rueher

Autom. Softw. Eng., 2016

Searching Critical Values for Floating-Point Programs.

Hélène Collavizza, Claude Michel, Michel Rueher

Proceedings of the Testing Software and Systems, 2016

Contraintes sur les réels et contraintes sur les flottants: contributions.

Claude Michel

, 2016

2015

Searching input values hitting suspicious Intervals in programs with floating-point operations.

Hélène Collavizza, Claude Michel, Michel Rueher

CoRR, 2015

2014

Generating test cases inside suspicious intervals for floating-point number programs.

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher

Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

2012

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs.

Olivier Ponsini, Claude Michel, Michel Rueher

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.

Olivier Ponsini, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2012

Boosting Local Consistency Algorithms over Floating-Point Numbers.

Mohammed Saïd Belaid, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Capabilities of Constraint Programming in Safe Global Optimization.

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher

Reliab. Comput., 2011

Aligning component upgrades

Roberto Di Cosmo, Olivier Lhomme, Claude Michel

Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

2010

Handling software upgradeability problems with MILP solvers

Claude Michel, Michel Rueher

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

Automatic verification of loop invariants.

Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Improving the Floating Point Addition and Subtraction Constraints.

Bruno Marre, Claude Michel

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Efficient handling of universally quantified inequalities.

Alexandre Goldsztejn, Claude Michel, Michel Rueher

Constraints An Int. J., 2009

2008

An efficient algorithm for a sharp approximation of universally quantified inequalities.

Alexandre Goldsztejn, Claude Michel, Michel Rueher

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm.

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2008

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 (SAC), 2007

2006

Symbolic execution of floating-point computations.

Bernard Botella, Arnaud Gotlieb, Claude Michel

Softw. Test. Verification Reliab., 2006

2005

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems.

Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-Pierre Merlet

SIAM J. Numer. Anal., 2005

A Rigorous Global Filtering Algorithm for Quadratic Constraints*.

Yahia Lebbah, Claude Michel, Michel Rueher

Constraints An Int. J., 2005

Mind the Gaps: A New Splitting Strategy for Consistency Techniques.

Heikel Batnini, Claude Michel, Michel Rueher

Proceedings of the Principles and Practice of Constraint Programming, 2005

2003

Efficient Pruning Technique Based on Linear Relaxations.

Yahia Lebbah, Claude Michel, Michel Rueher

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002

Utilisation des contraintes pour la génération automatique de cas de test structurels.

Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert

Tech. Sci. Informatiques, 2002

Exact Projection Functions for Floating Point Number Constraints.

Claude Michel

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.

Yahia Lebbah, Michel Rueher, Claude Michel

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Solving Constraints over Floating-Point Numbers.

Claude Michel, Michel Rueher, Yahia Lebbah

Proceedings of the Principles and Practice of Constraint Programming, 2001