Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Arnd Poetzsch-Heffter
2010 – today
- 2013
[j14]Barbara Paech, Arnd Poetzsch-Heffter: Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung. Informatik Spektrum 36(3): 242-250 (2013)- 2012
- [c48]Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch: Model-Based Compatibility Checking of System Modifications. ISoLA (1) 2012: 97-111
- [c47]Patrick Michel, Arnd Poetzsch-Heffter: Verifying and Generating WP Transformers for Procedures on Complex Data. ITP 2012: 133-148
- [c46]Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch: A type system for checking specialization of packages in object-oriented programming. SAC 2012: 1737-1742
- 2011
- [c45]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
- [c44]Yannick Welsch, Arnd Poetzsch-Heffter: Full Abstraction at Package Boundaries of Object-Oriented Languages. SBMF 2011: 28-43
- 2010
- [j13]Rasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embedded Comput. Syst. 10(2): 20 (2010)
- [c43]Jan Schäfer, Arnd Poetzsch-Heffter: JCoBox: Generalizing Active Objects to Concurrent Components. ECOOP 2010: 275-299
- [c42]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
- [c41]Patrick Michel, Arnd Poetzsch-Heffter: Maintaining XML Data Integrity in Programs. SOFSEM 2010: 600-611
2000 – 2009
- 2009
- [j12]Ina Schaefer, Arnd Poetzsch-Heffter: Model-based verification of adaptive embedded systems under environment constraints. SIGBED Review 6(3): 9 (2009)
- [c40]Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer: Consistency Checking for Workflows with an Ontology-Based Data Perspective. DEXA 2009: 98-113
- [c39]Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer: A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. GI Jahrestagung 2009: 3135-3149
- [e2]David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): 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
- 2008
- [j11]
- [c38]Jan Schäfer, Arnd Poetzsch-Heffter: CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS 2008: 201-219
- [c37]Ina Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104
- 2007
- [j10]Jan Olaf Blech, Arnd Poetzsch-Heffter: A Certifying Code Generation Phase. Electr. Notes Theor. Comput. Sci. 190(4): 65-82 (2007)
- [j9]Jan Schaefer, Arnd Poetzsch-Heffter: A Parameterized Type System for Simple Loose Ownership Domains. Journal of Object Technology 6(5): 71-100 (2007)
- [c36]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
- [c35]John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
- [c34]Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
- [c33]Arnd Poetzsch-Heffter, Jan Schäfer: A Representation-Independent Behavioral Semantics for Object-Oriented Components. FMOODS 2007: 157-173
- [c32]Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150
- [e1]Arnd Poetzsch-Heffter (Ed.): 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
- 2006
- [j8]Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
- [j7]Jan Schäfer, Arnd Poetzsch-Heffter: Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten. Softwaretechnik-Trends 26(2) (2006)
- [c31]Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer: Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation 2006: 120-144
- [c30]Ina Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006
- [c29]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
- [c28]Ina Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585
- 2005
- [j6]Arnd Poetzsch-Heffter, Marek Gawkowski: Towards Proof Generating Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 37-51 (2005)
- [c27]Arnd Poetzsch-Heffter, Jan Schäfer: Modular Specification of Encapsulated Object-Oriented Components. FMCO 2005: 313-341
- 2004
- [c26]Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
- [c25]Arnd Poetzsch-Heffter: From Structured Heaps to Encapsulated Runtime Components. GI Jahrestagung (2) 2004: 396
- [c24]Arnd Poetzsch-Heffter, Nicole Rauch: Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217
- 2003
- [j5]Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular specification of frame properties in JML. Concurrency and Computation: Practice and Experience 15(2): 117-154 (2003)
- [j4]Ursula Scheben, Arnd Poetzsch-Heffter: Concepts and Techniques simplifying the Assembly Process for Component Instances. Electr. Notes Theor. Comput. Sci. 82(5): 115-131 (2003)
- [c23]Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
- 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). it+ti - Informationstechnik und Technische Informatik 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
- [b1]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. UCS 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]
- [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 Inf. 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
- 1992
- [c4]
- 1991
- [c3]
1980 – 1989
- 1988
- [c2]
- [c1]Arnd Poetzsch-Heffter: Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. CC 1988: 190-203
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-12 21:36 CEST by the dblp team