Dipl.-Inf. Jan Schäfer

Öffentlicher PGP-Schlüssel

Current Research Topic

I am currently working on a novel concurrency concept for class-based object-oriented languages called CoBoxes. CoBoxes generalize active objects to hierarchically nested, concurrently running groups of objects. More information can be found in my newest paper. A compiler for JCoBox, a Java-like language, which integrates the CoBox concept can be download here.

Publications

2008

• CoBoxes: Unifying Active Objects and Structured Heaps
  Jan Schäfer and Arnd Poetzsch-Heffter
  In: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). LNCS, volume 5051, Springer, pp. 201-219, 2008. Download Page SpringerLink

• Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model based on Boxes
  Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, and Arnd Poetzsch-Heffter
  In: A. Rausch et al. ed., The Common Component Modeling Example: Comparing Software Component Models. LNCS, volume 5153, Springer, pp. 238--266, 2008. Download Page SpringerLink

2007

• A Representation-Independent Behavioral Semantics for Object-Oriented Components
  Arnd Poetzsch-Heffter and Jan Schäfer
  In: 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). LNCS, volume 4468, Springer, p. 157-173, June, 2007. Download Page SpringerLink.

• A Parameterized Type System for Simple Loose Ownership Domains
  Jan Schäfer and Arnd Poetzsch-Heffter.
  In: Journal of Object Technology, 5(6):71-100. June, 2007. JOT Online Article.

• Immutable Objects for Java-like languages
  Christian Haack, Erik Poll, Jan Schäfer, and Aleksy Schubert
  In: Rocco De Nicola ed., 16th European Symposium on Programming (ESOP '07). LNCS, volume 4421, Springer, p. 347--362, March, 2007. Won the ETAPS award for the best theory paper at ETAPS. SpringerLink

• Infering Ownership Types for Encapsulated Object-Oriented Program Components
  Arnd Poetzsch-Heffter, Kathrin Geilmann, and Jan Schäfer
  In: T. Reps, M. Sagiv, and J. Bauer ed., Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, volume 4444, Springer, p. 120--144, 2007. SpringerLink

2006

• Simple Loose Ownership Domains
  Jan Schäfer and Arnd Poetzsch-Heffter
  In: ECOOP Workshop on Formal Techniques for Java-like Programs, FTfJP 2006. July, 2006. Download Page.

• Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten
  Jan Schäfer, Arnd Poetzsch-Heffter
  In: 23. Workshop der Fachgruppe Programmiersprachen und Rechenkonzepte. Softwaretechnik-Trends, volume 26, number 2, Gesellschaft für Informatik, May, 2006 (in german). Download Page.

• Simple Loose Ownership Domains - TR
  Jan Schäfer and Arnd Poetzsch-Heffter
  Technical Report, number 348/06, Department of Computer Science, University of Kaiserslautern, March, 2006. Download Page.

• Modular Specification of Encapsulated Object-Oriented Components
  Arnd Poetzsch-Heffter and Jan Schäfer
  In: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever ed., Formal Methods for Components and Objects, Fourth International Symposium, FMCO 2005. LNCS, volume 4111, Springer, p. 313--341, 2006. Download Page SpringerLink.

Diplomarbeit

• Encapsulation and Specification of Object-Oriented Runtime Components
  Jan Schäfer
  Masters Thesis (Diplomarbeit), Technische Universität Kaiserslautern. September, 2004. Download Page.

Projektarbeit

• Generating Order-Sorted Data Types in Java
  Jan Schäfer
  Project Report (Projektarbeit), Technische Universität Kaiserslautern, Software Technology Group. Februrary, 2004. Download Page

Presentations

• "CoBoxes: Unifying Active Objects and Structured Heaps". DisCoTec. June 2008. Oslo, Norway.
• "Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model based on Boxes". Dagstuhl Research Seminar on the CoCoME-Contest, August 2007. Dagstuhl, Germany.
• "Simple Loose Ownership Domains". ECOOP Workshop on Formal Techniques for Java-like Programs, FTfJP. July 2006. Nantes, France.
• "Simple Loose Ownership Domains". 23. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. May 2006. Bad Honnef, Germany.
• "Kapselung von Objekt-orientierten Komponenten". 13. Kolloquium Programmiersprachen und Grundlagen der Programmierung, KPS'05. October 2005. Fischbachau, Germany.

Research Funding

• 2009 - 1010: By the project "Highly Adaptable and Trustworthy Software using Formal Models" (HATS), which is funded by the Eurpean Union within the programme "Future and Emerging Technologies" (FET)
• 2005 - 2008: By the Deutsche Forschungsgemeinschaft (German Research Foundation)