Arnd Poetzsch-Heffter Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)