Weitere Aufsätze und Vorabdrucke
2015
-
replikativ.io: Composable consistency primitives for a scalable and robust global replication system#
Christian Weilbach, Konrad K"uhne and Annette Bieniusa. In CoRR, volume abs/1508.05545 2015. (bib, url)
2013
-
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine#
Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro and Nuno M. Pregui. In CoRR, volume abs/1310.3107 2013. (bib, url)
2012
-
An optimized conflict-free replicated set#
Annette Bieniusa, Marek Zawirski, Nuno M. Pregui, Marc Shapiro, Carlos Baquero, Valter Balegas and Sérgio Duarte. In CoRR, volume abs/1210.3368 2012. (bib, url) -
Generating Boogie Verification Conditions for Backward Compatibility of Class Libraries#
Mathias Weber. Master Thesis, October 2012. (bib, pdf) -
Verification of Software Architectures using Static Code Analysis for Java#
Malte Brunnlieb. Master Thesis, September 2012. (bib, pdf) -
Data Binding for Schemata with Integrity Constraints and Atomic Procedures#
Thomas Fischer. Master Thesis, August 2012. (bib, pdf) -
Deklarative Spezifikation von Datentransformationen#
Mathias Weber. Technical Report, Technische Universität Kaiserslautern, June 2012. (bib, pdf) -
Formal Investigation of Refinement Steps and Security Properties in Distributed Systems#
Christoph Feller. Technical Report, Technische Universität Kaiserslautern, March 2012. (bib, pdf) -
Towards Relating Security Properties on the Model Layer to Implementations - The Virtual Mall and E-Voting Case Studies#
Christoph Feller. Technical Report, Technische Universität Kaiserslautern, March 2012. (bib, pdf)
2011
-
A Type System for Checking Specialization of Packages in Object-Oriented Programming#
Ferruccio Damiani, Arnd Poetzsch-Heffter and Yannick Welsch. Technical Report, 386/11, University of Kaiserslautern, October 2011. (bib, pdf) -
Specification and Generation of User Interfaces Based on Method-Oriented Dialog Flows#
Artun Subasi. Master Thesis, May 2011. (bib, pdf) -
Location Types for Safe Distributed Object-Oriented Programming#
Yannick Welsch and Jan Schäfer. Technical Report, 383/11, University of Kaiserslautern, April 2011 to appear at TOOLS Europe 2011. (bib, pdf) -
A Software Language Approach to Derivative Contracts in Finance#
Jean-Marie Gaillourdet. In (CM)^2 Young Researchers Symposium 2011, pages 40-44. Februrary 2011. (bib, pdf) -
Ensuring Confinement of Object-Oriented Components using Abstract Interpretation#
Kathrin Geilmann. Unpublished 2011. (bib, pdf)
2010
-
State-based Object Models Are More Abstract Than Trace-based Models: Towards a Unified Specification Framework#
Ilham W. Kurnia, Arnd Poetzsch-Heffter and Yannick Welsch. In Technical Report No. 2010-13, pages 268–282. June 2010, Karlsruhe. (bib, pdf) -
Source Compatibility for Java Packages#
Yannick Welsch and Arnd Poetzsch-Heffter. In . 2010 submitted. (bib, pdf)
2009
-
Automated Product Derivation for the CoCoME Software Product Line: From Feature Models to CoBoxes#
Alexander Worret. Master Thesis, May 2009. (bib, pdf)
2008
-
Towards a Fully Abstract Semantics for Object-Oriented Program Components#
Arnd Poetzsch-Heffter, Jean-Marie Gaillourdet and Jan Schäfer. Unpublished, July 2008. (bib, pdf) -
Grey-Box Specification and Runtime Testing of Object-Oriented Program Components#
Yannick Welsch. Master Thesis, May 2008. (bib, pdf) -
Grey-Box Specification and Runtime Testing of Object-Oriented Program Components#
Yannick Welsch. Master Thesis, May 2008. (bib, pdf) -
Model-based Development of an Adaptive Vehicle Stability Control System#
Rasmus Adler, Ina Schaefer and Tobias Schüle. In Workshop “Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen”, Modellierung 2008, Berlin. March 2008. (bib)
2007
-
On Certifying Code Generation#
Jan Olaf Blech. Technical Report, 366/07, November 2007 http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2144. (bib, ee) -
On Translation Validation for System Abstractions#
Jan Olaf Blech, Ina Schaefer and Arnd Poetzsch-Heffter. Technical Report, 361/07, Technische Universität Kaiserslautern, July 2007 http://kluedo.ub.uni-kl.de/volltexte/2007/2124/pdf/BlechSchaeferAPH-TR07.pdf. (bib, ee) -
Specification and Analysis of Constrained XML Documents#
Patrick Michel. Master Thesis, July 2007. (bib, pdf)
2006
-
Static Guarantees for Algorithms on Constrained XML Documents#
Patrick Michel. Unpublished, December 2006. (bib, pdf) -
Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems#
Ina Schaefer and Arnd Poetzsch-Heffter. Technical Report, November 2006 accepted as Brief Announcement. (bib, pdf) -
Redesign and Enhancement of the Katja System#
Patrick Michel. Technical Report, 354/06, October 2006. (bib, pdf) -
Using Abstraction in Modular Verification of Synchronous Adaptive Systems#
Ina Schaefer and Arnd Poetzsch-Heffter. In Proceedings of “Workshop on Trustworthy Software”, Saarbrücken, May 18-19, 2006. July 2006. (bib, pdf) -
Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten#
Jan Schäfer and Arnd Poetzsch-Heffter. In 23. Workshop der Fachgruppe ‘Programmiersprachen und Rechenkonzepte’. May 2006, Gesellschaft für Informatik. (bib, pdf) -
Simple Loose Ownership Domains - TR#
Jan Schäfer and Arnd Poetzsch-Heffter. Technical Report, 348/06, Department of Computer Science, University of Kaiserslautern, March 2006. (bib, pdf) -
Certifying Compilers based on Formal Translation Contracts#
Marek J. Gawkowski, Jan Olaf Blech and Arnd Poetzsch-Heffter. Technical Report, 355, 2006 http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2038. (bib, ee)
2005
-
Adding Position Structures to Katja#
Patrick Michel. Technical Report, 353/06, June 2005. (bib, pdf) -
Jive data and store model#
Norbert Schirmer and Nicole Rauch. In The Archive of Formal Proofs. 2005 http://afp.sourceforge.net/entries/JiveDataStoreModel.shtml. (bib, ee)
2004
-
Katja: Generating Immutable Java Classes for Term and Position Types#
Patrick Michel. Unpublished, December 2004. (bib, pdf) -
Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL#
Nicole Rauch and Burkhart Wolff. Technical Report, 458, ETH Zürich, November 2004. (bib, pdf) -
Encapsulation and Specification of Object-Oriented Runtime Components#
Jan Schäfer. Master Thesis, September 2004. (bib, pdf) -
Generating Order-Sorted Data Types in Java#
Jan Schäfer. Unpublished, Februrary 2004 Project Thesis. (bib, pdf) -
Minerva - A Component-Based Framework for Active Documents#
Markus Reitz and Christian Stenzel. Unpublished 2004. (bib, pdf)
2003
-
Semantics-Directed Implementation of Method-Call Interception#
Ralf Lämmel and Christian Stenzel. Unpublished, November 2003 46 pages; Accepted for publication in IEE Proceedings Software; Special Issue on Unanticipated Software Evolution. (bib, pdf)
2001
-
Modular Specification of Frame Properties in JML#
Peter Müller, Arnd Poetzsch-Heffter and Gary T. Leavens. Technical Report, 01-03, Department of Computer Science, Iowa State University, April 2001 Available from archives.cs.iastate.edu. (bib, pdf) -
Universes: A Type System for Alias and Dependency Control#
Peter Müller and Arnd Poetzsch-Heffter. Technical Report, 279, Fernuniversität Hagen 2001 Available. (bib, pdf)
2000
-
Strategies for Verification of Object-Oriented Programs#
Jörg Meyer and Arnd Poetzsch-Heffter. Unpublished, April 2000 Published at ‘The 4th Workshop on Tools for System Design and Verification’. (bib, pdf) -
The Jive System - Implementation Description#
Jörg Meyer, Peter Müller and Arnd Poetzsch-Heffter. Unpublished 2000 Available. (bib, pdf) -
Formal Techniques for Java Programs. Proceedings of the ECOOP 2000 Workshop#
Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens and Peter Müller. 2000 Available. (bib, pdf) -
Formal Verification of a Doubly Linked List Implementation – A Case Study Using the Jive System#
Marcel Labeth, Jörg Meyer, Peter Müller and Arnd Poetzsch-Heffter. Technical Report, 270, Fernuniversität Hagen 2000 Available(). (bib, pdf)
1999
-
Formal Techniques for Java Programs. Proceedings of the ECOOP’99 Workshop#
Bart Jacobs. 1999 Available. (bib, pdf)
1998
-
Constructing Verification Environments for Object-oriented Programs#
Jörg Meyer and Arnd Poetzsch-Heffter. 1998 http://i12www.ira.uka.de/Workshop/final.html; Available. (bib, pdf)
1997
-
Programming and Interface Language of JIVE - Specification and Design Rationale#
Arnd Poetzsch-Heffter. Technical Report, FernUniversität Hagen 1997 Available. (bib, pdf)
1996
-
A Brief Study in Automating Proofs Based on a Refined Hoare-Logic#
Peter Müller and Arnd Poetzsch-Heffter. Technical Report, Technische Universität München, November 1996 Available. (bib, pdf)