Wissensbasiskompilation: KI-Techniken in industrieller Anwendung. - Dieter Ackermann; Wolfgang Goerigk; Friedemann H. Simon (Künstliche Intell., 1991)

Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. - Harry Bretthauer; Thomas Christaller; Horst Friedrich; Wolfgang Goerigk; Winfried Heicking; Ulrich Hoffmann 002; Dieter Hovekamp; Heinz Knutzen; Jürgen Kopp; E. Ulrich Kriegel; Ingo Mohr; Rainer Rosenmüller; et al. (Künstliche Intell., 1992)

Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung. - Wolfgang Goerigk (1993)

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. - Wolfgang Goerigk; Harold Boley; Ulrich Hoffmann 002; Markus Perling; Michael Sintek (Künstliche Intell., 1996)

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. - Wolfgang Goerigk; Ulrich Hoffmann 002 (FM-Trends, 1998)

Correct Programs without Proof? On Checker-Based Program Verification. - Wolfgang Goerigk; Thilo Gaul; Wolf Zimmermann (Tool Support for System Specification, Development and Verification, 1998)

Towards Rigorous Compiler Implementation Verification. - Wolfgang Goerigk; Friedemann H. Simon (Collaboration between Human and Artificial Societies, 1999)

Construction of Verified Compiler Front-Ends with Program-Checking. - Andreas Heberle; Thilo Gaul; Wolfgang Goerigk; Gerhard Goos; Wolf Zimmermann (Ershov Memorial Conference, 1999)

Arbeitstagung Programmiersprachen - Vorwort. - Wolfgang Goerigk; Arnd Poetzsch-Heffter (GI Jahrestagung, 1999)

Mechanical Software Verification: High Level Control Aspects from a User's Perspective. - Wolfgang Goerigk (STRATEGIES@IJCAR, 2001)

Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. - Wolfgang Goerigk (COCV@ETAPS, 2002)

A Completely Verified Realistic Bootstrap Compiler. - Axel Dold; Friedrich W. von Henke; Wolfgang Goerigk (Int. J. Found. Comput. Sci., 2003)

Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion? - Wolfgang Goerigk; Thomas Stahl (Software Engineering (Workshops), 2009)

Model Driven Development of Distributed Business Applications. - Wolfgang Goerigk (KiVS, 2011)

Model-Driven Instrumentation for Dynamic Analysis of Legacy Software Systems. - André van Hoorn; Holger Knoche; Wolfgang Goerigk; Wilhelm Hasselbring (Softwaretechnik-Trends, 2011)

Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. - Wolfgang Goerigk; Wilhelm Hasselbring; Gregor Hennings; Reiner Jung; Holger Neustock; Heiko Schaefer; Christian Schneider 004; Elferik Schultz; Thomas Stahl; Reinhard von Hanxleden; Steffen Weik; Stefan Zeug (Software Engineering, 2012)

Automated Source-Level Instrumentation for Dynamic Dependency Analysis of COBOL Systems. - Holger Knoche; André van Hoorn; Wolfgang Goerigk; Wilhelm Hasselbring (Softwaretechnik-Trends, 2012)