Begutachtete Veröffentlichungen

2017

  • EPTL - A temporal logic for weakly consistent systems#
    Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. In CoRR, volume abs/1704.05320 2017. (bib, url)
  • EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)#
    Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. In Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch^atel, Switzerland, June 19-22, 2017, Proceedings, pages 236–242. 2017, Springer. (bib, url, doi)
  • Testing Properties of Weakly Consistent Programs with Repliss#
    Peter Zeller. In Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, pages 3:1–3:5. New York, NY, USA 2017, ACM. (bib, url, doi)
  • FMKe: A Real-World Benchmark for Key-Value Data Stores#
    GonTomás, Peter Zeller, Valter Balegas, Deepthi Akkoorath, Annette Bieniusa, Jo~ao Leit~ao and Nuno Pregui. In Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, pages 7:1–7:4. New York, NY, USA 2017, ACM. (bib, url, doi)

2016

  • Access Control for Weakly Consistent Replicated Information Systems#
    Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. In Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, pages 82–97. 2016, Springer. (bib, url, doi)
  • Observing the Consistency of Distributed Systems#
    Deepthi Akkoorath, Viktoria Fordos and Annette Bieniusa. In Erlang Workshop. September 2016 To appear. (bib, url, pdf)
  • Towards a Proof Framework for Information Systems with Weak Consistency#
    Peter Zeller and Arnd Poetzsch-Heffter. In Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pages 277–283. July 2016. (bib, doi, pdf)
  • Cure: Strong semantics meets high availability and low latency#
    Deepthi Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica and Marc Shapiro. In Proceedings of 36th IEEE International Conference on Distributed Computing Systems, ICDCS. June 2016. (bib, url, pdf)
  • Decoupling Conflict Resolution with CDVCS#
    Christian Weilbach, Konrad K"uhne and Annette Bieniusa. In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, pages 11:1–11:6. April 2016. (bib, url, doi)
  • Eventually Consistent Register Revisited#
    Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiand Marc Shapiro. In Proceedings of the 2Nd Workshop on the Principles and Practice of Consistency for Distributed Data, pages 9:1–9:3. New York, NY, USA 2016, ACM. (bib, url, doi)
  • Highly-scalable Concurrent Objects#
    Deepthi Akkoorath and Annette Bieniusa. In Proceedings of the 2nd Workshop on Principles and Practice of Consistency for Distributed Data. April 2016. (bib, url, doi, pdf)

2015

  • Write Fast, Read in the Past: Causal Consistency for Client-Side Applications#
    Marek Zawirski, Nuno Pregui, S'ergio Duarte, Annette Bieniusa, Valter Balegas and Marc Shapiro. In Proceedings of the 16th Annual Middleware Conference, pages 75–87. New York, NY, USA 2015, ACM. (bib, url, doi)
  • Transactions on Mergeable Objects#
    Deepthi Akkoorath and Annette Bieniusa. In Programming Languages and Systems - 13th Asian Symposium, APLAS, pages 427-444. 2015. (bib, url, doi, pdf)
  • Adaptive Strength Geo-Replication Strategy#
    Amadeo Ascó and Annette Bieniusa. In Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data. New York, NY, USA 2015, ACM. (bib)
  • Collaborative offline web applications using Conflict-free Replicated Data Types#
    Santiago Castiñeira and Annette Bieniusa. In Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data. New York, NY, USA 2015, ACM. (bib)
  • Modeling Actor Systems Using Dynamic I/O Automata#
    Ilham W. Kurnia and Arnd Poetzsch-Heffter. In Perspectives of System Informatics - 10th International Ershov Informatics Conference, PSI 2015, Kazan, Russia, August 24-27, 2015. Revised Selected Papers. 2015 to appear. (bib, pdf)

2014

  • Integrated Modeling and Evolution of Social Software#
    Arnd Poetzsch-Heffter, Barbara Paech and Mathias Weber. In Socioinformatics - The Social Impact of Interactions between Humans and IT, pages 81-93. 2014, Springer International Publishing. (bib, url, doi)
  • A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries#
    Yannick Welsch and Arnd Poetzsch-Heffter. In Sci. Comput. Program. volume 92, pages 129–161 2014. (bib, url, doi)
  • Architecture-driven Incremental Code Generation for Increased Developer Efficiency#
    Malte Brunnlieb and Arnd Poetzsch-Heffter. In Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland, pages 143–148. 2014, GI. (bib, url)
  • Formal Specification and Verification of CRDTs#
    Peter Zeller, Annette Bieniusa and Arnd Poetzsch-Heffter. In Formal Techniques for Distributed Objects, FORTE 2014, pages 33–48. June 2014, Springer. (bib, pdf)
  • SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine#
    Nuno M. Pregui, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero and Marc Shapiro. In 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, pages 30–33. 2014. (bib)

2013

  • Loopy - An open-source TCP/IP rapid prototyping and validation framework#
    Christian de Schryver, Philipp Schläfer, Norbert Wehn, Thomas Fischer and Arnd Poetzsch-Heffter. In ReConFig, pages 1-6. 2013. (bib, ee)
  • Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung#
    Arnd Poetzsch-Heffter and Barbara Paech. In Informatik Spektrum, number 3, pages 242-250, June 2013 http://dx.doi.org/10.1007/s00287-013-0693-0. (bib, ee)
  • A Generic Functional Representation of Sorted Trees Supporting Attribution#
    Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter and Nicole Rauch. In Programming Logics, Essays in Memory of Harald Ganzinger. LNCS pages 72–89. Springer 2013 http://dx.doi.org/10.1007/978-3-642-37651-1_4. (bib, ee)
  • Verification of Open Concurrent Object Systems#
    Ilham W. Kurnia and Arnd Poetzsch-Heffter. In FMCO 2012. LNCS pages 83–118. Springer 2013 http://dx.doi.org/10.1007/978-3-642-40615-7_3. (bib, ee, pdf)
  • Location Types for Safe Programming with Near and Far References#
    Yannick Welsch, Jan Schäfer and Arnd Poetzsch-Heffter. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS pages 471–500. Springer 2013 http://dx.doi.org/10.1007/978-3-642-36946-9_16. (bib, ee)
  • A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries#
    Yannick Welsch and Arnd Poetzsch-Heffter. In Science of Computer Programming 2013 http://dx.doi.org/10.1016/j.scico.2013.10.002. (bib, ee)

2012

  • Model-Based Compatibility Checking of System Modifications#
    Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia and Yannick Welsch. In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2012, Crete, Greece, pages 97–111. October 2012, Springer http://dx.doi.org/10.1007/978-3-642-34026-0_8. (bib, ee, pdf)
  • A Relational Trace Logic for Simple Hierarchical Actor-Based Component Systems#
    Ilham W. Kurnia and Arnd Poetzsch-Heffter. In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, pages 47–58. October 2012, ACM New York, NY, USA http://dx.doi.org/10.1145/2414639.2414647. (bib, ee, pdf)
  • A Component Model for the ABS Language#
    Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer and Arnd Poetzsch-Heffter. In Post Conf. Proceedings 9th Intl. Symposium on Formal Methods for Components and Objects, FMCO 2010. 2012, Springer. (bib)
  • Verifying Backwards Compatibility of Object-Oriented Libraries using Boogie#
    Yannick Welsch and Arnd Poetzsch-Heffter. In Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, pages 35-41. 2012, ACM New York, NY, USA http://dx.doi.org/10.1145/2318202.2318209. (bib, ee)
  • A Type System for Checking Specialization of Packages in Object-Oriented Programming#
    Ferruccio Damiani, Arnd Poetzsch-Heffter and Yannick Welsch. In Proceedings of the 27th Annual ACM Symposium on Applied Computing, pages 1737-1742. 2012, ACM New York, NY, USA http://dx.doi.org/10.1145/2245276.2232058. (bib, ee)
  • ABS: A Core Language for Abstract Behavioral Specification#
    Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte and Martin Steffen. In Post Conf. Proceedings 9th Intl. Symposium on Formal Methods for Components and Objects, FMCO 2010. 2012, Springer. (bib)
  • Verifying and Generating WP Transformers for Procedures on Complex Data#
    Patrick Michel and Arnd Poetzsch-Heffter. In Interactive Theorem Proving (ITP 2012). 2012, Springer. (bib, pdf)

2011

  • Verification of Actor Systems Needs Specification Techniques for Strong Causality and Hierarchical Reasoning#
    Arnd Poetzsch-Heffter, Ilham W. Kurnia and Christoph Feller. In 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, Turin, Italy, pages 289–305. October 2011, Technische Universität Karlsruhe. (bib, pdf)
  • WoM: An Open interactive Platform for Describing, Exploring, and Sharing Mathematical Models#
    Jean-Marie Gaillourdet, Thomas Grundmann, Martin Memmel, Karsten Schmidt, Arnd Poetzsch-Heffter and Stefan De. In Knowledge-Based and Intelligent Information and Engineering Systems, Part IV, pages 126–135. September 2011, Springer. (bib)
  • The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform#
    Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deand Martin Memmel. In ITP 2011 Workshop on Mathematical Wikis, MathWikis 2011, Nijmegen, Netherlands, pages 19–27. August 2011, CEUR-WS.org. (bib, pdf)
  • Modular Checking of Confinement for Object-Oriented Components using Abstract Interpretation#
    Kathrin Geilmann and Arnd Poetzsch-Heffter. In International Workshop on Aliasing, Confinement and Ownership. July 2011. (bib, pdf)
  • Location Types for Safe Distributed Object-Oriented Programming#
    Yannick Welsch and Jan Schäfer. In 49th International Conference on Objects, Models, Components and Patterns (TOOLS Europe 2011), pages 194-210. June 2011, Springer. (bib)
  • Full Abstraction at Package Boundaries of Object-Oriented Languages#
    Yannick Welsch and Arnd Poetzsch-Heffter. In Formal Methods, Foundations and Applications (SBMF 2011), pages 28–43. 2011, Springer Berlin / Heidelberg Available at http://dx.doi.org/10.1007/978-3-642-25032-3_3. (bib, ee)
  • Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language#
    Dave Clarke and et al.. In Formal Methods for Eternal Networked Software Systems. 2011, Springer. (bib)
  • Combining traits with boxes and ownership types in a Java-like setting#
    Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann and Jan Schäfer. In Science of Computer Programming 2011 Download at http://dx.doi.org/10.1016/j.scico.2011.10.006. (bib)

2010

  • Component-Based Modeling and Verification of Dynamic Adaptation in Safety-Critical Embedded Systems #
    R. Adler, Ina Schaefer, Mario Trapp and Arnd Poetzsch-Heffter. In ACM Transactions on Embedded Computing Systems (TECS), number 2, December 2010. (bib)
  • A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems#
    Jan Schäfer. PhD Thesis, November 2010 ISBN: 978-3-86853-833-5. (bib, pdf)
  • A Calculus for Boxes and Traits in a Java-like Setting#
    Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann and Jan Schäfer. In 12th International Conference on Coordination Models and Languages (COORDINATION). June 2010, Springer. (bib, pdf)
  • JCoBox: Generalizing Active Objects to Concurrent Components#
    Jan Schäfer and Arnd Poetzsch-Heffter. In 24th European Conference on Object-Oriented Programming (ECOOP 2010), pages 275–299. June 2010, Springer. (bib, pdf)
  • Writing Concurrent Desktop Applications in an Actor-Based Programming Model#
    Jan Schäfer and Arnd Poetzsch-Heffter. In Third International Workshop on Multicore Software Engineering (IWMSE10), pages 2–9. May 2010, ACM. (bib, pdf)
  • Maintaining XML Data Integrity in Programs - An Abstract Datatype Approach#
    Patrick Michel and Arnd Poetzsch-Heffter. In 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010, pages 600–611. January 2010, Springer. (bib, pdf)

2009

  • Model-based Verification of Adaptive Embedded Systems under Environment Constraints#
    Ina Schaefer and Arnd Poetzsch-Heffter. In 2nd Workshop on Adaptive and Reconfigurable Embedded Systems, Grenoble, France. October 2009. (bib)
  • A Model-Based Framework for Automated Product Derivation#
    Ina Schaefer, Alexander Worret and Arnd Poetzsch-Heffter. In 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (Maple 2009), San Francisco, USA. August 2009. (bib)
  • Modular Verification with Shared Abstractions#
    Uri Juhasz, Noam Rinetzky, Arnd Poetzsch-Heffter, Mooly Sagiv and Eran Yahav. In International Workshop on Foundations of Object-Oriented Languages (FOOL’09). January 2009. (bib)
  • Assertion Support for Manipulating Constrained Data-Centric XML#
    Patrick Michel and Arnd Poetzsch-Heffter. In International Workshop on Programming Language Techniques for XML (PLAN-X 2009). January 2009. (bib, pdf)
  • Consistency Checking for Workflows with an Ontology-Based Data Perspective#
    Gabriele Weiler, Arnd Poetzsch-Heffter and Stephan Kiefer. In Database and Expert Systems Applications, 20th International Conference, DEXA 2009, pages 98-113. 2009, Springer. (bib)

2008

  • Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems#
    Ina Schaefer and Arnd Poetzsch-Heffter. In 6th IEEE Intl. Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town South Africa. November 2008 (to appear). (bib)
  • Slicing for Model Reduction in Adaptive Embedded Systems Development#
    Ina Schaefer and Arnd Poetzsch-Heffter. In Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany. May 2008. (bib)
  • Certifying Code Generation with Coq #
    Jan Olaf Blech and Benjamin Grégoire. In Proceedings of the 7th Workshop on Compiler Optimization meets Compiler Verification (COCV 2008), Budapest, Hungary. April 2008. (bib, pdf)
  • Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model based on Boxes#
    Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet and Arnd Poetzsch-Heffter. In The Common Component Modeling Example: Comparing Software Component Models, pages 238–266. 2008, Springer. (bib, pdf)
  • CoBoxes: Unifying Active Objects and Structured Heaps#
    Jan Schäfer and Arnd Poetzsch-Heffter. In 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008), pages 201–219. 2008, Springer. (bib, pdf)

2007

  • From Model-Based Design to Formal Verification of Adaptive Embedded Systems#
    Rasmus Adler, Ina Schaefer, Tobias Schäle and Eric Vecchié. In 9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL. November 2007, Springer. (bib)
  • A Representation-Independent Behavioral Semantics for Object-Oriented Components#
    Arnd Poetzsch-Heffter and Jan Schäfer. In 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 157–173. June 2007, Springer. (bib, pdf)
  • A Parameterized Type System for Simple Loose Ownership Domains#
    Jan Schäfer and Arnd Poetzsch-Heffter. In Journal of Object Technology, number 6, pages 71–100, June 2007 http://www.jot.fm/issues/issue_2007_06/article3. (bib)
  • Immutable Objects for a Java-like Language#
    Christian Haack, Erik Poll, Jan Schäfer and Aleksy Schubert. In 16th European Symposium on Programming (ESOP’07), pages 347–362. March 2007, Springer Won the ETAPS award for the best theory paper at ETAPS. (bib)
  • A Certifying Code Generation Phase#
    Jan Olaf Blech and Arnd Poetzsch-Heffter. In Proceedings of the 6th Workshop on Compiler Optimization meets Compiler Verification (COCV 2007), Braga, Portugal. March 2007. (bib, pdf)
  • Modular Shape Analysis for Dynamically Encapsulated Programs#
    Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv and Eran Yahav. In 16th European Symposium on Programming (ESOP’07). March 2007, Springer. (bib)
  • Translation Validation for System Abstractions#
    Jan Olaf Blech, Ina Schaefer and Arnd Poetzsch-Heffter. In 7th Workshop on Runtime Verification (RV’07), Vancouver, Canada. March 2007, Springer. (bib, pdf)
  • Infering Ownership Types for Encapsulated Object-Oriented Program Components#
    Arnd Poetzsch-Heffter, Kathrin Geilmann and Jan Schäfer. In Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pages 120–144. 2007, Springer. (bib)

2006

  • Simple Loose Ownership Domains#
    Jan Schäfer and Arnd Poetzsch-Heffter. In ECOOP Workshop on Formal Techniques for Java-like Programs, FTfJP 2006. July 2006. (bib, pdf)
  • Components: A Valuable Investment for Financial Engineering#
    Markus Reitz and Ulrich Nögel. In 4th International Conference on Principles and Practice of Programming in Java (PPPJ06), pages 153–162. 2006. (bib)
  • Software evolvability by component-orientation#
    Markus Reitz. In 2nd International IEEE Workshop on Software Evolvability, pages 66–73. 2006, IEEE Computer Society. (bib)
  • ComDeCo: Composable Derivative Contracts#
    Markus Reitz. In Workshop End-User Development, pages 564–567. 2006, GI. (bib)
  • Derivative Contracts as Active Documents#
    Markus Reitz and Ulrich Nögel. In 7th International Conference on Computers and Mathematics in Business and Economics (MCBE06). 2006. (bib)
  • Composable Component-Oriented Derivative Contracts#
    Markus Reitz and Ulrich Nögel. In Transactions on Information Science and Applications, number 3, pages 1756–1764 2006. (bib)
  • Modular Invariants for Layered Object Structures#
    Peter Müller, Arnd Poetzsch-Heffter and Gary T. Leavens. In Science of Computer Programming, number 3, pages 253–286 2006. (bib, pdf)
  • Modular Specification of Encapsulated Object-Oriented Components#
    Arnd Poetzsch-Heffter and Jan Schäfer. In Formal Methods for Components and Objects, Fourth International Symposium, FMCO 2005, pages 313–341. 2006, Springer. (bib, pdf)
  • Flexible Design- und Bewertungsverfahren für Derivatverträge#
    Markus Reitz and Ulrich Nögel. In Uni-Spektrum - Hochschulmagazin der TU Kaiserslautern, pages 7 2006. (bib)
  • Active Documents - Taking Advantage of component-orientation beyond pure reuse#
    Markus Reitz. In Workshop on Component-Oriented Programming (WCOP 06), pages 67–74. 2006, Universität Karlsruhe. (bib)

2005

  • Towards Proof Generating Compilers#
    Arnd Poetzsch-Heffter and Marek J. Gawkowski. In Electronic Notes in Theoretical Computer Science, number 1, pages 37–51 2005. (bib, pdf)

2004

  • Formal Verification of a Commercial Smart Card Applet with Multiple Tools#
    Bart Jacobs, Claude Marché and Nicole Rauch. In Algebraic Methodology and Software Technology (AMAST 04), pages 241–257. July 2004, Springer. (bib, pdf)
  • Semantics-directed implementation of method-call interception#
    Ralf Lämmel and Christian Stenzel. In IEE Proceedings - Software, number 2, pages 109-127, April 2004. (bib)
  • Application and Formal Specification of Sorted Term-Position Algebras#
    Arnd Poetzsch-Heffter and Nicole Rauch. In 17th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2004, Barcelona, Spain, pages 201–217. March 2004, Springer. (bib, pdf)
  • Application and Formal Specification of Sorted Term-Position Algebras#
    Arnd Poetzsch-Heffter and Nicole Rauch. In 17th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2004, Barcelona, Spain, pages 201–217. March 2004, Springer. (bib, pdf)
  • A Type System for Checking Applet Isolation in Java Card#
    Werner Dietl, Peter Müller and Arnd Poetzsch-Heffter. In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS 2004). 2004, Springer. (bib, pdf)

2003

  • Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL#
    Nicole Rauch and Burkhart Wolff. In Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems, pages 40–56. June 2003, Elsevier. (bib, pdf)
  • Modular Specification of Frame Properties in JML#
    Peter Müller, Arnd Poetzsch-Heffter and Gary T. Leavens. In Concurrency and Computation: Practice and Experience, pages 117–154 2003. (bib)
  • MultiMedia Instruction in Safe and Secure Systems#
    Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christopf Lüth and et al.. In Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2002, pages 82–117. 2003, Springer. (bib, pdf)

2002

  • Precondition Generation for a Java Subset#
    Nicole Rauch. In FM-TOOLS 2002, The 5th Workshop on Tools for System Design and Verification, Reisensburg, Germany, pages 1–6. July 2002, Universität Augsburg, Institut für Informatik. (bib, pdf)
  • Using Data Groups to Specify and Check Side Effects#
    K. Rustan M. Leino, Arnd Poetzsch-Heffter and Yunhong Zhou. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 246–257. June 2002. (bib, pdf)
  • Modular Specification and Verification of Object-Oriented Programs#
    Peter Müller. In Modular Specification and Verification of Object-Oriented Programs. Lecture Notes in Computer Science. Springer Verlag 2002. (bib)
  • Predicate Transformation as a Proof Strategy #
    Nicole Rauch and Arnd Poetzsch-Heffter. In Proc. 4th ECOOP Workshop: Formal Techniques for Java-like Programs, Technical Report NIII-R0204, pages 117–128. 2002. (bib, pdf)

2001

  • A Type System for Checking Applet Isolation in Java Card#
    Peter Müller and Arnd Poetzsch-Heffter. In Formal Techniques for Java Programs. 2001. (bib, pdf)
  • How Java’s Language Design Reflects the Requirements of Mobile Code#
    Arnd Poetzsch-Heffter. In Informationstechnik und Technische Informatik, number 3, pages 125–131 2001. (bib)

2000

  • An Architecture for Interactive Program Provers#
    Jörg Meyer and Arnd Poetzsch-Heffter. In TACAS, Tools and Algorithms for the Construction and Analysis of Systems, pages 63–77. 2000 Available. (bib, pdf)
  • Dynamic Components as Semantic Entities: Concept and Static Support#
    Arnd Poetzsch-Heffter. In Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarekomponenten, pages 1–6. 2000 Bericht Nr.~2007. (bib, pdf)
  • Formal Techniques for Java Programs#
    Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens and Peter Müller. In . 2000, Springer-Verlag Available. (bib, pdf)
  • Modular Specification and Verification Techniques for Object-Oriented Software Components#
    Peter Müller and Arnd Poetzsch-Heffter. In Foundations of Component-Based Systems. . Cambridge University Press 2000 (to appear). (bib, pdf)
  • A Type System for Controlling Representation Exposure in Java #
    Peter Müller and Arnd Poetzsch-Heffter. In Formal Techniques for Java Programs. 2000 Available. (bib, pdf)

1999

  • Interactive Verification Environments for Object-Oriented Languages#
    Jörg Meyer and Arnd Poetzsch-Heffter. In Journal of Universal Computer Science, number 3, pages 208–225 1999 Available. (bib, pdf)
  • Making Executable Interface Specifications More Expressive#
    Peter Müller, Järg Meyer and Arnd Poetzsch-Heffter. In JIT ’99 Java-Informations-Tage 1999. 1999, Springer-Verlag Available. (bib, pdf)
  • A Programming Logic for Sequential Java#
    Arnd Poetzsch-Heffter and Peter Müller. In ESOP ’99. 1999, Springer. (bib, pdf)
  • Universes: A Type System for Controlling Representation Exposure#
    Peter Müller and Arnd Poetzsch-Heffter. In Programming Languages and Fundamentals of Programming. 1999 Available. (bib, pdf)
  • Formal Techniques for Java Programs #
    Bart Jacobs, Gary T. Leavens, Peter Müller and Arnd Poetzsch-Heffter. In Object-Oriented Technology. ECOOP’99 Workshop Reader. 1999, Springer-Verlag Available. (bib, pdf)

1998

  • Logical Foundations for Typed Object-Oriented Languages#
    Arnd Poetzsch-Heffter and Peter Müller. In Programming Concepts and Methods. 1998 Available. (bib, pdf)

1997

  • Specification and Verification of Object-Oriented Programs#
    Arnd Poetzsch-Heffter. PhD Thesis, January 1997. (bib, pdf)
  • Preserving the Correctness of Object-Oriented Programs under Extension#
    Peter Müller and Arnd Poetzsch-Heffter. In Programming Languages and Fundamentals of Programming. 1997 Available. (bib, pdf)
  • Prototyping Realistic Programming Languages Based on Formal Specifications #
    Arnd Poetzsch-Heffter. In Acta Informatica, pages 737–772 1997 Available. (bib, pdf)
  • A Logic for the Verification of Object-Oriented Programs#
    Arnd Poetzsch-Heffter and Peter Müller. In Programming Languages and Fundamentals of Programming. 1997 Available. (bib)
  • Developing Provably Correct Programs From Object-Oriented Components#
    Peter Müller and Arnd Poetzsch-Heffter. In Foundations of Component-Based Systems. 1997 Available. HTML version available from http://www.cs.iastate.edu/~leavens/FoCBS/FoCBS.html. (bib, pdf)
  • Formal Specification Techniques for Object-Oriented Programs#
    Peter Müller and Arnd Poetzsch-Heffter. In Informatik 97: Informatik als Innovationsmotor. 1997, Springer-Verlag Available. (bib, pdf)

1996

  • Using Occurrence and Evolving Algebras for the Specification of Language-Based Programming Tools#
    Arnd Poetzsch-Heffter. In Algebraic Methodology and Software Technology, 5th International Conference, AMAST ’96, pages 583–586. 1996, Springer-Verlag Available. (bib, pdf)

1995

  • Interface Specifications for Program Modules Supporting Selective Updates and Sharing and their Use in Correctness Proofs#
    Arnd Poetzsch-Heffter. In Softwaretechnik 95. 1995 Available. (bib, pdf)

1994

  • Deriving Partial Correctness Logics From Evolving Algebras#
    Arnd Poetzsch-Heffter. In IFIP 13th World Computer Congress ’94, pages 434–439. August 1994, Elsevier Available. (bib, pdf)
  • Developing Efficient Interpreters Based on Formal Language Specifications#
    Arnd Poetzsch-Heffter. In Compiler Construction, pages 233–247. 1994, Springer-Verlag Available. (bib, pdf)

1993

  • Programming Language Specification and Prototyping Using the MAX System#
    Arnd Poetzsch-Heffter. In Programming Language Implementation and Logic Programming, pages 137–150. 1993, Springer-Verlag Available. (bib, pdf)

1992

  • Implementing High-Level Identification Specifications#
    Arnd Poetzsch-Heffter. In Compiler Construction. 1992 Available. (bib, pdf)

1991

  • Logic-Based Specification of Visibility Rules#
    Arnd Poetzsch-Heffter. In Programming Language Implementation and Logic Programming. 1991 Available. (bib, pdf)