 | 2009 |
|---|
| 6 |       | Frank S. de Boer,
Marcello M. Bonsangue,
Andreas Grüner,
Martin Steffen:
Java Test Driver Generation from Object-Oriented Interaction Traces.
Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009) |
| 2008 |
|---|
| 5 | | Erika Ábrahám,
Andreas Grüner,
Martin Steffen:
Heap-abstraction for an object-oriented calculus with thread classes.
Software and System Modeling 7(2): 177-208 (2008) |
| 2006 |
|---|
| 4 | | Erika Ábrahám,
Andreas Grüner,
Martin Steffen:
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.
CiE 2006: 1-10 |
| 3 | | Erika Ábrahám,
Andreas Grüner,
Martin Steffen:
Abstract Interface Behavior of Object-Oriented Languages with Monitors.
FMOODS 2006: 218-232 |
| 2004 |
|---|
| 2 | | Erika Ábrahám,
Marcello M. Bonsangue,
Frank S. de Boer,
Andreas Grüner,
Martin Steffen:
Observability, Connectivity, and Replay in a Sequential Calculus of Classes.
FMCO 2004: 296-316 |
| 1999 |
|---|
| 1 | | Susanne Boll,
Andreas Grüner,
Armin Haaf,
Wolfgang Klas:
EMP - A Database-Driven Electronic Market Place for Business-to-Business Commerce on the Internet.
Distributed and Parallel Databases 7(2): 149-177 (1999) |
