Performability assessment by model checking of Markov reward models

DOI10.1007/S10703-009-0088-7zbMATH Open1209.68309DBLPjournals/fmsd/BaierCHHK10OpenAlexW1994952588WikidataQ57801465 ScholiaQ57801465MaRDI QIDQ968359FDOQ968359

Cites Work

RECAL—a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks
Occupation times in markov processes
Logic in Computer Science
Title not available (Why is that?)
Title not available (Why is that?)
A logic for reasoning about time and reliability
A Compositional Approach to Performance Modelling
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
Using branching time temporal logic to synthesize synchronization skeletons
Fluid stochastic Petri nets: Theory, applications, and solution techniques
The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
Using probabilistic model checking for dynamic power management
Multi-Objective Model Checking of Markov Decision Processes
Process algebra for performance evaluation
Stochastic Model Checking
Title not available (Why is that?)
Calculating the distribution of a linear combination of uniform order statistics
The Distribution of Linear Combinations of Order Statistics from the Uniform Distribution
Model-checking continuous-time Markov chains
On the numerical analysis of inhomogeneous continuous-time Markov chains
The exact and approximate distributions of linear combinations of selected order statistics from a uniform distribution
On Evaluating the Performability of Degradable Computing Systems
Performance-Related Reliability Measures for Computing Systems
Performability: a retrospective and some pointers to the future
Approximate performability and dependability analysis using generalized stochastic Petri nets
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
A fast algorithm for the transient reward distribution in continuous-time Markov chains
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
Distribution of the minimal completion time of parallel tasks in multi-reward semi-Markov models
Title not available (Why is that?)
State-space support for path-based reward variables
Title not available (Why is that?)
On Reduction Criteria for Probabilistic Reward Models
Tools and Algorithms for the Construction and Analysis of Systems

Cited In (12)

Multiphase until formulas over Markov reward models: an algebraic approach
Specification techniques for Markov reward models
Title not available (Why is that?)
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
Model checking for performability
Performance analysis of Markov regenerative reward models
Title not available (Why is that?)
Formal Modeling and Analysis of Timed Systems
Probabilistic Model Checking for Energy-Utility Analysis
Performability analysis of computer systems: from model specification to solution
Performability measure for acyclic Markovian models
Performance evaluation with temporal rewards

Uses Software

MRMC

   Recommendations

Title not available (Why is that?) 👍 👎
Model checking for performability 👍 👎
Title not available (Why is that?) 👍 👎
Multiphase until formulas over Markov reward models: an algebraic approach 👍 👎
Formal Modeling and Analysis of Timed Systems 👍 👎

This page was built for publication: Performability assessment by model checking of Markov reward models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q968359)