Accéder directement au contenu

Michel Rueher

7
Documents

Présentation

Publications

4154
Image document

CPBPV: a constraint-programming framework for bounded program verification

 Hélène Collavizza , Michel Rueher , Pascal van Hentenryck
Constraints, 2010, 15 (2), pp.238-264. ⟨10.1007/s10601-009-9089-9⟩
Article dans une revue hal-00510303v1
Image document

Revisiting the upper bounding process in a safe Branch and Bound algorithm

 Alexandre Goldsztejn , Yahia Lebbah , Claude Michel , Michel Rueher
14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602
Communication dans un congrès hal-00297086v1
Image document

Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples

 Nguyen Le Vinh , Hélène Collavizza , Michel Rueher , Samuel Devulder , Thierry Gueguen
2010
Autre publication scientifique hal-00495816v2
Image document

Boosting domain filtering over floating-point numbers with safe linear approximations

 Mohammed Said Belaid , Claude Michel , Michel Rueher
2011
Pré-publication, Document de travail hal-00653659v1
Image document

Automatic Verification of Loop Invariants

 Olivier Ponsini , Hélène Collavizza , Carine Fédèle , Claude Michel , Michel Rueher
2010
Pré-publication, Document de travail hal-00495675v1
Image document

A Dynamic Constraint-Based BMC Strategy For Generating Counterexamples

 Hélène Collavizza , Nguyen Le Vinh , Michel Rueher , Samuel Devulder , Thierry Gueguen
2010
Pré-publication, Document de travail hal-00531081v1
Image document

Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification

 Hélène Collavizza , Michel Rueher , Pascal van Hentenryck
2008
Pré-publication, Document de travail hal-00274546v1