Reward model solution methods with impulse and rate rewards: an algorithm and numerical results

Performance measure sensitive congruences for Markovian process algebras

Theoretical Computer Science

Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization

Computers and Operations Research

A new methodology for calculating distributions of reward accumulated during a finite interval

FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)

Valuing credit default swap in a non-homogeneous semi-Markovian rating based model

Computational Economics

Two methods for computing bounds for the distribution of cumulative reward for large Markov models

Performance Evaluation

Mixing logics and rewards for the component-oriented specification of performance measures

Theoretical Computer Science

FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis

The VLDB Journal — The International Journal on Very Large Data Bases

Fluid models in performance analysis

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

Performability assessment by model checking of Markov reward models

Formal Methods in System Design

Probabilistic modeling

FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing

Second-order Markov reward models driven by QBD processes

Performance Evaluation

Verification of linear duration properties over continuous-time markov chains

ACM Transactions on Computational Logic (TOCL)