Accéder directement au contenu

Michel Rueher

5
Documents

Présentation

Publications

4154
"helenecollavizza"
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

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

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