Arnd Poetzsch-Heffter

2008
47	EE	Jan Schäfer, Arnd Poetzsch-Heffter: CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS 2008: 201-219
46	EE	Ina Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104
45	EE	Arnd 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
43	EE	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
42	EE	John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
41	EE	Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
40	EE	Arnd Poetzsch-Heffter, Jan Schäfer: A Representation-Independent Behavioral Semantics for Object-Oriented Components. FMOODS 2007: 157-173
39	EE	Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150
38	EE	Jan Olaf Blech, Arnd Poetzsch-Heffter: A Certifying Code Generation Phase. Electr. Notes Theor. Comput. Sci. 190(4): 65-82 (2007)
2006
37	EE	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
36	EE	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer: Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation 2006: 120-144
35	EE	Ina Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585
34	EE	Ina Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006
33	EE	Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
2005
32	EE	Arnd Poetzsch-Heffter, Jan Schäfer: Modular Specification of Encapsulated Object-Oriented Components. FMCO 2005: 313-341
31	EE	Arnd Poetzsch-Heffter, Marek Gawkowski: Towards Proof Generating Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 37-51 (2005)
2004
30	EE	Werner 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
28	EE	Arnd Poetzsch-Heffter, Nicole Rauch: Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217
2003
27	EE	Susan 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)
25	EE	Ursula Scheben, Arnd Poetzsch-Heffter: Concepts and Techniques simplifying the Assembly Process for Component Instances. Electr. Notes Theor. Comput. Sci. 82(5): (2003)
2002
24	EE	Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
23	EE	K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou: Using Data Groups to Specify and Check Side Effects. PLDI 2002: 246-257
22	EE	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
21	EE	Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
2000
20	EE	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
19	EE	Jö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
17	EE	Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
16	EE	Arnd 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
13	EE	Jö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
9	EE	Arnd 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

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

Colors in the list of coauthors