Jan Schäfer

17 papers A 1C 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2013 J jnl
Combining traits with boxes and ownership types in a Java-like setting.
Sci. Comput. Program.
Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer
2013 — ch.
Location Types for Safe Programming with Near and Far References.
Aliasing in Object-Oriented Programming
Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
2012 J jnl
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
Int. J. Softw. Tools Technol. Transf.
Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2011 — —
A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems.
Jan Schäfer
2011 — conf
Location Types for Safe Distributed Object-Oriented Programming.
TOOLS (49)
Yannick Welsch, Jan Schäfer
2011 — conf
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
SFM
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2010 C conf
A Calculus for Boxes and Traits in a Java-Like Setting.
COORDINATION
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
2010 — conf
A Component Model for the ABS Language.
FMCO
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
2010 — conf
ABS: A Core Language for Abstract Behavioral Specification.
FMCO
Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
2010 A conf
JCoBox: Generalizing Active Objects to Concurrent Components.
ECOOP
Jan Schäfer, Arnd Poetzsch-Heffter
2010 — conf
Writing concurrent desktop applications in an actor-based programming model.
IWMSE@ICSE
Jan Schäfer, Arnd Poetzsch-Heffter
2008 — conf
CoBoxes: Unifying Active Objects and Structured Heaps.
FMOODS
Jan Schäfer, Arnd Poetzsch-Heffter
2007 — conf
A Representation-Independent Behavioral Semantics for Object-Oriented Components.
FMOODS
Arnd Poetzsch-Heffter, Jan Schäfer
2007 — conf
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes.
CoCoME
Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter
2006 — conf
Infering Ownership Types for Encapsulated Object-Oriented Program Components.
Program Analysis and Compilation
Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
2006 J jnl
Simple Loose Ownership Domains: Ein Typsystem zur Kapselung von Objekten.
Softwaretechnik-Trends
Jan Schäfer, Arnd Poetzsch-Heffter
2005 — conf
Modular Specification of Encapsulated Object-Oriented Components.
FMCO
Arnd Poetzsch-Heffter, Jan Schäfer