The SCEAS System
Navigation Menu

Search the dblp DataBase


Michael Rettelbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.018secs, Finished in 0.019secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002