Arnd Poetzsch-Heffter

According to our database, Arnd Poetzsch-Heffter authored at least 92 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Combining state- and event-based semantics to verify highly available applications.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Sci. Comput. Program., 2021

2019

Combining State- and Event-Based Semantics to Verify Highly Available Programs.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2017

EPTL - A temporal logic for weakly consistent systems.

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

CoRR, 2017

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Application of Architecture Implementation Patterns by Incremental Code Generation.

Malte Brunnlieb, Arnd Poetzsch-Heffter

Proceedings of the 10th Travelling Conference on Pattern Languages of Programs, 2016

Access Control for Weakly Consistent Replicated Information Systems.

Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Towards a Proof Framework for Information Systems with Weak Consistency.

Peter Zeller, Arnd Poetzsch-Heffter

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

Modeling Actor Systems Using Dynamic I/O Automata.

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Proceedings of the Perspectives of System Informatics, 2015

2014

A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries.

Yannick Welsch, Arnd Poetzsch-Heffter

Sci. Comput. Program., 2014

Architecture-driven Incremental Code Generation for Increased Developer Efficiency.

Malte Brunnlieb, Arnd Poetzsch-Heffter

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Formal Specification and Verification of CRDTs.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Integrated Modeling and Evolution of Social Software.

Arnd Poetzsch-Heffter, Barbara Paech, Mathias Weber

Proceedings of the Socioinformatics, 2014

2013

Location Types for Safe Programming with Near and Far References.

Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung.

Barbara Paech, Arnd Poetzsch-Heffter

Inform. Spektrum, 2013

Loopy - An open-source TCP/IP rapid prototyping and validation framework.

Christian de Schryver, Philipp Schläfer, Norbert Wehn, Thomas Fischer, Arnd Poetzsch-Heffter

Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 2013

Towards Multi-Party Evolution of Social Software.

Arnd Poetzsch-Heffter, Barbara Paech

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It).

Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

A type system for checking specialization of packages in object-oriented programming.

Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch

Proceedings of the ACM Symposium on Applied Computing, 2012

Verifying and Generating WP Transformers for Procedures on Complex Data.

Patrick Michel, Arnd Poetzsch-Heffter

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Model-Based Compatibility Checking of System Modifications.

Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verification of Open Concurrent Object Systems.

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects, 2012

Verifying backwards compatibility of object-oriented libraries using Boogie.

Yannick Welsch, Arnd Poetzsch-Heffter

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

A relational trace logic for simple hierarchical actor-based component systems.

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Proceedings of the 2nd edition on Programming systems, 2012

2011

Full Abstraction at Package Boundaries of Object-Oriented Languages.

Yannick Welsch, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

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 Deßloch

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform.

Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel

Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011

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

Maintaining XML Data Integrity in Programs.

Patrick Michel, Arnd Poetzsch-Heffter

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Writing concurrent desktop applications in an actor-based programming model.

Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

A Component Model for the ABS Language.

Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

JCoBox: Generalizing Active Objects to Concurrent Components.

Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the ECOOP 2010, 2010

2009

Model-based verification of adaptive embedded systems under environment constraints.

Ina Schaefer, Arnd Poetzsch-Heffter

SIGBED Rev., 2009

A Model-Based Framework for Automated Product Derivation.

Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter

Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), 2009

A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows.

Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Consistency Checking for Workflows with an Ontology-Based Data Perspective.

Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer

Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs.

Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn

Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009

09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.

Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn

Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009

Konzepte objektorientierter Programmierung - mit einer Einführung in Java, 2. Auflage.

Arnd Poetzsch-Heffter

eXamen.press, Springer, ISBN: 978-3-540-89470-4, 2009

2008

Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.

Ina Schaefer, Arnd Poetzsch-Heffter

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Slicing for model reduction in adaptive embedded systems development.

Ina Schaefer, Arnd Poetzsch-Heffter

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

CoBoxes: Unifying Active Objects and Structured Heaps.

Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

A Parameterized Type System for Simple Loose Ownership Domains.

Jan Schaefer, Arnd Poetzsch-Heffter

J. Object Technol., 2007

Preface.

Arnd Poetzsch-Heffter, Klaus Schneider

Proceedings of the First Workshop on Verification of Adaptive Systems, 2007

A Certifying Code Generation Phase.

Jan Olaf Blech, Arnd Poetzsch-Heffter

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Translation Validation of System Abstractions.

Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter

Proceedings of the Runtime Verification, 7th International Workshop, 2007

A Representation-Independent Behavioral Semantics for Object-Oriented Components.

Arnd Poetzsch-Heffter, Jan Schäfer

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Modular Shape Analysis for Dynamically Encapsulated Programs.

Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav

Proceedings of the Programming Languages and Systems, 2007

Formal Techniques for Java-Like Programs.

John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.

Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten.

Jan Schäfer, Arnd Poetzsch-Heffter

Softwaretechnik-Trends, 2006

Modular invariants for layered object structures.

Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens

Sci. Comput. Program., 2006

Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.

Ina Schaefer, Arnd Poetzsch-Heffter

Proceedings of the Stabilization, 2006

Formal Techniques for Java-Like Programs.

Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Using Abstraction in Modular Verification of Synchronous Adaptive Systems.

Ina Schaefer, Arnd Poetzsch-Heffter

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Infering Ownership Types for Encapsulated Object-Oriented Program Components.

Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer

Proceedings of the Program Analysis and Compilation, 2006

2005

Modular Specification of Encapsulated Object-Oriented Components.

Arnd Poetzsch-Heffter, Jan Schäfer

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Towards Proof Generating Compilers.

Arnd Poetzsch-Heffter, Marek Gawkowski

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Application and Formal Specification of Sorted Term-Position Algebras.

Arnd Poetzsch-Heffter, Nicole Rauch

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

From Structured Heaps to Encapsulated Runtime Components.

Arnd Poetzsch-Heffter

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

A Type System for Checking Applet Isolation in Java Card.

Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Construction and Analysis of Safe, 2004

2003

Concepts and Techniques simplifying the Assembly Process for Component Instances.

Ursula Scheben, Arnd Poetzsch-Heffter

Proceedings of the 2003 Workshop on Software Composition, 2003

Modular specification of frame properties in JML.

Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens

Concurr. Comput. Pract. Exp., 2003

Formal Techniques for Java-Like Programs.

Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Using Data Groups to Specify and Check Side Effects.

K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Formal Techniques for Java-like Programs.

Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology, 2002

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 Programs.

Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000

An Architecture for Interactive Program Provers.

Jörg Meyer, Arnd Poetzsch-Heffter

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Formal Techniques for Java Programs.

Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, 2000

Konzepte objektorientierter Programmierung - mit einer Einführung in Java.

Arnd Poetzsch-Heffter

Springer, ISBN: 978-3-540-66793-3, 2000

1999

Interactive Verification Environments for Object-Oriented Programs.

Jörg Meyer, Arnd Poetzsch-Heffter

J. Univers. Comput. Sci., 1999

Making Executable Interface Specifications More Expressive.

Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter

Proceedings of the JIT '99, 1999

Arbeitstagung Programmiersprachen - Vorwort.

Wolfgang Goerigk, Arnd Poetzsch-Heffter

Proceedings of the Informatik '99, 1999

A Programming Logic for Sequential Java.

Arnd Poetzsch-Heffter, Peter Müller

Proceedings of the Programming Languages and Systems, 1999

Alias Control Is Crucial for Modular Verification of Object-Oriented Programs.

Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Formal Techniques for Java Programs.

Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Logical foundations for typed object-oriented languages.

Arnd Poetzsch-Heffter, Peter Müller

Proceedings of the Programming Concepts and Methods, 1998

Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur.

Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the JIT '98, 1998

1997

Prototyping Realistic Programming Languages Based on Formal Specifications.

Arnd Poetzsch-Heffter

Acta Informatica, 1997

Formal Specification Techniques for Object-Oriented Programs.

Peter Müller, Arnd Poetzsch-Heffter

Proceedings of the Informatik '97, 1997

1996

Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools.

Arnd Poetzsch-Heffter

Proceedings of the Algebraic Methodology and Software Technology, 1996

1994

Deriving Partial Correctness Logics From Evolving Algebras.

Arnd Poetzsch-Heffter

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Developing Efficient Interpreters Based on Formal Language Specifications.

Arnd Poetzsch-Heffter

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

The MAX system: a tutorial introduction

Arnd Poetzsch-Heffter, Thomas Eisenbarth

Forschungsberichte, TU Munich, 1993

Programming Language Specification and Prototyping Using the MAX System.

Arnd Poetzsch-Heffter

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992

Identification as programming language principle

Arnd Poetzsch-Heffter

Forschungsberichte, TU Munich, 1992

Implementing high level identification specifications

Arnd Poetzsch-Heffter

Forschungsberichte, TU Munich, 1992

1991

Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen.

Arnd Poetzsch-Heffter

PhD thesis, 1991

Logic-Based Specification of Visibility Rules.

Arnd Poetzsch-Heffter

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1988

Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC.

Arnd Poetzsch-Heffter

Proceedings of the Compiler Compilers and High Speed Compilation, 1988

Reorganisieren von Basisblöcken für Pipeline-Prozessoren.

Arnd Poetzsch-Heffter

Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988