Wolfgang Goerigk - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2012

2011

Model Driven Development of Distributed Business ApplicationsWolfgang Goerigk. kivs 2011: 211-213 [doi]

Model-Driven Instrumentation for Dynamic Analysis of Legacy Software SystemsAndré van Hoorn, Holger Knoche, Wolfgang Goerigk, Wilhelm Hasselbring. stt, 31(2), 2011. [doi]

2009

Modellgetriebenes Softwareengineering - Der Beginn industrieller Softwareproduktion?Wolfgang Goerigk, Thomas Stahl. se 2009: 115-118 [doi]

2003

A Completely Verified Realistic Bootstrap CompilerAxel Dold, Friedrich W. von Henke, Wolfgang Goerigk. ijfcs, 14(4):659, 2003. [doi]

2002

Towards Acceptability of Optimizations: An Extended View of Compiler CorrectnessWolfgang Goerigk. ENTCS, 65(2):100-114, 2002. [doi]

2001

Mechanical Software Verification: High Level Control Aspects from a User s PerspectiveWolfgang Goerigk. TCS, 58(2):117-137, 2001. [doi]

1999

Arbeitstagung Programmiersprachen - VorwortWolfgang Goerigk, Arnd Poetzsch-Heffter. gi 1999: 349

Towards Rigorous Compiler Implementation VerificationWolfgang Goerigk, Friedemann H. Simon. collaboration 1999: 62-73

Construction of Verified Compiler Front-Ends with Program-CheckingAndreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann. ershov 2000: 481-492 [doi]

1998

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing CorrectWolfgang Goerigk, Ulrich Hoffmann. FM 1999: 122-136

Correct Programs without Proof? On Checker-Based Program VerificationWolfgang Goerigk, Thilo Gaul, Wolf Zimmermann. tssdv 1999: 108-122 [doi]

1996

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-UmgebungenWolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek. ki, 10(2):31-33, 1996.

1993

Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer VererbungWolfgang Goerigk. PhD thesis, University of Kiel, Germany, 1993. [doi]

1992

Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISPHarry Bretthauer, Thomas Christaller, H. Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, H. Knutzen, Jürgen Kopp, E. U. Kriegel, I. Mohr, R. Rosenmüller, Friedemann H. Simon. ki, 6(2):50-54, 1992.

1991

Wissensbasiskompilation: KI-Techniken in industrieller AnwendungDieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon. ki, 5(2):93-96, 1991.

Sign in or sign up to see more results.

runs on WebDSL