| |
| 2008 | ||
|---|---|---|
| 2 | EE | Gilles Barthe, César Kunz, Jorge Luis Sacchini: Certified Reasoning in Memory Hierarchies. APLAS 2008: 75-90 |
| 2007 | ||
| 1 | EE | Benjamin Grégoire, Jorge Luis Sacchini: Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. TGC 2007: 23-40 |
| 1 | Gilles Barthe | [2] |
| 2 | Benjamin Grégoire | [1] |
| 3 | César Kunz | [2] |