default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArnd Poetzsch-Heffter
Person information
- affiliation: Kaiserslautern University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j12]Peter Zeller
, Annette Bieniusa, Arnd Poetzsch-Heffter:
Combining state- and event-based semantics to verify highly available applications. Sci. Comput. Program. 210: 102687 (2021)
2010 – 2019
- 2019
- [c70]Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Combining State- and Event-Based Semantics to Verify Highly Available Programs. FACS 2019: 213-232 - 2017
- [c69]Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter:
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). FORTE 2017: 236-242 - [i6]Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter:
EPTL - A temporal logic for weakly consistent systems. CoRR abs/1704.05320 (2017) - 2016
- [c68]Peter Zeller, Arnd Poetzsch-Heffter:
Towards a Proof Framework for Information Systems with Weak Consistency. SEFM 2016: 277-283 - [c67]Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter:
Access Control for Weakly Consistent Replicated Information Systems. STM 2016: 82-97 - [c66]Malte Brunnlieb, Arnd Poetzsch-Heffter:
Application of Architecture Implementation Patterns by Incremental Code Generation. VikingPLoP 2016: 11:1-11:12 - 2015
- [c65]Ilham W. Kurnia, Arnd Poetzsch-Heffter:
Modeling Actor Systems Using Dynamic I/O Automata. Ershov Memorial Conference 2015: 186-202 - 2014
- [j11]Yannick Welsch, Arnd Poetzsch-Heffter:
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. Sci. Comput. Program. 92: 129-161 (2014) - [c64]Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Formal Specification and Verification of CRDTs. FORTE 2014: 33-48 - [c63]Malte Brunnlieb, Arnd Poetzsch-Heffter:
Architecture-driven Incremental Code Generation for Increased Developer Efficiency. Software Engineering 2014: 143-148 - [p2]Arnd Poetzsch-Heffter, Barbara Paech, Mathias Weber:
Integrated Modeling and Evolution of Social Software. Socioinformatics 2014: 81-93 - 2013
- [j10]Barbara Paech, Arnd Poetzsch-Heffter:
Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung. Inform. Spektrum 36(3): 242-250 (2013) - [c62]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: 72-89 - [c61]Arnd Poetzsch-Heffter, Barbara Paech:
Towards Multi-Party Evolution of Social Software. GI-Jahrestagung 2013: 1173-1174 - [c60]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: 1-6 - [p1]Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter:
Location Types for Safe Programming with Near and Far References. Aliasing in Object-Oriented Programming 2013: 471-500 - 2012
- [c59]Ilham W. Kurnia, Arnd Poetzsch-Heffter:
A relational trace logic for simple hierarchical actor-based component systems. AGERE!@SPLASH 2012: 47-58 - [c58]Yannick Welsch, Arnd Poetzsch-Heffter:
Verifying backwards compatibility of object-oriented libraries using Boogie. FTfJP@ECOOP 2012: 35-41 - [c57]Ilham W. Kurnia, Arnd Poetzsch-Heffter:
Verification of Open Concurrent Object Systems. FMCO 2012: 83-118 - [c56]Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch:
Model-Based Compatibility Checking of System Modifications. ISoLA (1) 2012: 97-111 - [c55]Patrick Michel, Arnd Poetzsch-Heffter:
Verifying and Generating WP Transformers for Procedures on Complex Data. ITP 2012: 133-148 - [c54]Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch:
A type system for checking specialization of packages in object-oriented programming. SAC 2012: 1737-1742 - 2011
- [c53]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: 19-27 - [c52]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: 126-135 - [c51]Yannick Welsch, Arnd Poetzsch-Heffter:
Full Abstraction at Package Boundaries of Object-Oriented Languages. SBMF 2011: 28-43 - 2010
- [j9]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): 20:1-20:39 (2010) - [c50]Jan Schäfer, Arnd Poetzsch-Heffter:
JCoBox: Generalizing Active Objects to Concurrent Components. ECOOP 2010: 275-299 - [c49]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: 165-183 - [c48]Jan Schäfer, Arnd Poetzsch-Heffter:
Writing concurrent desktop applications in an actor-based programming model. IWMSE@ICSE 2010: 2-9 - [c47]Patrick Michel, Arnd Poetzsch-Heffter:
Maintaining XML Data Integrity in Programs. SOFSEM 2010: 600-611
2000 – 2009
- 2009
- [b3]Arnd Poetzsch-Heffter:
Konzepte objektorientierter Programmierung - mit einer Einführung in Java, 2. Auflage. eXamen.press, Springer 2009, ISBN 978-3-540-89470-4, pp. I-XIV, 1-352 - [j8]Ina Schaefer, Arnd Poetzsch-Heffter:
Model-based verification of adaptive embedded systems under environment constraints. SIGBED Rev. 6(3): 9 (2009) - [c46]Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer:
Consistency Checking for Workflows with an Ontology-Based Data Perspective. DEXA 2009: 98-113 - [c45]Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer:
A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. GI Jahrestagung 2009: 3135-3149 - [c44]Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter:
A Model-Based Framework for Automated Product Derivation. MAPLE@SPLC 2009 - [e4]Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv:
Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009. Dagstuhl Seminar Proceedings 09301, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [e3]David Lee, Antónia Lopes, Arnd Poetzsch-Heffter:
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. Lecture Notes in Computer Science 5522, Springer 2009, ISBN 978-3-642-02137-4 [contents] - [i5]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 - [i4]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 - 2008
- [c43]Jan Schäfer, Arnd Poetzsch-Heffter:
CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS 2008: 201-219 - [c42]Ina Schaefer, Arnd Poetzsch-Heffter:
Slicing for model reduction in adaptive embedded systems development. SEAMS 2008: 25-32 - [c41]Ina Schaefer, Arnd Poetzsch-Heffter:
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104 - [e2]Arnd Poetzsch-Heffter, Klaus Schneider:
Proceedings of the First Workshop on Verification of Adaptive Systems, VerAS@TPHOLs 2007, Kaiserslautern, Germany, September 14, 2007. Electronic Notes in Theoretical Computer Science 200(2), Elsevier 2008 [contents] - 2007
- [j7]Jan Schaefer, Arnd Poetzsch-Heffter:
A Parameterized Type System for Simple Loose Ownership Domains. J. Object Technol. 6(5): 71-100 (2007) - [c40]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: 238-266 - [c39]John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107 - [c38]Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav:
Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236 - [c37]Arnd Poetzsch-Heffter, Jan Schäfer:
A Representation-Independent Behavioral Semantics for Object-Oriented Components. FMOODS 2007: 157-173 - [c36]Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions. RV 2007: 139-150 - [c35]Arnd Poetzsch-Heffter, Klaus Schneider:
Preface. VerAS@TPHOLs 2007: 1 - [c34]Jan Olaf Blech, Arnd Poetzsch-Heffter:
A Certifying Code Generation Phase. COCV@ETAPS 2007: 65-82 - [e1]Arnd Poetzsch-Heffter:
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007. ACM 2007, ISBN 978-1-59593-721-6 [contents] - 2006
- [j6]Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens:
Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006) - [j5]Jan Schäfer, Arnd Poetzsch-Heffter:
Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten. Softwaretechnik-Trends 26(2) (2006) - [c33]Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer:
Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation 2006: 120-144 - [c32]Ina Schaefer, Arnd Poetzsch-Heffter:
Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006 - [c31]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c30]Ina Schaefer, Arnd Poetzsch-Heffter:
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585 - 2005
- [c29]Arnd Poetzsch-Heffter, Jan Schäfer:
Modular Specification of Encapsulated Object-Oriented Components. FMCO 2005: 313-341 - 2004
- [c28]Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter:
A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150 - [c27]Arnd Poetzsch-Heffter:
From Structured Heaps to Encapsulated Runtime Components. GI Jahrestagung (2) 2004: 396 - [c26]Arnd Poetzsch-Heffter, Nicole Rauch:
Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217 - [c25]Arnd Poetzsch-Heffter, Marek Gawkowski:
Towards Proof Generating Compilers. COCV@ETAPS 2004: 37-51 - 2003
- [j4]Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens:
Modular specification of frame properties in JML. Concurr. Comput. Pract. Exp. 15(2): 117-154 (2003) - [c24]Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71 - [c23]Ursula Scheben, Arnd Poetzsch-Heffter:
Concepts and Techniques simplifying the Assembly Process for Component Instances. SC 2003: 115-131 - 2002
- [c22]Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210 - [c21]K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou:
Using Data Groups to Specify and Check Side Effects. PLDI 2002: 246-257 - [c20]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: 82-117 - 2001
- [j3]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): 125-131 (2001) - [c19]Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40 - 2000
- [b2]Arnd Poetzsch-Heffter:
Konzepte objektorientierter Programmierung - mit einer Einführung in Java. Springer 2000, ISBN 978-3-540-66793-3, pp. I-XII, 1-352 - [c18]Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54 - [c17]Jörg Meyer, Arnd Poetzsch-Heffter:
An Architecture for Interactive Program Provers. TACAS 2000: 63-77
1990 – 1999
- 1999
- [j2]Jörg Meyer, Arnd Poetzsch-Heffter:
Interactive Verification Environments for Object-Oriented Programs. J. Univers. Comput. Sci. 5(3): 208-225 (1999) - [c16]Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115 - [c15]Peter Müller, Arnd Poetzsch-Heffter:
Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156 - [c14]Arnd Poetzsch-Heffter, Peter Müller:
A Programming Logic for Sequential Java. ESOP 1999: 162-176 - [c13]Wolfgang Goerigk, Arnd Poetzsch-Heffter:
Arbeitstagung Programmiersprachen - Vorwort. GI Jahrestagung 1999: 349 - [c12]Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter:
Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252 - 1998
- [c11]Peter Müller, Arnd Poetzsch-Heffter:
Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10 - [c10]Arnd Poetzsch-Heffter, Peter Müller:
Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423 - 1997
- [j1]Arnd Poetzsch-Heffter:
Prototyping Realistic Programming Languages Based on Formal Specifications. Acta Informatica 34(10): 737-772 (1997) - [c9]Peter Müller, Arnd Poetzsch-Heffter:
Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611 - 1996
- [c8]Arnd Poetzsch-Heffter:
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. AMAST 1996: 583-586 - 1994
- [c7]Arnd Poetzsch-Heffter:
Developing Efficient Interpreters Based on Formal Language Specifications. CC 1994: 233-247 - [c6]Arnd Poetzsch-Heffter:
Deriving Partial Correctness Logics From Evolving Algebras. IFIP Congress (1) 1994: 434-439 - 1993
- [c5]Arnd Poetzsch-Heffter:
Programming Language Specification and Prototyping Using the MAX System. PLILP 1993: 137-150 - [i3]Arnd Poetzsch-Heffter, Thomas Eisenbarth:
The MAX system: a tutorial introduction. Forschungsberichte, TU Munich TUM I 9307: 1-45 (1993) - 1992
- [c4]Arnd Poetzsch-Heffter:
Implementing High-Level Identification Specifications. CC 1992: 59-65 - [i2]Arnd Poetzsch-Heffter:
Implementing high level identification specifications. Forschungsberichte, TU Munich TUM I 9222: 1-18 (1992) - [i1]Arnd Poetzsch-Heffter:
Identification as programming language principle. Forschungsberichte, TU Munich TUM I 9223: 1-22 (1992) - 1991
- [b1]Arnd Poetzsch-Heffter:
Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen. Technical University Munich, Germany, 1991, pp. 1-163 - [c3]Arnd Poetzsch-Heffter:
Logic-Based Specification of Visibility Rules. PLILP 1991: 63-74
1980 – 1989
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
