| |
| 2008 | ||
|---|---|---|
| 2 | EE | Nicolas Halbwachs, Mathias Péron: Discovering properties about arrays in simple programs. PLDI 2008: 339-348 |
| 2007 | ||
| 1 | EE | Mathias Péron, Nicolas Halbwachs: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. VMCAI 2007: 268-282 |
| 1 | Nicolas Halbwachs | [1] [2] |