Arnd Poetzsch-Heffter

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