155
click to vote
QEST
15 years 7 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 ...
113
click to vote
QEST
15 years 7 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...
126
Voted
QEST
15 years 7 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...
118
click to vote
QEST
15 years 7 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...
|
Modeling and Simulation