MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thilo Gaul" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

On the Construction of Correct Compiler Back-Ends: An ASM Approach
by Wolf Zimmermann, Thilo Gaul — 1997 — Journal of Universal Computer Science
… of Karlsruhe, Germany zimmer@(email omitted); ) Thilo Gaul (University of Karlsruhe, Germany gaul…
Cited by 26 (5 self) – Add To MetaCart

ASM-Based Mechanized Verification of Compiler Back-Ends
by Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
…ASM-Based Mechanized Verification of Compiler Back-Ends Axel Dold 1 , Thilo Gaul 2 , Vincent…
Cited by 9 (2 self) – Add To MetaCart

Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends
by Thilo Gaul, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk — 1999
…-Ends Thilo Gaul 1 , Andreas Heberle 1 , Wolf Zimmermann 1 , and Wolfgang Goerigk 2 1 Institut fur…
Cited by 6 (2 self) – Add To MetaCart

Practical Construction of Correct Compiler Implementations by Runtime Result Verification
by Thilo Gaul, Wolf Zimmermann, Wolfgang Goerigk — 2000 — In Proc. SCI’2000, International Conference on Information Systems Analysis and Synthesis
…Practical Construction of Correct Compiler Implementations by Runtime Result Verification Thilo…
Cited by 2 (0 self) – Add To MetaCart

Advanced Generator Techniques for Embedded Compilers
by Thilo S. Gaul, Günter SCHUMACHER — Proceedings of the EMMSEC'99 Conference
…Advanced Generator Techniques for Embedded Compilers Thilo S. GAUL 1 and G[inter SCHUMACHER 2…
Cited by 1 (0 self) – Add To MetaCart

Correct Programs without Proof? On Checker-Based Program Verification
by Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann — 1998 — In Proceedings ATOOLS'98 Workshop on "Tool Support for System Specification, Development, and Verification", Advances in Computing Science
…Correct Programs without Proof ? On Checker-Based Program Verification Wolfgang Goerigk, Thilo Gaul…
Cited by 11 (7 self) – Add To MetaCart

Specification in a Large Industry Consortium - The MOST Approach
by Thilo Gaul, Welf Löwe, Markus L. Noga — 2001
…, cellular phone). This was made possible through the advent of Thilo Gaul Welf Löwe Markus L. Noga…
Add To MetaCart

An Architecture for Verified Compiler Construction
by Thilo Gaul, Gerhard Goos, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk — 1997
…An Architecture for Verified Compiler Construction Thilo Gaul 1 , Gerhard Goos 1 , Andreas…
Cited by 4 (3 self) – Add To MetaCart

Foundations of Fast Communication via XML
by Welf Löwe, Markus L. Noga, Thilo S. Gaul — 2002 — Annals of Software Engineering
… Introduction Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation…
Cited by 9 (2 self) – Add To MetaCart

An ASM Specification of the Operational Semantics of MIS
by Thilo Gaul, Uni Karlsruhe, Cau Kiel, Uni Ulm, Andreas Heberle, Dirk Heuzeroth, Wolf Zimmermann, Contact Dr. Wolf Zimmermann
… Semantics of MIS Thilo Gaul UKA Andreas Heberle UKA Dirk Heuzeroth Wolf Zimmermann UKA Topic: Semantics…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB