 | 2008 |
|---|
| 14 |       | Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck:
CPBPV: A Constraint-Programming Framework for Bounded Program Verification.
CP 2008: 327-341 |
| 13 | | Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck:
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
CoRR abs/0807.2383: (2008) |
| 12 | | Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck:
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
CoRR abs/0808.1508: (2008) |
| 2007 |
|---|
| 11 | | Hélène Collavizza,
Michel Rueher:
Exploring Different Constraint-Based Modelings for Program Verification.
CP 2007: 49-63 |
| 2006 |
|---|
| 10 | | Hélène Collavizza,
Michel Rueher:
Exploration of the Capabilities of Constraint Programming for Software Verification.
TACAS 2006: 182-196 |
| 1999 |
|---|
| 9 |  | Hélène Collavizza,
François Delobel,
Michel Rueher:
Extending Consistent Domains of Numeric CSP.
IJCAI 1999: 406-413 |
| 8 | | Hélène Collavizza,
François Delobel,
Michel Rueher:
Comparing Partial Consistencies.
Reliable Computing 5(3): 213-228 (1999) |
| 1998 |
|---|
| 7 | | Hélène Collavizza,
François Delobel,
Michel Rueher:
A Note on Partial Consistencies over Continuous Domains.
CP 1998: 147-161 |
| 6 | | Hélène Collavizza,
François Delobel,
Michel Rueher:
Relationships between Partial Consistencies over Continuous Domains.
IJCSLP 1998: 345-346 |
| 1995 |
|---|
| 5 | | Laurent Arditi,
Hélène Collavizza:
An Object-Oriented Framework for the Formal Verification of Processors.
ECOOP 1995: 215-234 |
| 4 | | Laurent Arditi,
Hélène Collavizza:
Towards verifying VHDL descriptions of processors.
EURO-DAC 1995: 414-419 |
| 1993 |
|---|
| 3 | | Jacques Chazarain,
Hélène Collavizza:
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.
CHARME 1993: 109-121 |
| 1992 |
|---|
| 2 | | Hélène Collavizza:
Mu-SPEED: A System for the Specification and Verification of Microprocessors.
STACS 1992: 607-608 |
| 1990 |
|---|
| 1 | | Hélène Collavizza:
Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level.
EURO-DAC 1990: 52-56 |
