Wolfgang Goerigk

Publication Activity (10 Years)

Years Active: 1991-2012
Publications (10 Years): 0

Top Venues

Softwaretechnik-Trends

Software Engineering

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Wolfgang Goerigk, Wilhelm Hasselbring, Gregor Hennings, Reiner Jung, Holger Neustock, Heiko Schaefer, Christian Schneider, Elferik Schultz, Thomas Stahl, Reinhard von Hanxleden, Steffen Weik, Stefan Zeug
Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. Software Engineering (2012)
Holger Knoche, André van Hoorn, Wolfgang Goerigk, Wilhelm Hasselbring
Automated Source-Level Instrumentation for Dynamic Dependency Analysis of COBOL Systems. Softwaretechnik-Trends 32 (2) (2012)
André van Hoorn, Holger Knoche, Wolfgang Goerigk, Wilhelm Hasselbring
Model-Driven Instrumentation for Dynamic Analysis of Legacy Software Systems. Softwaretechnik-Trends 31 (2) (2011)
Wolfgang Goerigk
Model Driven Development of Distributed Business Applications. KiVS (2011)
Wolfgang Goerigk, Thomas Stahl
Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion? Software Engineering (Workshops) (2009)
Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. 14 (4) (2003)
Wolfgang Goerigk
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Wolfgang Goerigk
Mechanical Software Verification: High Level Control Aspects from a User's Perspective. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference (1999)
Wolfgang Goerigk, Arnd Poetzsch-Heffter
Arbeitstagung Programmiersprachen - Vorwort. GI Jahrestagung (1999)
Wolfgang Goerigk, Friedemann H. Simon
Towards Rigorous Compiler Implementation Verification. Collaboration between Human and Artificial Societies (1999)
Wolfgang Goerigk, Ulrich Hoffmann
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. FM-Trends (1998)
Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann
Correct Programs without Proof? On Checker-Based Program Verification. Tool Support for System Specification, Development and Verification (1998)
Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek
Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. Künstliche Intell. 10 (2) (1996)
Harry Bretthauer, Thomas Christaller, H. Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, H. Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, Friedemann H. Simon
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. Künstliche Intell. 6 (2) (1992)
Dieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon
Wissensbasiskompilation: KI-Techniken in industrieller Anwendung. Künstliche Intell. 5 (2) (1991)

Wolfgang Goerigk.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Goerigk