Weitere Aufsätze und Vorabdrucke

• Begutachtete Veröffentlichungen

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)

  
  @article{Weilbach.Kuehne.Bieniusa2015,
    author = {Christian Weilbach and
                 Konrad K{\"{u}}hne and
                 Annette Bieniusa},
    title = {replikativ.io: Composable consistency primitives for a scalable and
                 robust global replication system},
    journal = {CoRR},
    volume = {abs/1508.05545},
    year = {2015},
    url = {http://arxiv.org/abs/1508.05545},
  }
  

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)

  
  @article{ZawirskiEtAl2013,
    author = {Marek Zawirski and
                 Annette Bieniusa and
                 Valter Balegas and
                 S{\'{e}}rgio Duarte and
                 Carlos Baquero and
                 Marc Shapiro and
                 Nuno M. Pregui{\c{c}}a},
    title = {SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way
                 to the Client Machine},
    journal = {CoRR},
    volume = {abs/1310.3107},
    year = {2013},
    url = {http://arxiv.org/abs/1310.3107},
  }
  

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)

  
  @article{BieniusaEtAl2012,
    author = {Annette Bieniusa and
                 Marek Zawirski and
                 Nuno M. Pregui{\c{c}}a and
                 Marc Shapiro and
                 Carlos Baquero and
                 Valter Balegas and
                 S{\'{e}}rgio Duarte},
    title = {An optimized conflict-free replicated set},
    journal = {CoRR},
    volume = {abs/1210.3368},
    year = {2012},
    url = {http://arxiv.org/abs/1210.3368},
  }
  

• Generating Boogie Verification Conditions for Backward Compatibility of Class Libraries#
  Mathias Weber. Master Thesis, October 2012. (bib, pdf)

  
  @mastersthesis{Weber12Master,
    author = {Mathias Weber},
    title = {Generating Boogie Verification Conditions for Backward Compatibility of Class Libraries},
    institution = {Technische Universität Kaiserslautern},
    school = {Technische Universität Kaiserslautern},
    month = {October},
    year = {2012},
  }
  

• Verification of Software Architectures using Static Code Analysis for Java#
  Malte Brunnlieb. Master Thesis, September 2012. (bib, pdf)

  
  @mastersthesis{Brunnlieb12Master,
    author = {Malte Brunnlieb},
    title = {Verification of Software Architectures using Static Code Analysis for Java},
    month = {September},
    year = {2012},
  }
  

• Data Binding for Schemata with Integrity Constraints and Atomic Procedures#
  Thomas Fischer. Master Thesis, August 2012. (bib, pdf)

  
  @mastersthesis{Fischer12master,
    author = {Thomas Fischer},
    title = {Data Binding for Schemata with Integrity Constraints and Atomic Procedures},
    institution = {University of Kaiserslautern},
    school = {University of Kaiserslautern},
    month = {August},
    year = {2012},
  }
  

• Deklarative Spezifikation von Datentransformationen#
  Mathias Weber. Technical Report, Technische Universität Kaiserslautern, June 2012. (bib, pdf)

  
  @techreport{weber12transformation,
    author = {Mathias Weber},
    title = {Deklarative Spezifikation von Datentransformationen},
    institution = {Technische Universität Kaiserslautern},
    school = {Technische Universität Kaiserslautern},
    month = {June},
    year = {2012},
  }
  

• Formal Investigation of Refinement Steps and Security Properties in Distributed Systems#
  Christoph Feller. Technical Report, Technische Universität Kaiserslautern, March 2012. (bib, pdf)

  
  @techreport{Feller12Formal,
    author = {Christoph Feller},
    title = {Formal Investigation of Refinement Steps and Security Properties in Distributed Systems},
    institution = {Technische Universität Kaiserslautern},
    month = {March},
    year = {2012},
  }
  

• 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)

  
  @techreport{Feller12towards,
    author = {Christoph Feller},
    title = {Towards Relating Security Properties on the Model Layer to Implementations - The Virtual Mall and E-Voting Case Studies},
    institution = {Technische Universität Kaiserslautern},
    month = {March},
    year = {2012},
  }
  

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)

  
  @techreport{codespectr2011,
    author = {Ferruccio Damiani and Arnd Poetzsch-Heffter and Yannick Welsch},
    title = {A Type System for Checking Specialization of Packages in Object-Oriented Programming},
    number = {386/11},
    institution = {University of Kaiserslautern},
    month = {October},
    year = {2011},
  }
  

• Specification and Generation of User Interfaces Based on Method-Oriented Dialog Flows#
  Artun Subasi. Master Thesis, May 2011. (bib, pdf)

  
  @mastersthesis{Subasi10master,
    author = {Artun Subasi},
    title = {Specification and Generation of User Interfaces Based on Method-Oriented Dialog Flows},
    institution = {University of Kaiserslautern},
    school = {University of Kaiserslautern},
    month = {May},
    year = {2011},
  }
  

• 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)

  
  @techreport{loctypes2011tr,
    author = {Yannick Welsch and Jan Sch\"afer},
    title = {Location Types for Safe Distributed Object-Oriented Programming},
    number = {383/11},
    institution = {University of Kaiserslautern},
    note = {to appear at TOOLS Europe 2011},
    month = {April},
    year = {2011},
  }
  

• 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)

  
  @inproceedings{Gaillourdet11software,
    author = {Jean-Marie Gaillourdet},
    title = {A Software Language Approach to Derivative Contracts in Finance},
    booktitle = {(CM)^2 Young Researchers Symposium 2011},
    institution = {Technische Universität Kaiserslautern},
    organization = {Center for Mathematical and Computational Modelling (CM)^2},
    school = {Technische Universität Kaiserslautern},
    pages = {40-44},
    month = {Februrary},
    year = {2011},
  }
  

• Ensuring Confinement of Object-Oriented Components using Abstract Interpretation#
  Kathrin Geilmann. Unpublished 2011. (bib, pdf)

  
  @unpublished{Geilmann11Confinement,
    author = {Kathrin Geilmann},
    title = {Ensuring Confinement of Object-Oriented Components using Abstract Interpretation},
    school = {Technische Universität Kaiserslautern },
    year = {2011},
  }
  

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)

  
  @inproceedings{KurniaPoetzschHeffterWelsch10model,
    author = {Ilham W. Kurnia and Arnd Poetzsch-Heffter and Yannick Welsch},
    title = {State-based Object Models Are More Abstract Than Trace-based Models: Towards a Unified Specification Framework},
    booktitle = {Technical Report No. 2010-13},
    number = {2010-13},
    school = {Department of Informatics, Karlsruhe Institute of Technology},
    publisher = {Karlsruhe},
    pages = {268--282},
    month = {June},
    year = {2010},
  }
  

• Source Compatibility for Java Packages#
  Yannick Welsch and Arnd Poetzsch-Heffter. In . 2010 submitted. (bib, pdf)

  
  @inproceedings{WelschPoetzschHeffter10Comp,
    author = {Yannick Welsch and Arnd Poetzsch-Heffter},
    title = {Source Compatibility for Java Packages},
    note = {submitted},
    year = {2010},
  }
  

2009

• Automated Product Derivation for the CoCoME Software Product Line: From Feature Models to CoBoxes#
  Alexander Worret. Master Thesis, May 2009. (bib, pdf)

  
  @mastersthesis{Worret09automated,
    author = {Alexander Worret},
    title = {Automated Product Derivation for the CoCoME Software Product Line: From Feature Models to CoBoxes},
    school = {University of Kaiserslautern},
    month = {May},
    year = {2009},
  }
  

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)

  
  @unpublished{Poetzsch-Heffter.EA08towards,
    author = {Arnd Poetzsch-Heffter and Jean-Marie Gaillourdet and Jan Sch\"afer},
    title = {Towards a Fully Abstract Semantics for Object-Oriented Program Components},
    month = {July},
    year = {2008},
  }
  

• Grey-Box Specification and Runtime Testing of Object-Oriented Program Components#
  Yannick Welsch. Master Thesis, May 2008. (bib, pdf)

  
  @mastersthesis{Yannick08greybox,
    author = {Yannick Welsch},
    title = {Grey-Box Specification and Runtime Testing of Object-Oriented Program Components},
    school = {TU Kaiserslautern},
    month = {May},
    year = {2008},
  }
  

• Grey-Box Specification and Runtime Testing of Object-Oriented Program Components#
  Yannick Welsch. Master Thesis, May 2008. (bib, pdf)

  
  @mastersthesis{Yannick08greybox,
    author = {Yannick Welsch},
    title = {Grey-Box Specification and Runtime Testing of Object-Oriented Program Components},
    school = {TU Kaiserslautern},
    month = {May},
    year = {2008},
  }
  

• 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)

  
  @inproceedings{AdleretAl.08,
    author = {Rasmus Adler and Ina Schaefer and Tobias Sch\"ule},
    title = {Model-based Development of an Adaptive Vehicle Stability Control System},
    booktitle = {Workshop "Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen", Modellierung 2008, Berlin},
    month = {March},
    year = {2008},
  }
  

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)

  
  @techreport{Blech07certifying,
    author = {Jan Olaf Blech},
    title = {On Certifying Code Generation},
    number = {366/07},
    school = {University of Kaiserslautern },
    note = {http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2144},
    month = {November},
    year = {2007},
    ee = {http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2144},
  }
  

• 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)

  
  @techreport{Blech.Schaefer07ontrans,
    author = {Jan Olaf Blech and Ina Schaefer and Arnd Poetzsch-Heffter},
    title = {On Translation Validation for System Abstractions},
    number = {361/07},
    institution = {Technische Universität Kaiserslautern},
    note = {http://kluedo.ub.uni-kl.de/volltexte/2007/2124/pdf/BlechSchaeferAPH-TR07.pdf},
    month = {July},
    year = {2007},
    ee = {http://kluedo.ub.uni-kl.de/volltexte/2007/2124/pdf/BlechSchaeferAPH-TR07.pdf},
  }
  

• Specification and Analysis of Constrained XML Documents#
  Patrick Michel. Master Thesis, July 2007. (bib, pdf)

  
  @mastersthesis{Michel07ConstrainedXML,
    author = {Patrick Michel},
    title = {Specification and Analysis of Constrained XML Documents},
    school = {University of Kaiserslautern},
    month = {July},
    year = {2007},
  }
  

2006

• Static Guarantees for Algorithms on Constrained XML Documents#
  Patrick Michel. Unpublished, December 2006. (bib, pdf)

  
  @unpublished{Michel06XMLStatic,
    author = {Patrick Michel},
    title = {Static Guarantees for Algorithms on Constrained XML Documents},
    school = {University of Kaiserslautern},
    month = {December},
    year = {2006},
  }
  

• 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)

  
  @techreport{Schaefer.Poetzsch-Heffter06.stabilisation,
    author = {Ina Schaefer and Arnd Poetzsch-Heffter},
    title = {Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems},
    booktitle = {Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), Dallas, Texas},
    series = {LNCS},
    publisher = {Springer},
    pages = {584--585},
    note = {accepted as Brief Announcement},
    month = {November},
    year = {2006},
  }
  

• Redesign and Enhancement of the Katja System#
  Patrick Michel. Technical Report, 354/06, October 2006. (bib, pdf)

  
  @techreport{Michel06redesign,
    author = {Patrick Michel},
    title = {Redesign and Enhancement of the Katja System},
    number = {354/06},
    school = {University of Kaiserslautern},
    month = {October},
    year = {2006},
  }
  

• 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)

  
  @inproceedings{Schaefer.Poetzsch-Heffter06.abstraction,
    author = {Ina Schaefer and Arnd Poetzsch-Heffter},
    title = {Using Abstraction in Modular Verification of Synchronous Adaptive Systems},
    booktitle = {Proceedings of "Workshop on Trustworthy Software", Saarbrücken, May 18-19, 2006},
    series = {(Dagstuhl Online Proceedings Seminar 06000) available at: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=699},
    month = {July},
    year = {2006},
  }
  

• 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)

  
  @inproceedings{Schaefer.Poetzsch-Heffter06simpleGI,
    author = {Jan Sch\"afer and Arnd Poetzsch-Heffter},
    title = {Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten},
    booktitle = {23. Workshop der Fachgruppe 'Programmiersprachen und Rechenkonzepte'},
    series = {Softwaretechnik-Trends },
    number = {2},
    publisher = {Gesellschaft für Informatik},
    month = {May},
    year = {2006},
  }
  

• 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)

  
  @techreport{Schaefer.Poetzsch-Heffter06simple,
    author = {Jan Sch\"afer and Arnd Poetzsch-Heffter},
    title = {Simple Loose Ownership Domains - TR},
    number = {348/06},
    institution = {Department of Computer Science, University of Kaiserslautern},
    month = {March},
    year = {2006},
  }
  

• 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)

  
  @techreport{Gawkowski.Blech06certifying,
    author = {Marek J. Gawkowski and Jan Olaf Blech and Arnd Poetzsch-Heffter},
    title = {Certifying Compilers based on Formal Translation Contracts},
    number = {355},
    school = {University of Kaiserslautern },
    note = {http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2038},
    year = {2006},
    ee = {http://kluedo.ub.uni-kl.de/frontdoor.php?source_opus=2038},
  }
  

2005

• Adding Position Structures to Katja#
  Patrick Michel. Technical Report, 353/06, June 2005. (bib, pdf)

  
  @techreport{Michel05position,
    author = {Patrick Michel},
    title = {Adding Position Structures to Katja},
    number = {353/06},
    school = {University of Kaiserslautern},
    month = {June},
    year = {2005},
  }
  

• 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)

  
  @inproceedings{Schirmer.Rauch05jive,
    author = {Norbert Schirmer and Nicole Rauch},
    title = {Jive data and store model},
    booktitle = {The Archive of Formal Proofs},
    note = {http://afp.sourceforge.net/entries/JiveDataStoreModel.shtml},
    year = {2005},
    ee = {http://afp.sourceforge.net/entries/JiveDataStoreModel.shtml},
  }
  

2004

• Katja: Generating Immutable Java Classes for Term and Position Types#
  Patrick Michel. Unpublished, December 2004. (bib, pdf)

  
  @unpublished{Michel04generating,
    author = {Patrick Michel},
    title = {Katja: Generating Immutable Java Classes for Term and Position Types},
    school = {University of Kaiserslautern},
    month = {December},
    year = {2004},
  }
  

• 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)

  
  @techreport{Rauch.Wolff04formalizing,
    author = {Nicole Rauch and Burkhart Wolff},
    title = {Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL},
    number = {458},
    institution = {ETH Zürich},
    month = {November},
    year = {2004},
  }
  

• Encapsulation and Specification of Object-Oriented Runtime Components#
  Jan Schäfer. Master Thesis, September 2004. (bib, pdf)

  
  @mastersthesis{Schaefer04encapsulation,
    author = {Jan Sch\"afer},
    title = {Encapsulation and Specification of Object-Oriented Runtime Components},
    school = {Technische Universität Kaiserslautern},
    month = {September},
    year = {2004},
  }
  

• Generating Order-Sorted Data Types in Java#
  Jan Schäfer. Unpublished, Februrary 2004 Project Thesis. (bib, pdf)

  
  @unpublished{Schaefer04katja,
    author = {Jan Sch\"afer},
    title = {Generating Order-Sorted Data Types in Java},
    school = {Technische Universität Kaiserslautern, Software Technology Group},
    note = {Project Thesis},
    month = {Februrary},
    year = {2004},
  }
  

• Minerva - A Component-Based Framework for Active Documents#
  Markus Reitz and Christian Stenzel. Unpublished 2004. (bib, pdf)

  
  @unpublished{Reitz.Stenzel04minerva,
    author = {Markus Reitz and Christian Stenzel},
    title = {Minerva - A Component-Based Framework for Active Documents},
    year = {2004},
  }
  

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)

  
  @unpublished{Laemmel.Stenzel03semantics,
    author = {Ralf L\"ammel and Christian Stenzel},
    title = {Semantics-Directed Implementation of Method-Call Interception},
    note = {46 pages; Accepted for publication in IEE Proceedings Software; Special Issue on Unanticipated Software Evolution},
    month = {November},
    year = {2003},
  }
  

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)

  
  @techreport{Mueller.Poetzsch-Heffter.EA01modular,
    author = {Peter M\"uller and Arnd Poetzsch-Heffter and Gary T. Leavens},
    title = {Modular Specification of Frame Properties in JML},
    number = {01-03},
    institution = {Department of Computer Science, Iowa State University},
    note = {Available from archives.cs.iastate.edu},
    month = {April},
    year = {2001},
  }
  

• 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)

  
  @techreport{Mueller.Poetzsch-Heffter01universes,
    author = {Peter M\"uller and Arnd Poetzsch-Heffter},
    title = {Universes: A Type System for Alias and Dependency Control},
    number = {279},
    institution = {Fernuniversität Hagen},
    note = {Available},
    year = {2001},
  }
  

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)

  
  @unpublished{Meyer.Poetzsch-Heffter00strategies,
    author = {J\"org Meyer and Arnd Poetzsch-Heffter},
    title = {Strategies for Verification of Object-Oriented Programs},
    note = {Published at 'The 4th Workshop on Tools for System Design and Verification'},
    month = {April},
    year = {2000},
  }
  

• The Jive System - Implementation Description#
  Jörg Meyer, Peter Müller and Arnd Poetzsch-Heffter. Unpublished 2000 Available. (bib, pdf)

  
  @unpublished{Meyer.Mueller.EA00jive,
    author = {J\"org Meyer and Peter M\"uller and Arnd Poetzsch-Heffter},
    title = {The Jive System - Implementation Description},
    note = {Available},
    year = {2000},
  }
  

• 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)

  
  @proceedings{Drossopoulou00,
    author = {Sophia Drossopoulou and Susan Eisenbach and Bart Jacobs and Gary T. Leavens and Peter M\"uller},
    title = {Formal Techniques for Java Programs. Proceedings of the ECOOP 2000 Workshop},
    institution = {Technical Report 269, Fernuniversität Hagen},
    note = {Available},
    year = {2000},
  }
  

• 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)

  
  @techreport{Labeth.Meyer.EA00formal,
    author = {Marcel Labeth and J\"org Meyer and Peter M\"uller and Arnd Poetzsch-Heffter},
    title = {Formal Verification of a Doubly Linked List Implementation -- A Case Study Using the Jive System},
    number = {270},
    institution = {Fernuniversität Hagen},
    note = {Available()},
    year = {2000},
  }
  

1999

• Formal Techniques for Java Programs. Proceedings of the ECOOP’99 Workshop#
  Bart Jacobs. 1999 Available. (bib, pdf)

  
  @proceedings{Jacobs99formal,
    author = {Bart Jacobs},
    title = {Formal Techniques for Java Programs. Proceedings of the ECOOP'99 Workshop},
    institution = {Technical Report 251, Fernuniversität Hagen},
    note = {Available},
    year = {1999},
  }
  

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)

  
  @proceedings{Meyer.Poetzsch-Heffter98constructing,
    author = {J\"org Meyer and Arnd Poetzsch-Heffter},
    title = {Constructing Verification Environments for Object-oriented Programs},
    organization = {Workshop at 15th International Conference on Automated Deduction},
    note = {http://i12www.ira.uka.de/Workshop/final.html; Available},
    year = {1998},
  }
  

1997

• Programming and Interface Language of JIVE - Specification and Design Rationale#
  Arnd Poetzsch-Heffter. Technical Report, FernUniversität Hagen 1997 Available. (bib, pdf)

  
  @techreport{Mueller.Meyer.EA97programming,
    author = {Arnd Poetzsch-Heffter},
    title = {Programming and Interface Language of JIVE - Specification and Design Rationale},
    institution = {FernUniversität Hagen},
    note = {Available},
    year = {1997},
  }
  

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)

  
  @techreport{Mueller.Poetzsch-Heffter96study,
    author = {Peter M\"uller and Arnd Poetzsch-Heffter},
    title = {A Brief Study in Automating Proofs Based on a Refined Hoare-Logic},
    institution = {Technische Universität München},
    note = {Available},
    month = {November},
    year = {1996},
  }
  

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)

  
  @techreport{Peotzsch-Heffter.Eisenbarth93max,
    author = {Arnd Poetzsch-Heffter and Thomas Eisenbarth},
    title = {The MAX System: A Tutorial Introduction},
    number = {TUM-I9307},
    institution = {Institut für Informatik, Technische Universität München},
    month = {April},
    year = {1993},
  }