Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques. - Allen D. Malony; Vassilis Mertsiotakis; Andreas Quick (Computer Performance Evaluation, 1994)

Stochastic process algebras: integrating qualitative and quantitative modelling. - Jane Hillston; Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (FORTE, 1994)

Stochastic Modeling of Scaled Parallel Programs. - Allen D. Malony; Vassilis Mertsiotakis; Andreas Quick (ICPADS, 1994)

A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. - Jane Hillston; Vassilis Mertsiotakis (Comput. J., 1995)

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. - Holger Hermanns; Vassilis Mertsiotakis; Michael Rettelbach (TACAS, 1996)

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. - Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (PNPM, 1997)

Throughput approximation of decision free processes using decomposition. - Vassilis Mertsiotakis; Manuel Silva Suárez (PNPM, 1997)

Stochastic Process Algebras - Between LOTOS and Markov Chains. - Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis (Comput. Networks, 1998)

Approximate analysis methods for stochastic process algebras. - Vassilis Mertsiotakis (1998)

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. - Holger Hermanns; Vassilis Mertsiotakis; Markus Siegle (CAV, 1999)

Compositional performance modelling with the TIPPtool. - Holger Hermanns; Ulrich Herzog; Ulrich Klehmet; Vassilis Mertsiotakis; Markus Siegle (Perform. Evaluation, 2000)