Reorganisieren von Basisblöcken für Pipeline-Prozessoren. - Arnd Poetzsch-Heffter (ARCS, 1988)

Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. - Arnd Poetzsch-Heffter (CC, 1988)

Logic-Based Specification of Visibility Rules. - Arnd Poetzsch-Heffter (PLILP, 1991)

Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen. - Arnd Poetzsch-Heffter (1991)

Implementing high level identification specifications - Arnd Poetzsch-Heffter (Forschungsberichte, TU Munich, 1992)

Identification as programming language principle - Arnd Poetzsch-Heffter (Forschungsberichte, TU Munich, 1992)

Programming Language Specification and Prototyping Using the MAX System. - Arnd Poetzsch-Heffter (PLILP, 1993)

The MAX system: a tutorial introduction - Arnd Poetzsch-Heffter; Thomas Eisenbarth 004 (Forschungsberichte, TU Munich, 1993)

Developing Efficient Interpreters Based on Formal Language Specifications. - Arnd Poetzsch-Heffter (CC, 1994)

Deriving Partial Correctness Logics From Evolving Algebras. - Arnd Poetzsch-Heffter (IFIP Congress (1), 1994)

Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. - Arnd Poetzsch-Heffter (AMAST, 1996)

Formal Specification Techniques for Object-Oriented Programs. - Peter Müller 001; Arnd Poetzsch-Heffter (GI Jahrestagung, 1997)

Prototyping Realistic Programming Languages Based on Formal Specifications. - Arnd Poetzsch-Heffter (Acta Informatica, 1997)

Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. - Peter Müller 001; Arnd Poetzsch-Heffter (Java-Informations-Tage, 1998)

Logical foundations for typed object-oriented languages. - Arnd Poetzsch-Heffter; Peter Müller 001 (PROCOMET, 1998)

Formal Techniques for Java Programs. - Bart Jacobs 001; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 1999)

Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. - Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 1999)

A Programming Logic for Sequential Java. - Arnd Poetzsch-Heffter; Peter Müller 001 (ESOP, 1999)

Arbeitstagung Programmiersprachen - Vorwort. - Wolfgang Goerigk; Arnd Poetzsch-Heffter (GI Jahrestagung, 1999)

Making Executable Interface Specifications More Expressive. - Peter Müller 001; Jörg Meyer 004; Arnd Poetzsch-Heffter (Java-Informations-Tage, 1999)

Interactive Verification Environments for Object-Oriented Programs. - Jörg Meyer 004; Arnd Poetzsch-Heffter (J. Univers. Comput. Sci., 1999)

Konzepte objektorientierter Programmierung - mit einer Einführung in Java. - Arnd Poetzsch-Heffter (Springer, 2000)

Formal Techniques for Java Programs. - Sophia Drossopoulou; Susan Eisenbach; Bart Jacobs 001; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter (ECOOP Workshops, 2000)

An Architecture for Interactive Program Provers. - Jörg Meyer 004; Arnd Poetzsch-Heffter (TACAS, 2000)

Formal Techniques for Java Programs. - Gary T. Leavens; Sophia Drossopoulou; Susan Eisenbach; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2001)

Javas Sprachentwurf im Spiegel der Anforderungen an mobilen Programmcode (How Java's Language Design Reflects the Requirements of Mobile Code). - Arnd Poetzsch-Heffter (Informationstechnik Tech. Inform., 2001)

Formal Techniques for Java-like Programs. - Sophia Drossopoulou; Susan Eisenbach; Gary T. Leavens; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2002)

Using Data Groups to Specify and Check Side Effects. - K. Rustan M. Leino; Arnd Poetzsch-Heffter; Yunhong Zhou (PLDI, 2002)

MultiMedia Instruction in Safe and Secure Systems. - Bernd Krieg-Brückner; Dieter Hutter; Arne Lindow; Christoph Lüth; Achim Mahnke; Erica Melis; Philipp Meier; Arnd Poetzsch-Heffter; Markus Roggenbach; George Russell; Jan-Georg Smaus; Martin Wirsing (WADT, 2002)

Formal Techniques for Java-Like Programs. - Susan Eisenbach; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2003)

Modular specification of frame properties in JML. - Peter Müller 001; Arnd Poetzsch-Heffter; Gary T. Leavens (Concurr. Comput. Pract. Exp., 2003)

Concepts and Techniques simplifying the Assembly Process for Component Instances. - Ursula Scheben; Arnd Poetzsch-Heffter (SC, 2003)

A Type System for Checking Applet Isolation in Java Card. - Werner Dietl; Peter Müller 001; Arnd Poetzsch-Heffter (CASSIS, 2004)

From Structured Heaps to Encapsulated Runtime Components. - Arnd Poetzsch-Heffter (GI Jahrestagung (2), 2004)

Application and Formal Specification of Sorted Term-Position Algebras. - Arnd Poetzsch-Heffter; Nicole Rauch (WADT, 2004)

Towards Proof Generating Compilers. - Arnd Poetzsch-Heffter; Marek Gawkowski (COCV@ETAPS, 2004)

Modular Specification of Encapsulated Object-Oriented Components. - Arnd Poetzsch-Heffter; Jan Schäfer 002 (FMCO, 2005)

Infering Ownership Types for Encapsulated Object-Oriented Program Components. - Arnd Poetzsch-Heffter; Kathrin Geilmann; Jan Schäfer 002 (Program Analysis and Compilation, 2006)

Using Abstraction in Modular Verification of Synchronous Adaptive Systems. - Ina Schaefer; Arnd Poetzsch-Heffter (Trustworthy Software, 2006)

Formal Techniques for Java-Like Programs. - Davide Ancona; Sophia Drossopoulou; Atsushi Igarashi; Gary T. Leavens; Arnd Poetzsch-Heffter; Elena Zucca (ECOOP Workshops, 2006)

Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. - Ina Schaefer; Arnd Poetzsch-Heffter (SSS, 2006)

Modular invariants for layered object structures. - Peter Müller 001; Arnd Poetzsch-Heffter; Gary T. Leavens (Sci. Comput. Program., 2006)

Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten. - Jan Schäfer 002; Arnd Poetzsch-Heffter (Softwaretechnik-Trends, 2006)

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. - Jan Schäfer 002; Markus Reitz; Jean-Marie Gaillourdet; Arnd Poetzsch-Heffter (CoCoME, 2007)

Formal Techniques for Java-Like Programs. - John Boyland; Dave Clarke 001; Gary T. Leavens; Francesco Logozzo; Arnd Poetzsch-Heffter (ECOOP Workshops, 2007)

Modular Shape Analysis for Dynamically Encapsulated Programs. - Noam Rinetzky; Arnd Poetzsch-Heffter; Ganesan Ramalingam; Mooly Sagiv; Eran Yahav (ESOP, 2007)

A Representation-Independent Behavioral Semantics for Object-Oriented Components. - Arnd Poetzsch-Heffter; Jan Schäfer 002 (FMOODS, 2007)

Translation Validation of System Abstractions. - Jan Olaf Blech; Ina Schaefer; Arnd Poetzsch-Heffter (RV, 2007)

A Certifying Code Generation Phase. - Jan Olaf Blech; Arnd Poetzsch-Heffter (COCV@ETAPS, 2007)

Preface. - Arnd Poetzsch-Heffter; Klaus Schneider 001 (VerAS@TPHOLs, 2007)

A Parameterized Type System for Simple Loose Ownership Domains. - Jan Schaefer 002; Arnd Poetzsch-Heffter (J. Object Technol., 2007)

CoBoxes: Unifying Active Objects and Structured Heaps. - Jan Schäfer 002; Arnd Poetzsch-Heffter (FMOODS, 2008)

Slicing for model reduction in adaptive embedded systems development. - Ina Schaefer; Arnd Poetzsch-Heffter (SEAMS, 2008)

Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. - Ina Schaefer; Arnd Poetzsch-Heffter (SEFM, 2008)

Konzepte objektorientierter Programmierung - mit einer Einführung in Java, 2. Auflage. - Arnd Poetzsch-Heffter (Springer, 2009)

09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. - Mooly Sagiv; Arnd Poetzsch-Heffter; Peter W. O'Hearn (Typing, Analysis and Verification of Heap-Manipulating Programs, 2009)

09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. - Mooly Sagiv; Arnd Poetzsch-Heffter; Peter W. O'Hearn (Typing, Analysis and Verification of Heap-Manipulating Programs, 2009)

Consistency Checking for Workflows with an Ontology-Based Data Perspective. - Gabriele Weiler; Arnd Poetzsch-Heffter; Stephan Kiefer (DEXA, 2009)

A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. - Gabriele Weiler; Arnd Poetzsch-Heffter; Stephan Kiefer (GI Jahrestagung, 2009)

A Model-Based Framework for Automated Product Derivation. - Ina Schaefer; Alexander Worret; Arnd Poetzsch-Heffter (MAPLE@SPLC, 2009)

Model-based verification of adaptive embedded systems under environment constraints. - Ina Schaefer; Arnd Poetzsch-Heffter (SIGBED Rev., 2009)

JCoBox: Generalizing Active Objects to Concurrent Components. - Jan Schäfer 002; Arnd Poetzsch-Heffter (ECOOP, 2010)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

Writing concurrent desktop applications in an actor-based programming model. - Jan Schäfer 002; Arnd Poetzsch-Heffter (IWMSE@ICSE, 2010)

Maintaining XML Data Integrity in Programs. - Patrick Michel; Arnd Poetzsch-Heffter (SOFSEM, 2010)

Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. - Rasmus Adler; Ina Schaefer; Mario Trapp; Arnd Poetzsch-Heffter (ACM Trans. Embed. Comput. Syst., 2010)

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. - Thomas Grundmann; Jean-Marie Gaillourdet; Karsten Schmidt 002; Arnd Poetzsch-Heffter; Stefan Deßloch; Martin Memmel (MathWikis@ITP, 2011)

WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models. - Jean-Marie Gaillourdet; Thomas Grundmann; Martin Memmel; Karsten Schmidt 002; Arnd Poetzsch-Heffter; Stefan Deßloch (KES (4), 2011)

Full Abstraction at Package Boundaries of Object-Oriented Languages. - Yannick Welsch; Arnd Poetzsch-Heffter (SBMF, 2011)

A relational trace logic for simple hierarchical actor-based component systems. - Ilham W. Kurnia; Arnd Poetzsch-Heffter (AGERE!@SPLASH, 2012)

Verifying backwards compatibility of object-oriented libraries using Boogie. - Yannick Welsch; Arnd Poetzsch-Heffter (FTfJP@ECOOP, 2012)

Verification of Open Concurrent Object Systems. - Ilham W. Kurnia; Arnd Poetzsch-Heffter (FMCO, 2012)

Model-Based Compatibility Checking of System Modifications. - Arnd Poetzsch-Heffter; Christoph Feller; Ilham W. Kurnia; Yannick Welsch (ISoLA (1), 2012)

Verifying and Generating WP Transformers for Procedures on Complex Data. - Patrick Michel; Arnd Poetzsch-Heffter (ITP, 2012)

A type system for checking specialization of packages in object-oriented programming. - Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch (SAC, 2012)

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). - Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch (Programming Logics, 2013)

Towards Multi-Party Evolution of Social Software. - Arnd Poetzsch-Heffter; Barbara Paech (GI-Jahrestagung, 2013)

Loopy - An open-source TCP/IP rapid prototyping and validation framework. - Christian de Schryver; Philipp Schläfer; Norbert Wehn; Thomas Fischer 003; Arnd Poetzsch-Heffter (ReConFig, 2013)

Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung. - Barbara Paech; Arnd Poetzsch-Heffter (Inform. Spektrum, 2013)

Location Types for Safe Programming with Near and Far References. - Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (Aliasing in Object-Oriented Programming, 2013)

Integrated Modeling and Evolution of Social Software. - Arnd Poetzsch-Heffter; Barbara Paech; Mathias Weber 001 (Socioinformatics, 2014)

Formal Specification and Verification of CRDTs. - Peter Zeller 001; Annette Bieniusa; Arnd Poetzsch-Heffter (FORTE, 2014)

Architecture-driven Incremental Code Generation for Increased Developer Efficiency. - Malte Brunnlieb; Arnd Poetzsch-Heffter (Software Engineering, 2014)

A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. - Yannick Welsch; Arnd Poetzsch-Heffter (Sci. Comput. Program., 2014)

Modeling Actor Systems Using Dynamic I/O Automata. - Ilham W. Kurnia; Arnd Poetzsch-Heffter (Ershov Memorial Conference, 2015)

Towards a Proof Framework for Information Systems with Weak Consistency. - Peter Zeller 001; Arnd Poetzsch-Heffter (SEFM, 2016)

Access Control for Weakly Consistent Replicated Information Systems. - Mathias Weber 001; Annette Bieniusa; Arnd Poetzsch-Heffter (STM, 2016)

Application of Architecture Implementation Patterns by Incremental Code Generation. - Malte Brunnlieb; Arnd Poetzsch-Heffter (VikingPLoP, 2016)

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). - Mathias Weber 001; Annette Bieniusa; Arnd Poetzsch-Heffter (FORTE, 2017)

EPTL - A temporal logic for weakly consistent systems. - Mathias Weber 001; Annette Bieniusa; Arnd Poetzsch-Heffter (CoRR, 2017)

Combining State- and Event-Based Semantics to Verify Highly Available Programs. - Peter Zeller 001; Annette Bieniusa; Arnd Poetzsch-Heffter (FACS, 2019)

Combining state- and event-based semantics to verify highly available applications. - Peter Zeller 001; Annette Bieniusa; Arnd Poetzsch-Heffter (Sci. Comput. Program., 2021)