Universität Karlsruhe
Dr. Andreas Heberle
Adresse
Email heberle at ipd dot info dot uni-karlsruhe dot de
Web http://www.info.uni-karlsruhe.de/~heberle

Arbeitsgebiete

Andreas Heberle arbeitete im Verifix-Projekt als wissenschaftlicher Mitarbeiter und ging nach seiner Promotion zu einem Internet-Startup in Karlsruhe, der Firma B2ABC.

Projekte

Abgeschlossen
IPD Web-Site
Verifix

Betreute Studien- und Diplomarbeiten

Diplomarbeit
Spezifikation und Verifikation von standardisierten Transformationen -Fallstudie: Übersetzung von IS (abgeschlossen)

Veröffentlichungen

1999
Gaul, Heberle, Zimmermann, Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Correct Compilation of a While-Language with Parameterless Recursive Procedures
Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking
 
1998
Gaul, Heberle, Heuzeroth, Zimmermann, An ASM Specification of the Operational Semantics of MIS
Heberle, Löwe, Trapp, Safe Reuse of Source to Intermediate Language Compilations
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Praktikable Konstruktion korrekter Übersetzer
 
1997
Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter Übersetzer
Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction
 
1996
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
Login
Links