Wolfgang Goerigk
Wolfgang Goerigk
Privatdozent, Universität Kiel
Verified email at - Homepage
Cited by
Cited by
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ...
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ...
DynaMod project: Dynamic analysis for model-driven software modernization
A Van Hoorn, S Frey, W Goerigk, W Hasselbring, H Knoche, S Köster, ...
Correct programs without proof? On checker-based program verification
W Goerigk, T Gaul, W Zimmermann
Tool Support for System Specification, Development and Verification, 108-122, 1999
Rigorous compiler implementation correctness: How to prove the real thing correct
W Goerigk, U Hoffmann
International Workshop on Current Trends in Applied Formal Methods, 122-136, 1998
Construction of verified compiler front-ends with program-checking
A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann
International Andrei Ershov Memorial Conference on Perspectives of System …, 1999
Construction of verified software systems with program-checking: An application to compiler back-ends
T Gaul, A Heberle, W Zimmermann, W Goerigk
Proceedings of RTRV 99, 1999
Automated source-level instrumentation for dynamic dependency analysis of COBOL systems
H Knoche, A van Hoorn, W Goerigk, W Hasselbring
Compiler verification revisited
W Goerigk
Computer-Aided Reasoning, 247-264, 2000
Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke
W Goerigk, R Hanxleden, W Hasselbring, G Hennings, R Jung, ...
Software Engineering 2012, 2012
Model-driven instrumentation for dynamic analysis of legacy software systems
A Van Hoorn, H Knoche, W Goerigk, W Hasselbring
On trojan horses in compiler implementations
W Goerigk
Proc. des Workshops Sicherheit und Zuverlassigkeit softwarebasierter Systeme, 1999
Towards rigorous compiler implementation verification
W Goerigk, F Simon
Collaboration between Human and Artificial Societies, 62-73, 1999
A completely verified realistic bootstrap compiler
A Dold, F Henke, W Goerigk
International Journal of Foundations of Computer Science 14 (04), 659-680, 2003
The Compiling Specification from ComLisp to Executable Machine Code
W Goerigk, U Hoffmann
Institut fur Informatik, CAU, 1998
An Architecture for Verified Compiler Construction
T Gaul, G Goos, A Heberle, W Zimmermann, W Goerigk
Joint Modular Languages Conference 1996, 1997
Ulrich Ho mann, Hans Langmaack, Holger Pfeifer, Harald Ruess, and Wolf Zimmermann. Compiler Correctness and Implementation Verification: The Veri x Approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW von Henke
Proceedings of the Poster Session of CC, 65-73, 0
Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof
W Goerigk
Proc. of the ACL2’2000 Workshop, Austin, Texas, USA, 2000
Compiling ComLisp to Executable Machine Code: Compiler Construction
W Goerigk, U Hoffmann
The Compiler Implementation Language ComLisp
W Goerigk, U Hoffmann
Verifix-Arbeitsbericht Verifix, 1996
The system can't perform the operation now. Try again later.
Articles 1–20