| |
| 2001 | ||
|---|---|---|
| 3 | EE | Axel Dold, Vincent Vialard: A Mechanically Verified Compiling Specification for a Lisp Compiler. FSTTCS 2001: 144-155 |
| 1999 | ||
| 2 | EE | Axel Dold, Vincent Vialard: Formal Verification of a Compiler Back-End Generic Checker Program. Ershov Memorial Conference 1999: 470-480 |
| 1998 | ||
| 1 | Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67 | |
| 1 | Axel Dold | [1] [2] [3] |
| 2 | Thilo Gaul | [1] |
| 3 | Wolf Zimmermann | [1] |