106
click to vote
QEST
15 years 2 months ago
2005 IEEE 
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
QEST
15 years 2 months ago
2005 IEEE 
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
QEST
15 years 2 months ago
2005 IEEE 
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
QEST
15 years 2 months ago
2005 IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
QEST
15 years 2 months ago
2005 IEEE |
Modeling and Simulation