| 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 | 83 | 1996 |
| DynaMod project: Dynamic analysis for model-driven software modernization A van Hoorn, S Frey, W Goerigk, W Hasselbring, H Knoche, S Köster, ... | 42 | 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, 1998 | 37 | 1998 |
| 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 | 34 | 1998 |
| 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 | 26 | 2000 |
| 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 |
| 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 | 20 | 2012 |
| Compiler verification revisited W Goerigk Computer-Aided Reasoning: ACL2 Case Studies, 247-264, 2000 | 20 | 2000 |
| 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 | 19 | 2012 |
| On trojan horses in compiler implementations W Goerigk Proc. des Workshops Sicherheit und Zuverlassigkeit softwarebasierter Systeme, 1999 | 19 | 1999 |
| Towards rigorous compiler implementation verification W Goerigk, F Simon Collaboration between Human and Artificial Societies: Coordination and Agent …, 1999 | 19 | 1999 |
| 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 | 17 | 2011 |
| A completely verified realistic bootstrap compiler A Dold, F Henke, W Goerigk International Journal of Foundations of Computer Science 14 (04), 659-680, 2003 | 17 | 2003 |
| The Compiling Specification from ComLisp to Executable Machine Code W Goerigk, U Hoffmann Universität Kiel. Institut für Informatik und Praktische Mathematik, 1998 | 15 | 1998 |
| An Architecture for Verified Compiler Construction T Gaul, G Goos, A Heberle, W Zimmermann, W Goerigk Joint Modular Languages Conference 1996, 1997 | 15 | 1997 |
| 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 | 12 | 2000 |
| 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 | 11 | 1998 |
| The Compiler Implementation Language ComLisp W Goerigk, U Hoffmann Verifix-Arbeitsbericht Verifix, 1996 | 11 | 1996 |
| Compiler implementation verification and trojan horses W Goerigk, H Langmaack Proc. 9th International Colloquium on Numerical Analysis and Computer …, 2001 | 8 | 2001 |
Wolf ZimmermannMartin-Luther-Universität Halle Wittenberg在 informatik.uni-halle.de 的电子邮件经过验证
