| 1998 |
|---|
| 7 | EE | Peter Liggesmeyer,
Martin Rothfelder,
Michael Rettelbach,
Thomas Ackermann:
Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.
Informatik Spektrum 21(5): 249-258 (1998) |
| 1996 |
|---|
| 6 | | Holger Hermanns,
Vassilis Mertsiotakis,
Michael Rettelbach:
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.
TACAS 1996: 427-430 |
| 1995 |
|---|
| 5 | | Holger Hermanns,
Michael Rettelbach,
Thorsten Weiss:
Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching.
Comput. J. 38(7): 530-541 (1995) |
| 4 | | Michael Rettelbach:
Probabilistic Branching in Markovian Process Algebras.
Comput. J. 38(7): 590-599 (1995) |
| 1994 |
|---|
| 3 | | Jane Hillston,
Holger Hermanns,
Ulrich Herzog,
Vassilis Mertsiotakis,
Michael Rettelbach:
Stochastic process algebras: integrating qualitative and quantitative modelling.
FORTE 1994: 449-451 |
| 1993 |
|---|
| 2 | | Norbert Götz,
Ulrich Herzog,
Michael Rettelbach:
Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras.
Performance/SIGMETRICS Tutorials 1993: 121-146 |
| 1992 |
|---|
| 1 | | Norbert Götz,
Ulrich Herzog,
Michael Rettelbach:
TIPP - Introduction and Application to Protocol Performance Analysis.
FBT 1992: 105-125 |
