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 |