Modular Specification of Encapsulated Object-Oriented Components. - Arnd Poetzsch-Heffter; Jan Schäfer 002 (FMCO, 2005)

Infering Ownership Types for Encapsulated Object-Oriented Program Components. - Arnd Poetzsch-Heffter; Kathrin Geilmann; Jan Schäfer 002 (Program Analysis and Compilation, 2006)

Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten. - Jan Schäfer 002; Arnd Poetzsch-Heffter (Softwaretechnik-Trends, 2006)

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. - Jan Schäfer 002; Markus Reitz; Jean-Marie Gaillourdet; Arnd Poetzsch-Heffter (CoCoME, 2007)

A Representation-Independent Behavioral Semantics for Object-Oriented Components. - Arnd Poetzsch-Heffter; Jan Schäfer 002 (FMOODS, 2007)

A Parameterized Type System for Simple Loose Ownership Domains. - Jan Schaefer 002; Arnd Poetzsch-Heffter (J. Object Technol., 2007)

CoBoxes: Unifying Active Objects and Structured Heaps. - Jan Schäfer 002; Arnd Poetzsch-Heffter (FMOODS, 2008)

A Calculus for Boxes and Traits in a Java-Like Setting. - Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schäfer 002 (COORDINATION, 2010)

JCoBox: Generalizing Active Objects to Concurrent Components. - Jan Schäfer 002; Arnd Poetzsch-Heffter (ECOOP, 2010)

ABS: A Core Language for Abstract Behavioral Specification. - Einar Broch Johnsen; Reiner Hähnle; Jan Schäfer 002; Rudolf Schlatte; Martin Steffen (FMCO, 2010)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

Writing concurrent desktop applications in an actor-based programming model. - Jan Schäfer 002; Arnd Poetzsch-Heffter (IWMSE@ICSE, 2010)

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. - Dave Clarke 001; Nikolay Diakov; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer; Jan Schäfer 002; Rudolf Schlatte; Peter Y. H. Wong (SFM, 2011)

Location Types for Safe Distributed Object-Oriented Programming. - Yannick Welsch; Jan Schäfer 002 (TOOLS (49), 2011)

A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems. - Jan Schäfer 002 (2011)

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. - Peter Y. H. Wong; Elvira Albert; Radu Muschevici; José Proença; Jan Schäfer 002; Rudolf Schlatte (Int. J. Softw. Tools Technol. Transf., 2012)

Combining traits with boxes and ownership types in a Java-like setting. - Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer 002 (Sci. Comput. Program., 2013)

Location Types for Safe Programming with Near and Far References. - Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (Aliasing in Object-Oriented Programming, 2013)