Wolfgang Goerigk

17 papers C 2Journal 6Unranked 8

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Automated Source-Level Instrumentation for Dynamic Dependency Analysis of COBOL Systems. Softwaretechnik-Trends Holger Knoche, André van Hoorn, Wolfgang Goerigk, Wilhelm Hasselbring
2012	C	`conf`	Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. Software Engineering 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
2011	—	`conf`	Model Driven Development of Distributed Business Applications. KiVS Wolfgang Goerigk
2011	J	`jnl`	Model-Driven Instrumentation for Dynamic Analysis of Legacy Software Systems. Softwaretechnik-Trends André van Hoorn, Holger Knoche, Wolfgang Goerigk, Wilhelm Hasselbring
2009	C	`conf`	Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion? Software Engineering (Workshops) Wolfgang Goerigk, Thomas Stahl
2003	J	`jnl`	A Completely Verified Realistic Bootstrap Compiler. Int. J. Found. Comput. Sci. Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
2002	—	`conf`	Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. COCV Wolfgang Goerigk
2001	—	`conf`	Mechanical Software Verification: High Level Control Aspects from a User's Perspective. STRATEGIES@IJCAR Wolfgang Goerigk
1999	—	`conf`	Arbeitstagung Programmiersprachen - Vorwort. GI Jahrestagung Wolfgang Goerigk, Arnd Poetzsch-Heffter
1999	—	`conf`	Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
1999	—	`conf`	Towards Rigorous Compiler Implementation Verification. Collaboration between Human and Artificial Societies Wolfgang Goerigk, Friedemann H. Simon
1998	—	`conf`	Correct Programs without Proof? On Checker-Based Program Verification. Tool Support for System Specification, Development and Verification Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann
1998	—	`conf`	Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. FM-Trends Wolfgang Goerigk, Ulrich Hoffmann
1996	J	`jnl`	Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. Künstliche Intell. Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek
1993	—	`—`	Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung. Wolfgang Goerigk
1992	J	`jnl`	Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. Künstliche Intell. 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
1991	J	`jnl`	Wissensbasiskompilation: KI-Techniken in industrieller Anwendung. Künstliche Intell. Dieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon