Concepedia

Michel Rueher

MR

20

Publications

832

Citations

17

H-Index

1990

Active since

Affiliations

Université Côte d'Azur(Current)

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

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

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringVerificationMathematical Programming

Publications per year

1990–2015

20

Publications

20

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher · 1998 · 229 citations · Full text

Engineering, Verification, Test Data Generation +20

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems

Yahia Lebbah, Claude Michel, Michel Rueher et al. · SIAM Journal on Numerical Analysis · 2005 · 56 citations

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher · ACM SIGSOFT Software Engineering Notes · 1998 · 55 citations

Engineering, Verification, Test Data Generation +20

Structured rapid prototyping — an evolutionary approach to software development

Michel Rueher · Information and Software Technology · 1990 · 54 citations

Software Development, Engineering, Software Development Process +9

CPBPV: a constraint-programming framework for bounded program verification

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck · Constraints · 2010 · 52 citations · Full text

Program Checking, Engineering, Program Analysis +9

Rows per page

1–5 of 20