V. Mertsiotakis

TIPPtool: Compositional Specification and Analysis of Performance Models

Holger Hermanns, Markus Siegle, V. Mertsiotakis, 1999 .

A Stochastic Process Algebra Based Modelling Tool

Holger Hermanns, V. Mertsiotakis, 1996 .

Stochastic process algebras as a tool for performance and dependability modelling

Ulrich Herzog, H. Hermanns, V. Mertsiotakis, 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

Stochastic Process AlgebrasConstructive Speci cation TechniquesIntegrating Functional , Performance and Dependability

H. Hermanns, U. Herzog, M. Rettelbach, 2007 .