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