Vassilis Mertsiotakis

According to our database, Vassilis Mertsiotakis authored at least 11 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Compositional performance modelling with the TIPPtool.

Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle

Perform. Evaluation, 2000

1999

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.

Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Approximate analysis methods for stochastic process algebras.

Vassilis Mertsiotakis

PhD thesis, 1998

Stochastic Process Algebras - Between LOTOS and Markov Chains.

Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis

Comput. Networks, 1998

1997

Throughput approximation of decision free processes using decomposition.

Vassilis Mertsiotakis, Manuel Silva Suárez

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.

Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.

Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

A Simple Time Scale Decomposition Technique for Stochastic Process Algebras.

Jane Hillston, Vassilis Mertsiotakis

Comput. J., 1995

1994

Stochastic Modeling of Scaled Parallel Programs.

Allen D. Malony, Vassilis Mertsiotakis, Andreas Quick

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Stochastic process algebras: integrating qualitative and quantitative modelling.

Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach

Proceedings of the Formal Description Techniques VII, 1994

Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques.

Allen D. Malony, Vassilis Mertsiotakis, Andreas Quick

Proceedings of the Computer Performance Evaluation, 1994