Claude Michel
TitoloCitata daAnno
Symbolic execution of floating‐point computations
B Botella, A Gotlieb, C Michel
Software Testing, Verification and Reliability 16 (2), 97-121, 2006
1262006
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
832005
Solving constraints over floating-point numbers
C Michel, M Rueher, Y Lebbah
International Conference on Principles and Practice of Constraint …, 2001
802001
Exact projection functions for floating point number constraints (pdf)
C Michel
AMAI, 2002
512002
A global filtering algorithm for handling systems of quadratic equations and inequations
Y Lebbah, M Rueher, C Michel
International Conference on Principles and Practice of Constraint …, 2002
472002
Improving the floating point addition and subtraction constraints
B Marre, C Michel
International Conference on Principles and Practice of Constraint …, 2010
392010
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
382007
A rigorous global filtering algorithm for quadratic constraints
Y Lebbah, C Michel, M Rueher
Constraints 10 (1), 47-65, 2005
322005
Boosting local consistency algorithms over floating-point numbers
MS Belaid, C Michel, M Rueher
International Conference on Principles and Practice of Constraint …, 2012
272012
Efficient handling of universally quantified inequalities
A Goldsztejn, C Michel, M Rueher
Constraints 14 (1), 117-135, 2009
222009
Handling software upgradeability problems with MILP solvers
C Michel, M Rueher
arXiv preprint arXiv:1007.1020, 2010
202010
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
202003
Mind the gaps: A new splitting strategy for consistency techniques
H Batnini, C Michel, M Rueher
International Conference on Principles and Practice of Constraint …, 2005
172005
Verifying floating-point programs with constraint programming and abstract interpretation techniques
O Ponsini, C Michel, M Rueher
Automated Software Engineering 23 (2), 191-217, 2016
162016
Refining abstract interpretation based value analysis with constraint programming techniques
O Ponsini, C Michel, M Rueher
International Conference on Principles and Practice of Constraint …, 2012
162012
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
Search strategies for floating point constraint systems
H Zitoun, C Michel, M Rueher, L Michel
International Conference on Principles and Practice of Constraint …, 2017
112017
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-1187, 2002
112002
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
102014
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
102009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20