2001 2000 1999 1998 1997 1996

Publications

1995 1993 1992 1991 1989 1987


 

Invited Conference or Workshop Paper

W. Goerigk (Invited Paper):


Mechanical Software Verification: High Level Control Aspects from a User's Perspective.
IJCAR 2001, STRATEGIES, Siena, Italy, 2001.

Journal Article

W. Goerigk, H. Langmaack (2001, Submitted):

Will Informatics be able to Justify the Construction of Large Computer Based Systems?

Conference or Workshop Paper

R. Bartsch, W. Goerigk (2001, © AAAI Press):

Mechanical a-posteriori Verification of Results: A Case Study for a Safety Critical AI System.
AAAI Spring Symposium, Stanford, USA, 2001. 

Top of Page


Invited Conference or Workshop Paper

W. Goerigk, H. Langmaack (Invited Paper):

Compiler Implementation Verification and Trojan Horses.
In D. Bainov (ed.), Proceedings of the 9th International Colloquium on Numerical Analysis and Computer Sciences with Applications, Plovdiv, Bulgaria, 2000. [Draft Extended Version[BibTeX]

Conference or Workshop Paper

W. Goerigk:

Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof.
ACL2 Workshop 2000, Austin, Tx. U.S.A, October 2000. [BibTeX]

Book or Book Contribution

W. Goerigk Kluwer Academic Publishers):

Compiler Verification Revisited.
In M;. Kaufmann, P. Manolios, J Moore (ed.): Computer Aided Reasoning: ACL2 Case Studies. Kluwer, 2000.

Workshop Contribution

W. Goerigk:

Reflections on Ken Thompson's Reflections on Trusting Trust (Extended Abstract).
In W. Reif und G. Schellhorn (eds.): Proc. of the The 4th Workshop on Tools for System Design and Verification FMTools'2000, No. 2000-07 of Ulmer Informatik-Berichte, Reisensburg Castle, Germany, May 2000. [BibTeX] [Postscript]

Conference or Workshop Paper

T. Gaul, W. Zimmermann, and W. Goerigk:

Practical Construction of Correct Compiler Implementations by Runtime Result Verification.
In Proceedings of SCI'2000, International Conference on Information Systems Analysis and Synthesis, Orlando, Florida, 2000. [BibTeX] [Postscript]

Book or Book Contribution

W. Goerigk:

Trusted Program Execution.
Habilitationsschrift. Technische Fakultät der Christian-Albrechts-Universität zu Kiel, May 2000. To be published.[BibTeX]

Edition

W. Goerigk (ed.):

Proceedings Workshop ``Programmiersprachen und Rechenkonzepte''.
Bad Honnef 2000, Bericht Nr. 2007 des Instituts für Informatik und Prakt. Math. der CAU Kiel, Kiel, July 2000. [BibTeX]

Top of Page


Conference or Workshop Paper

W. Goerigk (1999):

On Trojan Horses in Compiler Implementations.
In F. Saglietti und W. Goerigk (eds.), Proc. Workshop Sicherheit und Zuverlässigkeit softwarebasierter Systeme, ISTec Report ISTec-A-367, ISBN 3-00-004872-3, Garching, 1999. [BibTeX] [Postscript]

Conference or Workshop Paper

Th. Gaul, W. Zimmermann, und W. Goerigk

Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends.
In A. Pnueli und P. Traverso (eds.), Proc. FLoC'99 International Workshop on ``Runtime Result Verification'', Trento, Italy, 1999. [BibTeX] [Postscript]

Conference or Workshop Paper

M. Fränzle, W. Goerigk, B.v. Karger, und M. Müller-Olm:

Beyond ProCoS at Kiel: A Synopsis of Recent Research.
In ProCoS WG Workshop at FM'99, S. 1-17. Springer electronic media, September 1999. available from FM'99 CD-Rom. [BibTeX] [Postscript]

Conference or Workshop Paper

A. Heberle, T. Gaul, W. Goerigk, G. Goos, und W. Zimmermann:

Construction of Verified Compiler Front-Ends with Program-Checking.
In Proceedings of PSI '99: Andrei Ershov Third International Conference on Perspectives Of System Informatics, Nr. 1755, Lecture Notes in Computer Science, Novosibirsk, Russia, 1999. Springer Verlag. [BibTeX]

Edition

A. Poetzsch-Heffter and W. Goerigk (eds.):

Arbeitstagung Programmiersprachen '99.
Number 258-8/1999 in Informatik-Berichte. FernUniversität Hagen, 1999. [BibTeX]

Edition

W. Goerigk, A. Poetzsch-Heffter (eds.):

Arbeitstagung Programmiersprachen '99.
In K. Beiersdörfer, G. Engels, W. Schäfer (eds.). Informatik '99, Tagungsband der GI-Jahrestagung 1999. Informatik Aktuell, Paderborn, 1999. Springer Verlag. [BibTeX]

Edition

F. Saglietti, W. Goerigk (eds.):

Proceedings Workshop Sicherheit und Zuverlässigkeit softwarebasierter Systeme.
ISTec Report ISTec-A-367, ISBN 3-00-004872-3, Garching, 1999. [BibTeX]

Top of Page


Conference or Workshop Paper

W. Goerigk, U. Hoffmann (1998, © Springer):

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 
In D. Hutter, W. Stephan, P. Traverso, M. Ullmann (eds.), Applied Formal Methods - FM-Trends 98, Nr. 1641, Lecture Notes in Computer Science, S. 122 - 136, 1998. [BibTeX] [Postscript]

Conference or Workshop Paper

W. Goerigk, W. Zimmermann, Th. Gaul, A. Heberle, U. Hoffmann:

Praktikable Konstruktion korrekter Übersetzer.
In: P. Löhr (ed.), Proceedings Softwaretechnik ST '98, Nr. 18(3), Softwaretechnik-Trends, S. 26 - 34, Paderborn, 1998. [BibTeX] [Postscript]

Conference or Workshop Paper

R. Diekmann, W. Goerigk, U. Hoffmann:

Netzwerkfähige Lisp-Anwendungen mit graphischer Oberfläche durch Einsatz von Standardkomponenten.
In: U. Geske und W. Goerigk (eds.),Proceedings KI'98 Workshop ``Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen'', Nr. 29, GMD-First Reports, S. 45 - 53, Bremen, 1998. [BibTeX] [Postscript]

Conference or Workshop Paper

W. Goerigk, Th. Gaul, W. Zimmermann (1998, © Springer):

Correct Programs without Proof? On Checker-Based Program Verification.
In: R. Berghammer und Y. Lakhnech (eds.), Proceedings ATOOLS'98 Workshop on ``Tool Support for System Specification, Development, and Verification'', Advances in Computing Science, S. 108 - 122, Wien, New York, 1998. Springer Verlag. [BibTeX] [Postscript]

Conference or Workshop Paper

W. Goerigk:

Correct Programs without Proof? On Checker-Based Program Verification - Extended Abstract.
In: Herbert Kuchen (ed.), 7th International Workshop on Functional and Logic Programming, Bad Honnef, 1998. [BibTeX]

Conference or Workshop Paper

W. Goerigk und F. Simon:

Towards Rigorous Compiler Implementation Verification.
In: Julian Padget (ed.), Proceedings of the VIM Spring and Winter Workshops, Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1998. Springer Verlag. [BibTeX] [Postscript]

Edition

U. Geske, W. Goerigk (eds.):

Proc. Workshop ``Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen''. KI'98 Bremen, 1998. 
Nr. 29, GMD-First Reports, Berlin, September 1998. [BibTeX]

Top of Page


Conference or Workshop Paper

Th. Gaul, G. Goos, A. Heberle, W. Zimmermann, und W. Goerigk:

An Architecture for Verified Compiler Construction.
In: Joint Modular Languages Conference JMLC'97, Linz, Austria, March 1997. [BibTeX] Postscript]

Edition

W. Goerigk (ed.):

Proc. Workshop ``Alternative Konzepte für Sprachen und Rechner''.
Bad Honnef 1997, Bericht Nr. 9712 des Instituts für Informatik und Prakt. Math. der CAU Kiel, Kiel, July 1997. [BibTeX]

Conference or Workshop Paper

W. Goerigk:

Towards Rigorous Compiler Implementation Verification.
In: R. Berghammer und F. Simon (eds.), Proc. of the 1997 Workshop on Programming Languages and Fundamentals of Programming, S.\ 118 - 126, Avendorf, Germany, November 1997. [BibTeX] [Postscript]

Conference or Workshop Paper

W. Goerigk:

Towards Rigorous Compiler Implementation Verification.
In: Workshop ``Alternative Konzepte für Sprachen und Rechner'', S. 28 - 36, Bad Honnef, 1997.[BibTeX]

Top of Page


Conference or Workshop Paper

W. Goerigk, A. Dold, Th. Gaul, G. Goos, A. Heberle, F. W. von Henke, U. Hoffmann, H. Langmaack, H. Pfeifer, H. Ruess, und W. Zimmermann:

Compiler Correctness and Implementation Verification: The Verifix Approach.
In P. Fritzson (ed.), Proceedings of the Poster Session of CC '96 - International Conference on Compiler Construction, S. 65 - 73, IDA Technical Report LiTH-IDA-R-96-12, Linkøping, Sweden, 1996. [BibTeX] [Postscript]

Edition

W. Goerigk, R. Hoffmann, K.-D. Reinartz, F. Simon (eds.):

Proc. Workshop ``Programmiersprachen und hardware-nahe Programmierung''.
Bad Honnef 1996, PARS-Mitteilungen, Erlangen, August 1996. [BibTeX]

Journal Article

W. Goerigk, H. Boley, U. Hoffmann, M. Perling, M. Sintek:

Komplettkompilation von Lisp: Eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen.
KI, 10(2):31 - 34, 1996.[BibTeX]

Top of Page


Conference or Workshop Paper

W. Goerigk.

On the Correctness of Compilers and Compiler Implementations.
In Workshop ``Alternative Konzepte für Sprachen und Rechner'', Bad Honnef, 1995. [BibTeX]

Top of Page


Conference or Workshop Paper

W. Goerigk und F. Simon:

Migration und Kompilation in Lisp: Ein Weg von Prototypen zu Anwendungen.
Proc. Workshop ``Neuere Entwicklungen der deklarativen KI-Programmierung'', DFKI Research Report RR-93-35:31-52, September 1993. [BibTeX]

Book or Book Contribution

W. Goerigk:

Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung.
Dissertation, Math.-Nat. Fakultät der Christian-Albrechts-Universität, Kiel, 1993. [BibTeX]

Top of Page


Journal Article

H. Bretthauer, Th. Christaller, H. Friedrich, W. Goerigk, W. Heicking, U. Hoffmann, D. Hovekamp, H. Knutzen, J. Kopp, E. U. Kriegel, I. Mohr, R. Rosenmüller, F. Simon:

Das Verbundvorhaben APPLY: Ein modernes und bedarfsgerechtes Lisp.
KI, 2:50-54, June 1992.[BibTeX]

Book or Book Contribution

D. Ackermann, W. Goerigk, F. Simon:

Knowledge Base Compilation.
In: Thomas Christaller, Franco diPrimio, Uwe Schnepf, und Angi Voß (eds.), The AI-Workbench BABYLON - an Open and Portable Development Environment for Expert Systems, New York, USA, 1992. Academic Press. [BibTeX]

Top of Page


Journal Article

D. Ackermann, W. Goerigk, und F. Simon:

Wissensbasiskompilation: KI-Technik in industrieller Anwendung. 
KI, 91(2):93-96, June 1991. [BibTeX]

Conference or Workshop Paper

W. Goerigk, F. Simon:

Zielsetzungen im Verbundvorhaben APPLY.
In: Workshop ``Alternative Konzepte für Sprachen und Rechner'', Bericht Nr. 8/91-I des Instituts für angewandte Mathematik und Informatik der Univ. Münster, 1991.[BibTeX]

Conference or Workshop Paper

O. Burkart, W. Goerigk, H. Knutzen.

CLiCC: A New Approach to the Compilation from Common Lisp Programs to C.
In: Workshop ``Alternative Konzepte für Sprachen und Rechner'', Bericht Nr. 8/91-I des Instituts für angewandte Mathematik und Informatik der Univ. Münster, 1991.[BibTeX]

Top of Page


Book or Book Contribution

D. Ackermann, W. Goerigk, F. Simon.

Wissensbasiskompilation
In: Th. Christaller, F. diPrimio, und A. Voß (eds.): Die KI-Werkbank BABYLON, Bonn, 1989. Addison-Wesley. [BibTeX]

Conference or Workshop Paper

W. Goerigk.

Zur Korrektheit eines Übersetzers für objektorientierte Sprachen: Ein Beweisansatz.
In: W. Dosch (ed.), Arbeitstreffen Funktionale und logische Programmierung - Sprachen, Methoden, Implementationen, S. 8-20, Institut für Mathematik der Universität Augsburg, 1989.[BibTeX]

Workshop Contribution

W. Goerigk.

Semantik und Übersetzung objektorientierter Wissensrepräsentationssprachen.
In Workshop ``Alternative Konzepte für Sprachen und Rechner'', Bad Honnef, 1989. [BibTeX]

Top of Page


Workshop Contribution

D. Ackermann, W. Goerigk.

Übersetzung von PROLOG nach LISP
In: Workshop ``Alternative Konzepte für Sprachen und Rechner'', Bad Honnef, 1987. [BibTeX]

Workshop Contribution

D. Ackermann und W. Goerigk. 

Das Projekt: Übersetzung von Wissensbasen.
In: Workshop ``Alternative Konzepte für Sprachen und Rechner'', Bad Honnef, 1987. [BibTeX]