Thilo Gaul

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference (1999)
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines (1998)
Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann
Correct Programs without Proof? On Checker-Based Program Verification. Tool Support for System Specification, Development and Verification (1998)
Wolf Zimmermann, Thilo Gaul
On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. Univers. Comput. Sci. 3 (5) (1997)