| Compiler correctness and implementation verification: The verifix approach W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ... | 77 | 1996 |
| Compiler correctness and implementation verification: The verifix approach W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ... | 77 | 1996 |
| DynaMod project: Dynamic analysis for model-driven software modernization A Van Hoorn, S Frey, W Goerigk, W Hasselbring, H Knoche, S Köster, ... | 39 | 2011 |
| 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 | 36 | 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 | 33 | 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 | 25 | 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 | 23 | 1999 |
| Automated source-level instrumentation for dynamic dependency analysis of COBOL systems H Knoche, A van Hoorn, W Goerigk, W Hasselbring | 20 | 2012 |
| Compiler verification revisited W Goerigk Computer-Aided Reasoning, 247-264, 2000 | 20 | 2000 |
| Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke W Goerigk, R Hanxleden, W Hasselbring, G Hennings, R Jung, ... Software Engineering 2012, 2012 | 18 | 2012 |
| Model-driven instrumentation for dynamic analysis of legacy software systems A Van Hoorn, H Knoche, W Goerigk, W Hasselbring | 18 | 2011 |
| On trojan horses in compiler implementations W Goerigk Proc. des Workshops Sicherheit und Zuverlassigkeit softwarebasierter Systeme, 1999 | 18 | 1999 |
| Towards rigorous compiler implementation verification W Goerigk, F Simon Collaboration between Human and Artificial Societies, 62-73, 1999 | 18 | 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 | 16 | 2003 |
| The Compiling Specification from ComLisp to Executable Machine Code W Goerigk, U Hoffmann Institut fur Informatik, CAU, 1998 | 14 | 1998 |
| An Architecture for Verified Compiler Construction T Gaul, G Goos, A Heberle, W Zimmermann, W Goerigk Joint Modular Languages Conference 1996, 1997 | 14 | 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 | 12 | |
| 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 | 11 | 2000 |
| Compiling ComLisp to Executable Machine Code: Compiler Construction W Goerigk, U Hoffmann | 10 | 1998 |
| The Compiler Implementation Language ComLisp W Goerigk, U Hoffmann Verifix-Arbeitsbericht Verifix, 1996 | 9 | 1996 |
Wolf ZimmermannMartin-Luther-Universität Halle WittenbergVerified email at informatik.uni-halle.de
