Arnd Poetzsch-Heffter

	2010
51		Patrick Michel, Arnd Poetzsch-Heffter: Maintaining XML Data Integrity in Programs. SOFSEM 2010: 600-611
	2009
50		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 Springer 2009
49		Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer: Consistency Checking for Workflows with an Ontology-Based Data Perspective. DEXA 2009: 98-113
	2008
48		Jan Schäfer, Arnd Poetzsch-Heffter: CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS 2008: 201-219
47		Ina Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104
46		Arnd Poetzsch-Heffter, Klaus Schneider: Preface. Electr. Notes Theor. Comput. Sci. 200(2): 1 (2008)
	2007
45		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
44		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
43		John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
42		Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav: Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP 2007: 220-236
41		Arnd Poetzsch-Heffter, Jan Schäfer: A Representation-Independent Behavioral Semantics for Object-Oriented Components. FMOODS 2007: 157-173
40		Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150
39		Jan Olaf Blech, Arnd Poetzsch-Heffter: A Certifying Code Generation Phase. Electr. Notes Theor. Comput. Sci. 190(4): 65-82 (2007)
	2006
38		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
37		Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer: Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation 2006: 120-144
36		Ina Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585
35		Ina Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006
34		Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
	2005
33		Arnd Poetzsch-Heffter, Jan Schäfer: Modular Specification of Encapsulated Object-Oriented Components. FMCO 2005: 313-341
32		Arnd Poetzsch-Heffter, Marek Gawkowski: Towards Proof Generating Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 37-51 (2005)
	2004
31		Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
30		Arnd Poetzsch-Heffter: From Structured Heaps to Encapsulated Runtime Components. GI Jahrestagung (2) 2004: 396
29		Arnd Poetzsch-Heffter, Nicole Rauch: Application and Formal Specification of Sorted Term-Position Algebras. WADT 2004: 201-217
	2003
28		Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
27		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)
26		Ursula Scheben, Arnd Poetzsch-Heffter: Concepts and Techniques simplifying the Assembly Process for Component Instances. Electr. Notes Theor. Comput. Sci. 82(5): (2003)
	2002
25		Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
24		K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou: Using Data Groups to Specify and Check Side Effects. PLDI 2002: 246-257
23		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
22		Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
21		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)
	2000
20		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		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		Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
16		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		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		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	[38]
2	Jan Olaf Blech	[39] [40]
3	John Tang Boyland (John Boyland)	[43]
4	Dave Clarke	[43]
5	Werner Dietl	[31]
6	Sophia Drossopoulou	[20] [22] [25] [38]
7	Susan Eisenbach	[20] [22] [25] [28]
8	Jean-Marie Gaillourdet	[44]
9	Marek Gawkowski	[32]
10	Kathrin Geilmann	[37]
11	Wolfgang Goerigk	[15]
12	Dieter Hutter	[23]
13	Atsushi Igarashi	[38]
14	Bart Jacobs	[17] [20]
15	Stephan Kiefer	[49]
16	Bernd Krieg-Brückner	[23]
17	Gary T. Leavens	[17] [20] [22] [25] [27] [28] [34] [38] [43]
18	David Lee	[50]
19	K. Rustan M. Leino	[24]
20	Arne Lindow	[23]
21	Francesco Logozzo	[43]
22	Antónia Lopes	[50]
23	Christoph Lüth	[23]
24	Achim Mahnke	[23]
25	Philipp Meier	[23]
26	Erica Melis	[23]
27	Jörg Meyer	[13] [14] [19]
28	Patrick Michel	[51]
29	Peter Müller	[10] [11] [12] [14] [16] [17] [18] [20] [27] [28] [31] [34]
30	Erik Poll	[22] [25] [28]
31	G. Ramalingam (Ganesan Ramalingam)	[42]
32	Nicole Rauch	[29]
33	Markus Reitz	[44]
34	Noam Rinetzky	[42]
35	Markus Roggenbach	[23]
36	George Russell	[23]
37	Shmuel Sagiv (Mooly Sagiv)	[42]
38	Ina Schaefer	[35] [36] [40] [47]
39	Jan Schäfer (Jan Schaefer)	[33] [37] [41] [44] [48]
40	Ursula Scheben	[26]
41	Klaus Schneider	[46]
42	Jan-Georg Smaus	[23]
43	Gabriele Weiler	[49]
44	Martin Wirsing	[23]
45	Eran Yahav	[42]
46	Yunhong Zhou	[24]
47	Elena Zucca	[38]

Colors in the list of coauthors