dblp.uni-trier.dewww.uni-trier.de

Arnd Poetzsch-Heffter

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
47EEJan Schäfer, Arnd Poetzsch-Heffter: CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS 2008: 201-219
46EEIna Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104
45EEArnd Poetzsch-Heffter, Klaus Schneider: Preface. Electr. Notes Theor. Comput. Sci. 200(2): 1 (2008)
2007
44 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
43EEJan 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
42EEJohn Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
41EENoam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
40EEArnd Poetzsch-Heffter, Jan Schäfer: A Representation-Independent Behavioral Semantics for Object-Oriented Components. FMOODS 2007: 157-173
39EEJan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150
38EEJan Olaf Blech, Arnd Poetzsch-Heffter: A Certifying Code Generation Phase. Electr. Notes Theor. Comput. Sci. 190(4): 65-82 (2007)
2006
37EEDavide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58
36EEArnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer: Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation 2006: 120-144
35EEIna Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585
34EEIna Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006
33EEPeter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
2005
32EEArnd Poetzsch-Heffter, Jan Schäfer: Modular Specification of Encapsulated Object-Oriented Components. FMCO 2005: 313-341
31EEArnd Poetzsch-Heffter, Marek Gawkowski: Towards Proof Generating Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 37-51 (2005)
2004
30EEWerner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
29 Arnd Poetzsch-Heffter: From Structured Heaps to Encapsulated Runtime Components. GI Jahrestagung (2) 2004: 396
28EEArnd Poetzsch-Heffter, Nicole Rauch: Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217
2003
27EESusan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
26 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)
25EEUrsula Scheben, Arnd Poetzsch-Heffter: Concepts and Techniques simplifying the Assembly Process for Component Instances. Electr. Notes Theor. Comput. Sci. 82(5): (2003)
2002
24EESophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
23EEK. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou: Using Data Groups to Specify and Check Side Effects. PLDI 2002: 246-257
22EEBernd 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
21EEGary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
2000
20EESophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
19EEJörg Meyer, Arnd Poetzsch-Heffter: An Architecture for Interactive Program Provers. TACAS 2000: 63-77
1999
18 Peter Müller, Arnd Poetzsch-Heffter: Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156
17EEBart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
16EEArnd Poetzsch-Heffter, Peter Müller: A Programming Logic for Sequential Java. ESOP 1999: 162-176
15 Wolfgang Goerigk, Arnd Poetzsch-Heffter: Arbeitstagung Programmiersprachen - Vorwort. GI Jahrestagung 1999: 349
14 Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter: Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252
13EEJörg Meyer, Arnd Poetzsch-Heffter: Interactive Verification Environments for Object-Oriented Programs. J. UCS 5(3): 208-225 (1999)
1998
12 Peter Müller, Arnd Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10
11 Arnd Poetzsch-Heffter, Peter Müller: Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423
1997
10 Peter Müller, Arnd Poetzsch-Heffter: Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611
9EEArnd Poetzsch-Heffter: Prototyping Realistic Programming Languages Based on Formal Specifications. Acta Inf. 34(10): 737-772 (1997)
1996
8 Arnd Poetzsch-Heffter: Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. AMAST 1996: 583-586
1994
7 Arnd Poetzsch-Heffter: Developing Efficient Interpreters Based on Formal Language Specifications. CC 1994: 233-247
6 Arnd Poetzsch-Heffter: Deriving Partial Correctness Logics From Evolving Algebras. IFIP Congress (1) 1994: 434-439
1993
5 Arnd Poetzsch-Heffter: Programming Language Specification and Prototyping Using the MAX System. PLILP 1993: 137-150
1992
4 Arnd Poetzsch-Heffter: Implementing High-Level Identification Specifications. CC 1992: 59-65
1991
3 Arnd Poetzsch-Heffter: Logic-Based Specification of Visibility Rules. PLILP 1991: 63-74
1988
2 Arnd Poetzsch-Heffter: Reorganisieren von Basisblöcken für Pipeline-Prozessoren. ARCS 1988: 152-167
1 Arnd Poetzsch-Heffter: Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. CC 1988: 190-203

Coauthor Index

1Davide Ancona [37]
2Jan Olaf Blech [38] [39]
3John Tang Boyland (John Boyland) [42]
4Dave Clarke [42]
5Werner Dietl [30]
6Sophia Drossopoulou [20] [21] [24] [37]
7Susan Eisenbach [20] [21] [24] [27]
8Jean-Marie Gaillourdet [43]
9Marek Gawkowski [31]
10Kathrin Geilmann [36]
11Wolfgang Goerigk [15]
12Dieter Hutter [22]
13Atsushi Igarashi [37]
14Bart Jacobs [17] [20]
15Bernd Krieg-Brückner [22]
16Gary T. Leavens [17] [20] [21] [24] [26] [27] [33] [37] [42]
17K. Rustan M. Leino [23]
18Arne Lindow [22]
19Francesco Logozzo [42]
20Christoph Lüth [22]
21Achim Mahnke [22]
22Philipp Meier [22]
23Erica Melis [22]
24Jörg Meyer [13] [14] [19]
25Peter Müller [10] [11] [12] [14] [16] [17] [18] [20] [26] [27] [30] [33]
26Erik Poll [21] [24] [27]
27G. Ramalingam (Ganesan Ramalingam) [41]
28Nicole Rauch [28]
29Markus Reitz [43]
30Noam Rinetzky [41]
31Markus Roggenbach [22]
32George Russell [22]
33Shmuel Sagiv (Mooly Sagiv) [41]
34Ina Schaefer [34] [35] [39] [46]
35Jan Schäfer [32] [36] [40] [43] [47]
36Ursula Scheben [25]
37Klaus Schneider [45]
38Jan-Georg Smaus [22]
39Martin Wirsing [22]
40Eran Yahav [41]
41Yunhong Zhou [23]
42Elena Zucca [37]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)