| Symbolic execution of floating‐point computations B Botella, A Gotlieb, C Michel Software Testing, Verification and Reliability 16 (2), 97-121, 2006 | 143 | 2006 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah International Conference on Principles and Practice of Constraint …, 2001 | 89 | 2001 |
| 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 | 87 | 2005 |
| Exact projection functions for floating point number constraints C Michel | 60 | 2002 |
| 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 | 50 | 2002 |
| Improving the floating point addition and subtraction constraints B Marre, C Michel International Conference on Principles and Practice of Constraint …, 2010 | 44 | 2010 |
| 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 | 39 | 2007 |
| A rigorous global filtering algorithm for quadratic constraints Y Lebbah, C Michel, M Rueher Constraints 10 (1), 47-65, 2005 | 32 | 2005 |
| Boosting local consistency algorithms over floating-point numbers MS Belaid, C Michel, M Rueher International Conference on Principles and Practice of Constraint …, 2012 | 28 | 2012 |
| Efficient handling of universally quantified inequalities A Goldsztejn, C Michel, M Rueher Constraints 14 (1), 117-135, 2009 | 26 | 2009 |
| Handling software upgradeability problems with MILP solvers C Michel, M Rueher arXiv preprint arXiv:1007.1020, 2010 | 22 | 2010 |
| 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 | 21 | 2016 |
| 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 | 21 | 2003 |
| 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 | 19 | 2012 |
| Search strategies for floating point constraint systems H Zitoun, C Michel, M Rueher, L Michel International Conference on Principles and Practice of Constraint …, 2017 | 16 | 2017 |
| 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 | 16 | 2005 |
| 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 | 14 | 2014 |
| 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 | 13 | 2006 |
| 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 | 12 | 2002 |
| 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 | 10 | 2009 |
Michel RueherProfesseur émérite, Université Côte d'AzurDirección de correo verificada de unice.fr
