175
click to vote
QEST
15 years 10 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 ...
138
click to vote
QEST
15 years 10 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...
145
click to vote
QEST
15 years 10 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...
141
click to vote
QEST
15 years 10 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