Publications

2009
DOI
[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-oriented Language with Futures and Promises. Journal of Logic and Algebraic Programming 78(7), pages 491–518, 2009.
2008
DOI
[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. Software and Systems Modeling 7(2), pages 177–208, 2008.
DOI
[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interace Behavior of Object-Oriented Languages with Monitors. Theory of Computing Systems 43(3), pages 322–361, 2008.
2007

[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-Oriented Language with Futures and Promises. Technical report at University of Oslo, Dept. of Computer Science number 364, 2007.

[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of an Object-Oriented Language with Futures and Promises. Nordic Workshop on Programming Theory (NWPT'07), , 2007.
2006

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0612, 2006.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. Logical Approaches to Computational Barriers: 2nd Conf. on Computability in Europe (CiE'06), Volume 3988 of LNCS, pages 1–10, Springer-Verlag, 2006.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0601, 2006.
DOI
[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. 8th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), Volume 4037 of LNCS, pages 218–232, Springer Berlin Heidelberg, 2006.
2005

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. An Open Structural Operational Semantics for an Object-Oriented Calculus with Thread Classes. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0505, 2005.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Proc. of the 1st Int. Workshop on the Verification of Concurrent Systems with Dynamic Allocated Heaps (COSMICAH'05), pages 47-61, Queen Mary Technical Report RR-05-04, 2005.
2004
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 296–316, Springer Berlin Heidelberg, 2004.