Följ
Michel Rueher
Michel Rueher
Professeur émérite, Université Côte d'Azur
Verifierad e-postadress på unice.fr - Startsida
Titel
Citeras av
Citeras av
År
Automatic test data generation using constraint solving techniques
A Gotlieb, B Botella, M Rueher
ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998
3871998
A clp framework for computing structural test data
A Gotlieb, B Botella, M Rueher
International Conference on Computational Logic, 399-413, 2000
1562000
Comparing partial consistencies
H Collavizza, F Delobel, M Rueher
Reliable computing 5 (3), 213-228, 1999
1521999
Solving constraints over floating-point numbers
C Michel, M Rueher, Y Lebbah
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
922001
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
A distributed cooperating constraints solving system
P Marti, M Rueher
International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995
741995
Improved filtering for weighted circuit constraints
P Benchimol, WJ Hoeve, JC Régin, LM Rousseau, M Rueher
Constraints 17, 205-233, 2012
672012
CPBPV: a constraint-programming framework for bounded program verification
H Collavizza, M Rueher, P Van Hentenryck
Constraints 15 (2), 238-264, 2010
632010
Dynamic optimization of interval narrowing algorithms
O Lhomme, A Gotlieb, M Rueher
The Journal of Logic Programming 37 (1-3), 165-183, 1998
631998
Extending consistent domains of numeric CSP
H Collavizza, F Delobel, M Rueher
IJCAI 99, 406-413, 1999
601999
A note on partial consistencies over continuous domains
H Collavizza, F Delobel, M Rueher
Principles and Practice of Constraint Programming—CP98: 4th International …, 1998
591998
Exploration of the capabilities of constraint programming for software verification
H Collavizza, M Rueher
International Conference on Tools and Algorithms for the Construction and …, 2006
542006
Time-minimal path planning in dynamic current fields
M Soulignac, P Taillibert, M Rueher
2009 IEEE International Conference on Robotics and Automation, 2473-2479, 2009
532009
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
502002
Adapting the wavefront expansion in presence of strong currents
M Soulignac, P Taillibert, M Rueher
2008 IEEE International Conference on Robotics and Automation, 1352-1358, 2008
462008
A global constraint combining a sum constraint and difference constraints
JC Régin, M Rueher
Principles and Practice of Constraint Programming–CP 2000: 6th International …, 2000
462000
Boosting the interval narrowing algorithm
O Lhomme, A Gotlieb, M Rueher, P Taillibert
441996
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
Cpbpv: A constraint-programming framework for bounded program verification
H Collavizza, M Rueher, P Van Hentenryck
Principles and Practice of Constraint Programming: 14th International …, 2008
392008
Modal intervals revisited: a mean-value extension to generalized intervals
A Goldsztejn, D Daney, M Rueher, P Taillibert
Proceedings of QCP-2005 (Quantification in Constraint Programming …, 2005
392005
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20