 | 2009 |
|---|
| 8 |       | Gilles Barthe,
Benjamin Grégoire,
Sylvain Heraud,
César Kunz,
Anne Pacalet:
Implementing a Direct Method for Certificate Translation.
ICFEM 2009: 541-560 |
| 7 | | Gilles Barthe,
Benjamin Grégoire,
César Kunz,
Tamara Rezk:
Certificate translation for optimizing compilers.
ACM Trans. Program. Lang. Syst. 31(5): (2009) |
| 2008 |
|---|
| 6 | | Gilles Barthe,
César Kunz,
Jorge Luis Sacchini:
Certified Reasoning in Memory Hierarchies.
APLAS 2008: 75-90 |
| 5 | | Gilles Barthe,
César Kunz:
Certificate Translation in Abstract Interpretation.
ESOP 2008: 368-382 |
| 4 | | Gilles Barthe,
César Kunz:
Certificate translation for specification-preserving advices.
FOAL 2008: 9-18 |
| 3 | | Gilles Barthe,
César Kunz:
An Introduction to Certificate Translation.
FOSAD 2008: 51-95 |
| 2 | | Gilles Barthe,
César Kunz,
David Pichardie,
Julián Samborski-Forlese:
Preservation of Proof Pbligations for Hybrid Verification Methods.
SEFM 2008: 127-136 |
| 2006 |
|---|
| 1 | | Gilles Barthe,
Benjamin Grégoire,
César Kunz,
Tamara Rezk:
Certificate Translation for Optimizing Compilers.
SAS 2006: 301-317 |
