Further papers and preprints

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. — Unknown entry proceedings (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. — Unknown entry proceedings (bib, pdf)

1998

  • Constructing Verification Environments for Object-oriented Programs#
    Jörg Meyer and Arnd Poetzsch-Heffter. — Unknown entry proceedings (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)

1993

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