Michael Rettelbach

According to our database, Michael Rettelbach authored at least 9 papers between 1992 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.

Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann

Inform. Spektrum, 1998

1997

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.

Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996

Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen.

Michael Rettelbach

PhD thesis, 1996

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.

Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

Probabilistic Branching in Markovian Process Algebras.

Michael Rettelbach

Comput. J., 1995

Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching.

Holger Hermanns, Michael Rettelbach, Thorsten Weiss

Comput. J., 1995

1994

Stochastic process algebras: integrating qualitative and quantitative modelling.

Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach

Proceedings of the Formal Description Techniques VII, 1994

1993

Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras.

Norbert Götz, Ulrich Herzog, Michael Rettelbach

Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

1992

TIPP - Introduction and Application to Protocol Performance Analysis.

Norbert Götz, Ulrich Herzog, Michael Rettelbach

Proceedings of the Formale Methoden für verteilte Systeme, 1992