Michael Rettelbach

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.
Inform. Spektrum, 1998

1997
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996
Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen.
PhD thesis, 1996

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995
Probabilistic Branching in Markovian Process Algebras.
Comput. J., 1995

Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching.
Comput. J., 1995

1994
Stochastic process algebras: integrating qualitative and quantitative modelling.
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.
Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

1992
TIPP - Introduction and Application to Protocol Performance Analysis.
Proceedings of the Formale Methoden für verteilte Systeme, 1992


  Loading...