Arnd Poetzsch-Heffter

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 8

Top Venues

FORTE

Sci. Comput. Program.

Inform. Spektrum

Ershov Memorial Conference

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Combining state- and event-based semantics to verify highly available applications. Sci. Comput. Program. 210 (2021)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Combining State- and Event-Based Semantics to Verify Highly Available Programs. FACS (2019)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
EPTL - A temporal logic for weakly consistent systems. CoRR (2017)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). FORTE (2017)
Peter Zeller, Arnd Poetzsch-Heffter
Towards a Proof Framework for Information Systems with Weak Consistency. SEFM (2016)
Malte Brunnlieb, Arnd Poetzsch-Heffter
Application of Architecture Implementation Patterns by Incremental Code Generation. VikingPLoP (2016)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
Access Control for Weakly Consistent Replicated Information Systems. STM (2016)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
Modeling Actor Systems Using Dynamic I/O Automata. Ershov Memorial Conference (2015)
Yannick Welsch, Arnd Poetzsch-Heffter
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. Sci. Comput. Program. 92 (2014)
Malte Brunnlieb, Arnd Poetzsch-Heffter
Architecture-driven Incremental Code Generation for Increased Developer Efficiency. Software Engineering (2014)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Formal Specification and Verification of CRDTs. FORTE (2014)
Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). Programming Logics (2013)
Arnd Poetzsch-Heffter, Barbara Paech
Towards Multi-Party Evolution of Social Software. GI-Jahrestagung (2013)
Christian de Schryver, Philipp Schläfer, Norbert Wehn, Thomas Fischer, Arnd Poetzsch-Heffter
Loopy - An open-source TCP/IP rapid prototyping and validation framework. ReConFig (2013)
Barbara Paech, Arnd Poetzsch-Heffter
Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung. Inform. Spektrum 36 (3) (2013)
Patrick Michel, Arnd Poetzsch-Heffter
Verifying and Generating WP Transformers for Procedures on Complex Data. ITP (2012)
Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch
A type system for checking specialization of packages in object-oriented programming. SAC (2012)
Yannick Welsch, Arnd Poetzsch-Heffter
Verifying backwards compatibility of object-oriented libraries using Boogie. FTfJP@ECOOP (2012)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
Verification of Open Concurrent Object Systems. FMCO (2012)
Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch
Model-Based Compatibility Checking of System Modifications. ISoLA (1) (2012)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
A relational trace logic for simple hierarchical actor-based component systems. AGERE!@SPLASH (2012)
Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel
The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. MathWikis@ITP (2011)
Jean-Marie Gaillourdet, Thomas Grundmann, Martin Memmel, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch
WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models. KES (4) (2011)
Yannick Welsch, Arnd Poetzsch-Heffter
Full Abstraction at Package Boundaries of Object-Oriented Languages. SBMF (2011)
Jan Schäfer, Arnd Poetzsch-Heffter
JCoBox: Generalizing Active Objects to Concurrent Components. ECOOP (2010)
Patrick Michel, Arnd Poetzsch-Heffter
Maintaining XML Data Integrity in Programs. SOFSEM (2010)
Rasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embed. Comput. Syst. 10 (2) (2010)
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
A Component Model for the ABS Language. FMCO (2010)
Jan Schäfer, Arnd Poetzsch-Heffter
Writing concurrent desktop applications in an actor-based programming model. IWMSE@ICSE (2010)
Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn
09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. Typing, Analysis and Verification of Heap-Manipulating Programs (2009)
Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter
A Model-Based Framework for Automated Product Derivation. MAPLE@SPLC (2009)
Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer
Consistency Checking for Workflows with an Ontology-Based Data Perspective. DEXA (2009)
Ina Schaefer, Arnd Poetzsch-Heffter
Model-based verification of adaptive embedded systems under environment constraints. SIGBED Rev. 6 (3) (2009)
Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. Typing, Analysis and Verification of Heap-Manipulating Programs (2009)
Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer
A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. GI Jahrestagung (2009)
Arnd Poetzsch-Heffter, Klaus Schneider
Preface. Electron. Notes Theor. Comput. Sci. 200 (2) (2008)
Ina Schaefer, Arnd Poetzsch-Heffter
Slicing for model reduction in adaptive embedded systems development. SEAMS (2008)
Jan Schäfer, Arnd Poetzsch-Heffter
CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS (2008)
Ina Schaefer, Arnd Poetzsch-Heffter
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM (2008)
John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter
Formal Techniques for Java-Like Programs. ECOOP Workshops (2007)
Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP (2007)
Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. CoCoME (2007)
Arnd Poetzsch-Heffter, Jan Schäfer
A Representation-Independent Behavioral Semantics for Object-Oriented Components. FMOODS (2007)
Jan Olaf Blech, Arnd Poetzsch-Heffter
A Certifying Code Generation Phase. Electron. Notes Theor. Comput. Sci. 190 (4) (2007)
Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter
Translation Validation of System Abstractions. RV (2007)
Jan Schaefer, Arnd Poetzsch-Heffter
A Parameterized Type System for Simple Loose Ownership Domains. J. Object Technol. 6 (5) (2007)
Jan Schäfer, Arnd Poetzsch-Heffter
Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten. Softwaretechnik-Trends 26 (2) (2006)
Ina Schaefer, Arnd Poetzsch-Heffter
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS (2006)
Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation (2006)
Ina Schaefer, Arnd Poetzsch-Heffter
Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software (2006)
Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
Modular invariants for layered object structures. Sci. Comput. Program. 62 (3) (2006)
Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
Formal Techniques for Java-Like Programs. ECOOP Workshops (2006)
Arnd Poetzsch-Heffter, Jan Schäfer
Modular Specification of Encapsulated Object-Oriented Components. FMCO (2005)
Arnd Poetzsch-Heffter, Marek Gawkowski
Towards Proof Generating Compilers. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Arnd Poetzsch-Heffter, Nicole Rauch
Application and Formal Specification of Sorted Term-Position Algebras. WADT (2004)
Arnd Poetzsch-Heffter
From Structured Heaps to Encapsulated Runtime Components. GI Jahrestagung (2) (2004)
Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
A Type System for Checking Applet Isolation in Java Card. CASSIS (2004)
Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
Modular specification of frame properties in JML. Concurr. Comput. Pract. Exp. 15 (2) (2003)
Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java-Like Programs. ECOOP Workshops (2003)
Ursula Scheben, Arnd Poetzsch-Heffter
Concepts and Techniques simplifying the Assembly Process for Component Instances. Electron. Notes Theor. Comput. Sci. 82 (5) (2003)
K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou
Using Data Groups to Specify and Check Side Effects. PLDI (2002)
Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java-like Programs. ECOOP Workshops (2002)
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
MultiMedia Instruction in Safe and Secure Systems. WADT (2002)
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java Programs. ECOOP Workshops (2001)
Arnd Poetzsch-Heffter
Javas Sprachentwurf im Spiegel der Anforderungen an mobilen Programmcode (How Java's Language Design Reflects the Requirements of Mobile Code). Informationstechnik Tech. Inform. 43 (3) (2001)
Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
Formal Techniques for Java Programs. ECOOP Workshops (2000)
Jörg Meyer, Arnd Poetzsch-Heffter
An Architecture for Interactive Program Provers. TACAS (2000)
Wolfgang Goerigk, Arnd Poetzsch-Heffter
Arbeitstagung Programmiersprachen - Vorwort. GI Jahrestagung (1999)
Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter
Making Executable Interface Specifications More Expressive. Java-Informations-Tage (1999)
Arnd Poetzsch-Heffter, Peter Müller
A Programming Logic for Sequential Java. ESOP (1999)
Peter Müller, Arnd Poetzsch-Heffter
Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops (1999)
Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
Formal Techniques for Java Programs. ECOOP Workshops (1999)
Jörg Meyer, Arnd Poetzsch-Heffter
Interactive Verification Environments for Object-Oriented Programs. J. Univers. Comput. Sci. 5 (3) (1999)
Arnd Poetzsch-Heffter, Peter Müller
Logical foundations for typed object-oriented languages. PROCOMET (1998)
Peter Müller, Arnd Poetzsch-Heffter
Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage (1998)
Arnd Poetzsch-Heffter
Prototyping Realistic Programming Languages Based on Formal Specifications. Acta Informatica 34 (10) (1997)
Peter Müller, Arnd Poetzsch-Heffter
Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung (1997)
Arnd Poetzsch-Heffter
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. AMAST (1996)
Arnd Poetzsch-Heffter
Developing Efficient Interpreters Based on Formal Language Specifications. CC (1994)
Arnd Poetzsch-Heffter
Deriving Partial Correctness Logics From Evolving Algebras. IFIP Congress (1) (1994)
Arnd Poetzsch-Heffter
Programming Language Specification and Prototyping Using the MAX System. PLILP (1993)
Arnd Poetzsch-Heffter, Thomas Eisenbarth
The MAX system: a tutorial introduction Forschungsberichte, TU Munich (1993)
Arnd Poetzsch-Heffter
Identification as programming language principle Forschungsberichte, TU Munich (1992)
Arnd Poetzsch-Heffter
Implementing high level identification specifications Forschungsberichte, TU Munich (1992)
Arnd Poetzsch-Heffter
Implementing High-Level Identification Specifications. CC (1992)
Arnd Poetzsch-Heffter
Logic-Based Specification of Visibility Rules. PLILP (1991)
Arnd Poetzsch-Heffter
Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. CC (1988)
Arnd Poetzsch-Heffter
Reorganisieren von Basisblöcken für Pipeline-Prozessoren. ARCS (1988)

Arnd Poetzsch-Heffter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnd Poetzsch-Heffter