Search the dblp DataBase

Publications of Author

1. Arnd Poetzsch-Heffter, Jan Schäfer
   Modular Specification of Encapsulated Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
   FMCO, 2005, pp:313-341 [Conf]
   
2. Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
   Infering Ownership Types for Encapsulated Object-Oriented Program Components. [Citation Graph (0, 0)][DBLP]
   Program Analysis and Compilation, 2006, pp:120-144 [Conf]
   
3. Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
   Immutable Objects for a Java-Like Language. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:347-362 [Conf]
   
4. Arnd Poetzsch-Heffter, Jan Schäfer
   A Representation-Independent Behavioral Semantics for Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:157-173 [Conf]
   
5. Jan Schäfer
   Lebenszyklusorientierte Performance-Instrumentierung verteilter Anwendungen. [Citation Graph (0, 0)][DBLP]
   Informatiktage, 2007, pp:135-138 [Conf]
   
6. 
   A Calculus for Boxes and Traits in a Java-Like Setting. [Citation Graph (, )][DBLP]
   
   
7. 
   Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. [Citation Graph (, )][DBLP]
   
   
8. 
   JCoBox: Generalizing Active Objects to Concurrent Components. [Citation Graph (, )][DBLP]
   
   
9. 
   CoBoxes: Unifying Active Objects and Structured Heaps. [Citation Graph (, )][DBLP]