Michael Rettelbach

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann
Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. Inform. Spektrum 21 (5) (1998)
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. PNPM (1997)
Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. TACAS (1996)
Holger Hermanns, Michael Rettelbach, Thorsten Weiss
Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. Comput. J. 38 (7) (1995)
Michael Rettelbach
Probabilistic Branching in Markovian Process Algebras. Comput. J. 38 (7) (1995)
Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE (1994)
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)
Norbert Götz, Ulrich Herzog, Michael Rettelbach
TIPP - Introduction and Application to Protocol Performance Analysis. FBT (1992)