| Symbolic execution of floating‐point computations B Botella, A Gotlieb, C Michel Software Testing, Verification and Reliability 16 (2), 97-121, 2006 | 148 | 2006 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 94 | 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 | 91 | 2005 |
| Exact Projection Functions for Floating Point Number Constraints. C Michel AI&M, 2002 | 65 | 2002 |
| 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 | 51 | 2002 |
| Improving the floating point addition and subtraction constraints B Marre, C Michel International Conference on Principles and Practice of Constraint …, 2010 | 49 | 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 | 41 | 2007 |
| Handling software upgradeability problems with MILP solvers C Michel, M Rueher arXiv preprint arXiv:1007.1020, 2010 | 38 | 2010 |
| A rigorous global filtering algorithm for quadratic constraints Y Lebbah, C Michel, M Rueher Constraints 10, 47-65, 2005 | 35 | 2005 |
| Boosting local consistency algorithms over floating-point numbers MS Belaid, C Michel, M Rueher International Conference on Principles and Practice of Constraint …, 2012 | 30 | 2012 |
| Efficient handling of universally quantified inequalities A Goldsztejn, C Michel, M Rueher Constraints 14, 117-135, 2009 | 27 | 2009 |
| Verifying floating-point programs with constraint programming and abstract interpretation techniques O Ponsini, C Michel, M Rueher Automated Software Engineering 23, 191-217, 2016 | 23 | 2016 |
| 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 | 22 | 2012 |
| 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 | 22 | 2003 |
| Search strategies for floating point constraint systems H Zitoun, C Michel, M Rueher, L Michel Principles and Practice of Constraint Programming: 23rd International …, 2017 | 21 | 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 | 18 | 2005 |
| 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 | 16 | 2002 |
| 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 | 15 | 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 |
| 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 | 12 | 2009 |
Michel RueherProfesseur émérite, Université Côte d'AzurVerifisert e-postadresse på unice.fr
