Seuraa
Wolfgang Goerigk
Wolfgang Goerigk
Privatdozent, Universität Kiel
Vahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-kiel.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW von Henke, ...
Proceedings of the Poster Session of CC 96, 1996
831996
DynaMod project: Dynamic analysis for model-driven software modernization
A van Hoorn, S Frey, W Goerigk, W Hasselbring, H Knoche, S Köster, ...
422011
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, 1998
371998
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
341998
Construction of verified compiler front-ends with program-checking
A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann
Perspectives of System Informatics: Third International Andrei Ershov …, 2000
262000
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
231999
Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke
W Goerigk, R von Hanxleden, W Hasselbring, G Hennings, R Jung, ...
Gesellschaft für Informatik eV 198, 119-130, 2012
202012
Compiler verification revisited
W Goerigk
Computer-Aided Reasoning: ACL2 Case Studies, 247-264, 2000
202000
Automated source-level instrumentation for dynamic dependency analysis of COBOL systems
H Knoche, A van Hoorn, W Goerigk, W Hasselbring
Softwaretechnik-Trends 32 (2), 45-46, 2012
192012
On trojan horses in compiler implementations
W Goerigk
Proc. des Workshops Sicherheit und Zuverlassigkeit softwarebasierter Systeme, 1999
191999
Towards rigorous compiler implementation verification
W Goerigk, F Simon
Collaboration between Human and Artificial Societies: Coordination and Agent …, 1999
191999
Model-driven instrumentation for dynamic analysis of legacy software systems
A van Hoorn, H Knoche, W Goerigk, W Hasselbring
Softwaretechnik-Trends 31 (2), 26-27, 2011
172011
A completely verified realistic bootstrap compiler
A Dold, F Henke, W Goerigk
International Journal of Foundations of Computer Science 14 (04), 659-680, 2003
172003
The Compiling Specification from ComLisp to Executable Machine Code
W Goerigk, U Hoffmann
Universität Kiel. Institut für Informatik und Praktische Mathematik, 1998
151998
An Architecture for Verified Compiler Construction
T Gaul, G Goos, A Heberle, W Zimmermann, W Goerigk
Joint Modular Languages Conference 1996, 1997
151997
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
122000
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
12
Compiling ComLisp to Executable Machine Code: Compiler Construction
W Goerigk, U Hoffmann
111998
The Compiler Implementation Language ComLisp
W Goerigk, U Hoffmann
Verifix-Arbeitsbericht Verifix, 1996
111996
Compiler implementation verification and trojan horses
W Goerigk, H Langmaack
Proc. 9th International Colloquium on Numerical Analysis and Computer …, 2001
82001
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20