| 2017 | FORTE | EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). | Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2016 | SEFM | Towards a Proof Framework for Information Systems with Weak Consistency. | Peter Zeller, Arnd Poetzsch-Heffter |
| 2014 | FORTE | Formal Specification and Verification of CRDTs. | Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter |
| 2013 | GI | Towards Multi-Party Evolution of Social Software. | Arnd Poetzsch-Heffter, Barbara Paech |
| 2012 | ECOOP | Verifying backwards compatibility of object-oriented libraries using Boogie. | Yannick Welsch, Arnd Poetzsch-Heffter |
| 2012 | ISoLA | Model-Based Compatibility Checking of System Modifications. | Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch |
| 2012 | ITP | Verifying and Generating WP Transformers for Procedures on Complex Data. | Patrick Michel, Arnd Poetzsch-Heffter |
| 2012 | SAC | A type system for checking specialization of packages in object-oriented programming. | Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch |
| 2011 | ITP | The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. | Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deloch, Martin Memmel |
| 2011 | KES | WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models. | Jean-Marie Gaillourdet, Thomas Grundmann, Martin Memmel, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deloch |
| 2010 | ECOOP | JCoBox: Generalizing Active Objects to Concurrent Components. | Jan Schfer, Arnd Poetzsch-Heffter |
| 2010 | ICSE | Writing concurrent desktop applications in an actor-based programming model. | Jan Schfer, Arnd Poetzsch-Heffter |
| 2010 | SOFSEM | Maintaining XML Data Integrity in Programs. | Patrick Michel, Arnd Poetzsch-Heffter |
| 2009 | DEXA | Consistency Checking for Workflows with an Ontology-Based Data Perspective. | Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer |
| 2009 | GI | A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. | Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer |
| 2009 | SPLC | A Model-Based Framework for Automated Product Derivation. | Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter |
| 2008 | ICSE | Slicing for model reduction in adaptive embedded systems development. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2008 | SEFM | Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2007 | ESOP | Modular Shape Analysis for Dynamically Encapsulated Programs. | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
| 2007 | RV | Translation Validation of System Abstractions. | Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |
| 2006 | SSS | Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. | Ina Schaefer, Arnd Poetzsch-Heffter |
| 2004 | GI | From Structured Heaps to Encapsulated Runtime Components. | Arnd Poetzsch-Heffter |
| 2002 | PLDI | Using Data Groups to Specify and Check Side Effects. | K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou |
| 2000 | TACAS | An Architecture for Interactive Program Provers. | Jrg Meyer, Arnd Poetzsch-Heffter |
| 1999 | ESOP | A Programming Logic for Sequential Java. | Arnd Poetzsch-Heffter, Peter Mller |
| 1999 | GI | Arbeitstagung Programmiersprachen - Vorwort. | Wolfgang Goerigk, Arnd Poetzsch-Heffter |
| 1997 | GI | Formal Specification Techniques for Object-Oriented Programs. | Peter Mller, Arnd Poetzsch-Heffter |
| 1994 | CC | Developing Efficient Interpreters Based on Formal Language Specifications. | Arnd Poetzsch-Heffter |
| 1992 | CC | Implementing High-Level Identification Specifications. | Arnd Poetzsch-Heffter |
| 1988 | CC | Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. | Arnd Poetzsch-Heffter |