Wolfgang Goerigk

According to our database, Wolfgang Goerigk authored at least 17 papers between 1991 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Automated Source-Level Instrumentation for Dynamic Dependency Analysis of COBOL Systems.

Holger Knoche, André van Hoorn, Wolfgang Goerigk, Wilhelm Hasselbring

Softwaretechnik-Trends, 2012

Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke.

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

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2011

Model-Driven Instrumentation for Dynamic Analysis of Legacy Software Systems.

André van Hoorn, Holger Knoche, Wolfgang Goerigk, Wilhelm Hasselbring

Softwaretechnik-Trends, 2011

Model Driven Development of Distributed Business Applications.

Wolfgang Goerigk

Proceedings of the 17th GI/ITG Conference on Communication in Distributed Systems, 2011

2009

Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion?

Wolfgang Goerigk, Thomas Stahl

Proceedings of the Software Engineering 2009, 2009

2003

A Completely Verified Realistic Bootstrap Compiler.

Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk

Int. J. Found. Comput. Sci., 2003

2002

Towards Acceptability of Optimizations: An Extended View of Compiler Correctness.

Wolfgang Goerigk

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

2001

Mechanical Software Verification: High Level Control Aspects from a User's Perspective.

Wolfgang Goerigk

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

1999

Arbeitstagung Programmiersprachen - Vorwort.

Wolfgang Goerigk, Arnd Poetzsch-Heffter

Proceedings of the Informatik '99, 1999

Construction of Verified Compiler Front-Ends with Program-Checking.

Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann

Proceedings of the Perspectives of System Informatics, 1999

Towards Rigorous Compiler Implementation Verification.

Wolfgang Goerigk, Friedemann H. Simon

Proceedings of the Collaboration between Human and Artificial Societies, 1999

1998

Correct Programs without Proof? On Checker-Based Program Verification.

Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann

Proceedings of the International Workshop Tool Support for System Specification, 1998

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.

Wolfgang Goerigk, Ulrich Hoffmann

Proceedings of the Applied Formal Methods, 1998

1996

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen.

Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek

Künstliche Intell., 1996

1993

Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung.

Wolfgang Goerigk

PhD thesis, 1993

1992

Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, Friedemann H. Simon

Künstliche Intell., 1992

1991

Wissensbasiskompilation: KI-Techniken in industrieller Anwendung.

Dieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon

Künstliche Intell., 1991