Universität Karlsruhe
Dr.-Ing. Thilo Gaul
Adresse
IPD Goos
Adenauerring 20a
AVG 50.41 Raum 228
76128 Karlsruhe
Germany
Tel. +49(721)608-7398
Email gaul at ipd dot info dot uni-karlsruhe dot de
Web http://www.info.uni-karlsruhe.de/~gaul

Sprechzeiten: 10:00 - 18:00

Arbeitsgebiete

My work areas are theoretical and practical compiler construction, concentrating on compiler verification in my PhD. Recent projects are VERIFIX, the ESPRIT supported projects OMI/SAFE and OMI/FAME as part of the Open Microprocessor Initiative (OMI), as well as the AJACS project (Applying Java to Automotive Control Systems). I am involved in some J  Consortium activities, active in the ANDF Consortium and most recently we cooperate with the MOST-Consortium and Daimler-Chrysler, consulting them to standardize multi-media networks in cars.

Projekte

Abgeschlossen
AJACS
aXMLerate
IPD Web-Site
MOCKA
MOST
OMI/FAME
OMI/SAFE
Verifix

Beteiligung an Software

MOCKA
Der Karlsruher MODULA Übersetzer.

Betreute Studien- und Diplomarbeiten

Diplomarbeit
XML Graphersetzung (abgeschlossen)

Veröffentlichungen

2003
Gaul, Konstruktion verifizierender Übersetzer mit ProgrammprĂŒfung
 
2002
Gaul, AJACS: Applying Java to Automotive Control Systems
Löwe, Noga, Gaul, Foundations of Fast Communication via XML
 
2001
Gaul, Löwe, Noga, Specification in a large Industry Consortium - The MOST Approach
Gaul, Kung, AJACS: Applying Java to Automotive Control Systems
 
2000
Gaul, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
Gaul, Zimmermann, Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
Gaul, Kung, AJACS: Applying Java to Automotive Control Systems
 
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
Gaul, Schumacher, Advanced Generator Techniques for Embedded Compilers
Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking
Gaul, Riedmiller, Schoknecht, Spott, Fuzzy-Neuro-Controlled Verified Instruction Scheduler
 
1998
Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends
Gaul, Heberle, Heuzeroth, Zimmermann, An ASM Specification of the Operational Semantics of MIS
Gaul, Schumacher, Compiler Techniques for Fast Migration of Embedded Applications
Gaul, Goerigk, Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification
Dold, Gaul, Zimmermann, Mechanized Verification of Compiler Back-Ends
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
Gaul, Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach
 
1996
Gaul, Simple Code Generation for MIS to DEC-Alpha processor
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
Login
Links