Michel Rueher - Concepedia

Author

Michel Rueher

Université Côte d'Azur

Also Known As

M Rueher, M. Rueher, MICHEL RUEHER, Michel Rueher, Michel Rueher Automatic, Rueher, M., Rueher, Michel, Samuel Devulder

115

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

Université Côte d'Azur Centre National de la Recherche Scientifique Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis Dassault Aviation (France)Université Oran 1 Ahmed Ben Bella

About

Michel Rueher is an author at Université Côte d'Azur specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	15	686
2	Computer Science	10	10	498
3	Computer Engineering	4	4	313
4	Health Sciences	2	2	84
5	Operations Research	2	2	71

Michel Rueher

Publications

832

Citations

H-Index

Page 1

	Year	Citations
Automatic test data generation using constraint solving techniques Arnaud Gotlieb, Bernard Botella, Michel Rueher EngineeringVerificationTest Data GenerationSoftware EngineeringTest Data	1998	229
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems Yahia Lebbah, Claude Michel, Michel Rueher, SIAM Journal on Numerical Analysis	2005	56
Automatic test data generation using constraint solving techniques Arnaud Gotlieb, Bernard Botella, Michel Rueher ACM SIGSOFT Software Engineering Notes EngineeringVerificationTest Data GenerationSoftware EngineeringTest Data	1998	55
Structured rapid prototyping — an evolutionary approach to software development Michel Rueher Information and Software Technology Software DevelopmentEngineeringSoftware Development ProcessProgram AnalysisDesign	1990	54
CPBPV: a constraint-programming framework for bounded program verification Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck Constraints Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerification	2010	52
Time-minimal path planning in dynamic current fields Michaël Soulignac, Patrick Taillibert, Michel Rueher Numerical AnalysisEngineeringField RoboticsTime-minimal Path PlanningFixed Departure Time	2009	44
Dynamic optimization of interval narrowing algorithms Olivier Lhomme, Arnaud Gotlieb, Michel Rueher The Journal of Logic Programming Mathematical ProgrammingNumerical AnalysisEngineeringContinuous OptimizationInterval Analysis	1998	40
Adapting the wavefront expansion in presence of strong currents Michaël Soulignac, Patrick Taillibert, Michel Rueher EngineeringField RoboticsWave TheoryTrajectory PlanningGuidance System	2008	40
Extending consistent domains of numeric CSP Hélène Collavizza, François Delobel, Michel Rueher	1999	37
A DISTRIBUTED COOPERATING CONSTRAINTS SOLVING SYSTEM Philippe Marti, Michel Rueher International Journal of Artificial Intelligence Tools Mathematical ProgrammingEngineeringVerificationComputational ComplexityFormal Verification	1995	33

Page 1