Jan Schäfer

According to our database, Jan Schäfer authored at least 18 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Location Types for Safe Programming with Near and Far References.

Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Combining traits with boxes and ownership types in a Java-like setting.

Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer

Sci. Comput. Program., 2013

2012

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, Rudolf Schlatte

Int. J. Softw. Tools Technol. Transf., 2012

2011

A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems.

Jan Schäfer

PhD thesis, 2011

Location Types for Safe Distributed Object-Oriented Programming.

Yannick Welsch, Jan Schäfer

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

2010

Writing concurrent desktop applications in an actor-based programming model.

Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

A Component Model for the ABS Language.

Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

ABS: A Core Language for Abstract Behavioral Specification.

Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

JCoBox: Generalizing Active Objects to Concurrent Components.

Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the ECOOP 2010, 2010

A Calculus for Boxes and Traits in a Java-Like Setting.

Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2008

CoBoxes: Unifying Active Objects and Structured Heaps.

Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

A Parameterized Type System for Simple Loose Ownership Domains.

Jan Schaefer, Arnd Poetzsch-Heffter

J. Object Technol., 2007

A Representation-Independent Behavioral Semantics for Object-Oriented Components.

Arnd Poetzsch-Heffter, Jan Schäfer

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.

Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten.

Jan Schäfer, Arnd Poetzsch-Heffter

Softwaretechnik-Trends, 2006

Infering Ownership Types for Encapsulated Object-Oriented Program Components.

Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer

Proceedings of the Program Analysis and Compilation, 2006

2005

Modular Specification of Encapsulated Object-Oriented Components.

Arnd Poetzsch-Heffter, Jan Schäfer

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005