2008 |
7 | EE | Jan Schäfer,
Arnd Poetzsch-Heffter:
CoBoxes: Unifying Active Objects and Structured Heaps.
FMOODS 2008: 201-219 |
2007 |
6 | 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 |
5 | EE | Christian Haack,
Erik Poll,
Jan Schäfer,
Aleksy Schubert:
Immutable Objects for a Java-Like Language.
ESOP 2007: 347-362 |
4 | EE | Arnd Poetzsch-Heffter,
Jan Schäfer:
A Representation-Independent Behavioral Semantics for Object-Oriented Components.
FMOODS 2007: 157-173 |
3 | | Jan Schäfer:
Lebenszyklusorientierte Performance-Instrumentierung verteilter Anwendungen.
Informatiktage 2007: 135-138 |
2006 |
2 | 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 |
2005 |
1 | EE | Arnd Poetzsch-Heffter,
Jan Schäfer:
Modular Specification of Encapsulated Object-Oriented Components.
FMCO 2005: 313-341 |