Search the dblp DataBase

Publications of Author

1. Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
   TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. [Citation Graph (0, 0)][DBLP]
   CAV, 1999, pp:487-490 [Conf]
   
2. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
   Compositional Performance Modelling with TIPPtool. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation (Tools), 1998, pp:51-62 [Conf]
   
3. Allen D. Malony, Vassilis Mertsiotakis, Andreas Quick
   Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation, 1994, pp:139-158 [Conf]
   
4. 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]
   
5. Allen D. Malony, Vassilis Mertsiotakis, Andreas Quick
   Stochastic Modeling of Scaled Parallel Programs. [Citation Graph (0, 0)][DBLP]
   ICPADS, 1994, pp:272-279 [Conf]
   
6. 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]
   
7. Jane Hillston, Vassilis Mertsiotakis
   A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:7, pp:566-577 [Journal]
   
8. Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis
   Stochastic Process Algebras - Between LOTOS and Markov Chains. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 1998, v:30, n:9-10, pp:901-924 [Journal]
   
9. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
   Compositional performance modelling with the TIPPtool. [Citation Graph (0, 0)][DBLP]
   Perform. Eval., 2000, v:39, n:1-4, pp:5-35 [Journal]