Vorabdrucke, Workshopbeiträge und sonstige Veröffentlichungen

• Konferenzbeiträge, Zeitschriftenartikel und Bücher

2009

Consistency Checking for Workflows with an Ontology-Based Data Perspective
Gabriele Weiler. Unpublished, March, 2009

2008

Towards a Fully Abstract Semantics for Object-Oriented Program Components
Arnd Poetzsch-Heffter, Jean-Marie Gaillourdet, Jan Schäfer. Unpublished, July, 2008

Grey-Box Specification and Runtime Testing of Object-Oriented Program Components
Yannick Welsch. Masters Thesis, TU Kaiserslautern, May, 2008

Model-based Development of an Adaptive Vehicle Stability Control System
Rasmus Adler, Ina Schaefer, Tobias Schüle. In: Workshop "Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen", Modellierung 2008, Berlin. March, 2008

2007

On Certifying Code Generation
Jan Olaf Blech. Technical Report, number 366/07, University of Kaiserslautern , http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2144, November, 2007

On Translation Validation for System Abstractions
Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter. Technical Report, number 361/07, Technische Universität Kaiserslautern, http://kluedo.ub.uni-kl.de/volltexte/2007/2124/pdf/BlechSchaeferAPH-TR07.pdf, July, 2007

Specification and Analysis of Constrained XML Documents
Patrick Michel. Masters Thesis, University of Kaiserslautern, July, 2007

2006

Static Guarantees for Algorithms on Constrained XML Documents
Patrick Michel. Unpublished, University of Kaiserslautern, December, 2006

Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems
Ina Schaefer, Arnd Poetzsch-Heffter. Technical Report, In: Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), Dallas, Texas. LNCS, volume 4280, p. 584--585, accepted as Brief Announcement, November, 2006

Redesign and Enhancement of the Katja System
Patrick Michel. Technical Report, number 354/06, University of Kaiserslautern, October, 2006

Using Abstraction in Modular Verification of Synchronous Adaptive Systems
Ina Schaefer, Arnd Poetzsch-Heffter. In: Proceedings of "Workshop on Trustworthy Software", Saarbrücken, May 18-19, 2006. (Dagstuhl Online Proceedings Seminar 06000) available at: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=699, July, 2006

Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten
Jan Schäfer, Arnd Poetzsch-Heffter. In: 23. Workshop der Fachgruppe 'Programmiersprachen und Rechenkonzepte'. Softwaretechnik-Trends , volume 26, number 2, May, 2006 (in german)

Simple Loose Ownership Domains - TR
Jan Schäfer, Arnd Poetzsch-Heffter. Technical Report, number 348/06, Department of Computer Science, University of Kaiserslautern, March, 2006

Certifying Compilers based on Formal Translation Contracts
Marek J. Gawkowski, Jan Olaf Blech, Arnd Poetzsch-Heffter. Technical Report, number 355, University of Kaiserslautern , http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2038, 2006

2005

Adding Position Structures to Katja
Patrick Michel. Technical Report, number 353/06, University of Kaiserslautern, June, 2005

Jive data and store model
Norbert Schirmer, Nicole Rauch. In: Gerwin Klein, Tobias Nipkow, and Lawrence Paulsoned., The Archive of Formal Proofs. http://afp.sourceforge.net/entries/JiveDataStoreModel.shtml, 2005

2004

Katja: Generating Immutable Java Classes for Term and Position Types
Patrick Michel. Unpublished, University of Kaiserslautern, December, 2004

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
Nicole Rauch, Burkhart Wolff. Technical Report, number 458, ETH Zürich, November, 2004

Encapsulation and Specification of Object-Oriented Runtime Components
Jan Schäfer. Masters Thesis, Technische Universität Kaiserslautern, September, 2004

Generating Order-Sorted Data Types in Java
Jan Schäfer. Unpublished, Technische Universität Kaiserslautern, Software Technology Group, Project Thesis, Februrary, 2004

Minerva - A Component-Based Framework for Active Documents
Markus Reitz, Christian Stenzel. Unpublished, 2004

2003

Semantics-Directed Implementation of Method-Call Interception
Ralf Lämmel, Christian Stenzel. Unpublished, 46 pages; Accepted for publication in IEE Proceedings Software; Special Issue on Unanticipated Software Evolution, November, 2003

2001

Modular Specification of Frame Properties in JML
Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens. Technical Report, number 01-03, Department of Computer Science, Iowa State University, Available from archives.cs.iastate.edu, April, 2001

Universes: A Type System for Alias and Dependency Control
Peter Müller, Arnd Poetzsch-Heffter. Technical Report, number 279, Fernuniversität Hagen, Available, 2001

2000

Strategies for Verification of Object-Oriented Programs
Jörg Meyer, Arnd Poetzsch-Heffter. Unpublished, Published at 'The 4th Workshop on Tools for System Design and Verification', April, 2000

Formal Techniques for Java Programs. Proceedings of the ECOOP 2000 Workshop
Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller. In: Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and Müller, P. and Poetzsch-Heffter, A.ed., Technical Report 269, Fernuniversität Hagen, Available, 2000

Formal Verification of a Doubly Linked List Implementation <br>A Case Study Using the Jive System
Marcel Labeth, Jörg Meyer, Peter Müller, Arnd Poetzsch-Heffter. Technical Report, number 270, Fernuniversität Hagen, Available(), 2000

The Jive System - Implementation Description
Jörg Meyer, Peter Müller, Arnd Poetzsch-Heffter. Unpublished, Available, 2000

1999

Formal Techniques for Java Programs. Proceedings of the ECOOP'99 Workshop
Bart Jacobs. In: Jacobs, B. and Leavens, G. T. and Müller, P. and Poetzsch-Heffter, A.ed., Technical Report 251, Fernuniversität Hagen, Available, 1999

1998

Constructing Verification Environments for Object-oriented Programs
Jörg Meyer, Arnd Poetzsch-Heffter. http://i12www.ira.uka.de/Workshop/final.html; Available, 1998

1997

Programming and Interface Language of JIVE - Specification and Design Rationale
Arnd Poetzsch-Heffter. Technical Report, volume 223, FernUniversität Hagen, Available, 1997

1996

A Brief Study in Automating Proofs Based on a Refined Hoare-Logic
Peter Müller, Arnd Poetzsch-Heffter. Technical Report, volume TUM-I9635, Technische Universität München, Available, November, 1996

1993

The MAX System: A Tutorial Introduction
Arnd Poetzsch-Heffter, Thomas Eisenbarth. Technical Report, number TUM-I9307, Institut für Informatik, Technische Universität München, April, 1993