 | 1997 |
|---|
| 8 |       | Michael von der Beeck,
Volker Braun,
Andreas Claßen,
Achim Dannecker,
Carsten Friedrich,
Dirk Koschützki,
Tiziana Margaria,
Falk Schreiber,
Bernhard Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism.
TACAS 1997: 112-129 |
| 1996 |
|---|
| 7 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun:
Incremental Formalization.
AMAST 1996: 608-611 |
| 6 |  | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun:
The METAFrame'95 Environment.
CAV 1996: 450-453 |
| 5 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun,
Rita Nisius,
Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment.
TACAS 1996: 418-421 |
| 4 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen:
Heterogeneous Analysis and Verification for Distributed Systems.
Software - Concepts and Tools 17(1): 13-25 (1996) |
| 3 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun:
Incremental Formalization: A Key to Industrial Success.
Software - Concepts and Tools 17(2): 78- (1996) |
| 1995 |
|---|
| 2 | | Bernhard Steffen,
Andreas Claßen,
Marion Klein,
Jens Knoop,
Tiziana Margaria:
The Fixpoint-Analysis Machine.
CONCUR 1995: 72-87 |
| 1 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen:
The META-Frame: An Environment for Flexible Tool Management.
TAPSOFT 1995: 791-792 |
