Follow
Claude Michel
Title
Cited by
Cited by
Year
Symbolic execution of floating‐point computations
B Botella, A Gotlieb, C Michel
Software Testing, Verification and Reliability 16 (2), 97-121, 2006
1452006
Efficient and safe global constraints for handling numerical constraint systems
Y Lebbah, C Michel, M Rueher, D Daney, JP Merlet
SIAM Journal on Numerical Analysis 42 (5), 2076-2097, 2005
892005
Solving constraints over floating-point numbers
C Michel, M Rueher, Y Lebbah
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
892001
Exact Projection Functions for Floating Point Number Constraints.
C Michel
AI&M, 2002
622002
A global filtering algorithm for handling systems of quadratic equations and inequations
Y Lebbah, M Rueher, C Michel
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
482002
Improving the floating point addition and subtraction constraints
B Marre, C Michel
Principles and Practice of Constraint Programming–CP 2010: 16th …, 2010
442010
An efficient and safe framework for solving optimization problems
Y Lebbah, C Michel, M Rueher
Journal of computational and applied mathematics 199 (2), 372-377, 2007
402007
A rigorous global filtering algorithm for quadratic constraints
Y Lebbah, C Michel, M Rueher
Constraints 10, 47-65, 2005
312005
Handling software upgradeability problems with MILP solvers
C Michel, M Rueher
arXiv preprint arXiv:1007.1020, 2010
292010
Boosting local consistency algorithms over floating-point numbers
MS Belaid, C Michel, M Rueher
Principles and Practice of Constraint Programming: 18th International …, 2012
282012
Efficient handling of universally quantified inequalities
A Goldsztejn, C Michel, M Rueher
Constraints 14, 117-135, 2009
262009
Verifying floating-point programs with constraint programming and abstract interpretation techniques
O Ponsini, C Michel, M Rueher
Automated Software Engineering 23, 191-217, 2016
212016
Safe embedding of the simplex algorithm in a CSP framework
C Michel, Y Lebbah, M Rueher
Proc. of 5th Int. Workshop on Integration of AI and OR techniques in …, 2003
212003
Refining abstract interpretation based value analysis with constraint programming techniques
O Ponsini, C Michel, M Rueher
Principles and Practice of Constraint Programming: 18th International …, 2012
202012
Search strategies for floating point constraint systems
H Zitoun, C Michel, M Rueher, L Michel
Principles and Practice of Constraint Programming: 23rd International …, 2017
182017
Mind the gaps: A new splitting strategy for consistency techniques
H Batnini, C Michel, M Rueher
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
162005
Generating test cases inside suspicious intervals for floating-point number programs
H Collavizza, C Michel, O Ponsini, M Rueher
Proceedings of the 6th International Workshop on Constraints in Software …, 2014
142014
The V3F project
B Blanc, F Bouquet, A Gotlieb, B Jeannet, T Jéron, B Legeard, B Marre, ...
Proc. of the 1st Workshop on Constraints in Software Testing, Verification …, 2006
132006
Constraint-based software testing
S Bardin, B Botella, F Dadeau, F Charreteur, A Gotlieb, B Marre, C Michel, ...
Journée du GDR-GPL 9, 1, 2009
122009
Utilisation des contraintes pour la génération automatique de cas de test structurels.
B Botella, A Gotlieb, C Michel, M Rueher, P Taillibert
Technique et Science Informatiques 21 (9), 1163-1188, 2002
112002
The system can't perform the operation now. Try again later.
Articles 1–20