On the Construction of Correct Compiler Back-Ends: An ASM-Approach. - Wolf Zimmermann; Thilo Gaul (J. Univers. Comput. Sci., 1997)

ASM-based Mechanized Verification of Compiler Back-Ends. - Axel Dold; Thilo Gaul; Vincent Vialard; Wolf Zimmermann (Workshop on Abstract State Machines, 1998)

Correct Programs without Proof? On Checker-Based Program Verification. - Wolfgang Goerigk; Thilo Gaul; Wolf Zimmermann (Tool Support for System Specification, Development and Verification, 1998)

Construction of Verified Compiler Front-Ends with Program-Checking. - Andreas Heberle; Thilo Gaul; Wolfgang Goerigk; Gerhard Goos; Wolf Zimmermann (Ershov Memorial Conference, 1999)