Person: Michel Rueher

DBLP: Rueher:Michel

Contributed to:

2015

2012

2011

2010

2008

2007

2006

2000

1998

1998

1996

1994

1993

1992

1991

Wrote 15 papers:

SAC-2015-BekkoucheCR #approach #constraints #fault #locality #named

LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.

ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.

SAC-2011-CollavizzaVRDG #constraints #generative

A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.

ICSM-2010-PonsiniCFMR #automation #invariant #verification

Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.

SAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier

An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.

SAC-2007-LebbahMR #constraints #implementation #performance #reduction #using

Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.

TACAS-2006-CollavizzaR #constraints #programming #verification

Exploration of the Capabilities of Constraint Programming for Software Verification (HC, MR), pp. 182–196.

CL-2000-GotliebBR #framework #testing

A CLP Framework for Computing Structural Test Data (AG, BB, MR), pp. 399–413.

ISSTA-1998-GotliebBR #automation #constraints #generative #testing #theorem proving #using

Automatic Test Data Generation Using Constraint Solving Techniques (AG, BB, MR), pp. 53–62.

JICSLP-1998-CollavizzaDR #consistency

Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.

JICSLP-1996-LhommeGRT #algorithm

Boosting the Interval Narrowing Algorithm (OL, AG, MR, PT), pp. 378–392.

LOPSTR-1994-SolnonR #dependence #type inference

Propagation of Inter-argument Dependencies in “Tuple-distributive” Type Inference Systems (CS, MR), pp. 199–214.

ICLP-1993-LadretR #logic programming #protocol #testing

Contribution of Logic Programming to Support Telecommunications Protocol Tests (DL, MR), pp. 845–846.

PLILP-1992-SolnonR #inheritance #prolog #source code

Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII (CS, MR), pp. 489–490.

LOPSTR-1991-SolnonR #design #object-oriented #prolog #prototype #using

Using a Prolog Prototype for Designing an Object Oriented Scheme (CS, MR), pp. 300–317.