Michel Rueher
Michel Rueher
Professeur émérite, Université Côte d'Azur
Adresse e-mail validée de unice.fr - Page d'accueil
TitreCitée parAnnée
Automatic test data generation using constraint solving techniques
A Gotlieb, B Botella, M Rueher
ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998
3501998
A clp framework for computing structural test data
A Gotlieb, B Botella, M Rueher
International Conference on Computational Logic, 399-413, 2000
1392000
Comparing partial consistencies
H Collavizza, F Delobel, M Rueher
Reliable computing 5 (3), 213-228, 1999
1281999
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
A distributed cooperating constraints solving system
P Marti, M Rueher
International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995
701995
Dynamic optimization of interval narrowing algorithms
O Lhomme, A Gotlieb, M Rueher
The Journal of Logic Programming 37 (1-3), 165-183, 1998
631998
CPBPV: a constraint-programming framework for bounded program verification
H Collavizza, M Rueher, P Van Hentenryck
Constraints 15 (2), 238-264, 2010
572010
Extending consistent domains of numeric CSP
H Collavizza, F Delobel, M Rueher
IJCAI 99, 406-413, 1999
561999
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
512006
A note on partial consistencies over continuous domains
H Collavizza, F Delobel, M Rueher
International Conference on Principles and Practice of Constraint …, 1998
511998
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
Improved filtering for weighted circuit constraints
P Benchimol, WJ Van Hoeve, JC Régin, LM Rousseau, M Rueher
Constraints 17 (3), 205-233, 2012
452012
Boosting the Interval Narrowing Al-gorithm
O Lhomme, A Gotlieb, M Rueher, P Taillibert
Logic Programming: Proceedings of the 1996 Joint International Conference …, 1996
441996
A global constraint combining a sum constraint and difference constraints
JC Régin, M Rueher
International Conference on Principles and Practice of Constraint …, 2000
432000
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
412009
Concurrent cooperating solvers over reals
M Rueher, C Solnon
Reliable Computing 3 (3), 325-333, 1997
401997
A constraint programming approach for solving rigid geometric systems
C Jermann, G Trombettoni, B Neveu, M Rueher
International Conference on Principles and Practice of Constraint …, 2000
392000
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
382008
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20