| |
| 1999 | ||
|---|---|---|
| 3 | EE | Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann: Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference 1999: 481-492 |
| 1998 | ||
| 2 | Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67 | |
| 1997 | ||
| 1 | EE | Wolf Zimmermann, Thilo Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. UCS 3(5): 504-567 (1997) |
| 1 | Axel Dold | [2] |
| 2 | Wolfgang Goerigk | [3] |
| 3 | Gerhard Goos | [3] |
| 4 | Andreas Heberle | [3] |
| 5 | Vincent Vialard | [2] |
| 6 | Wolf Zimmermann | [1] [2] [3] |