Performability assessment by model checking of Markov reward models
From MaRDI portal
Publication:968359
DOI10.1007/s10703-009-0088-7zbMath1209.68309OpenAlexW1994952588WikidataQ57801465 ScholiaQ57801465MaRDI QIDQ968359
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Lucia Cloth, Boudewijn R. Haverkort
Publication date: 5 May 2010
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-009-0088-7
Related Items (4)
Multiphase until formulas over Markov reward models: an algebraic approach ⋮ Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking ⋮ Probabilistic Model Checking for Energy-Utility Analysis ⋮ Model checking for performability
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Using branching time temporal logic to synthesize synchronization skeletons
- The exact and approximate distributions of linear combinations of selected order statistics from a uniform distribution
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- A logic for reasoning about time and reliability
- A fast algorithm for the transient reward distribution in continuous-time Markov chains
- Using probabilistic model checking for dynamic power management
- Calculating the Distribution of a Linear Combination of Uniform Order Statistics
- On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains
- Stochastic Model Checking
- The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- Multi-Objective Model Checking of Markov Decision Processes
- RECAL—a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks
- On Evaluating the Performability of Degradable Computing Systems
- Performability: a retrospective and some pointers to the future
- Distribution of the minimal completion time of parallel tasks in multi-reward semi-Markov models
- Performance-Related Reliability Measures for Computing Systems
- Approximate performability and dependability analysis using generalized stochastic Petri nets
- Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
- Occupation times in markov processes
- State-space support for path-based reward variables
- Logic in Computer Science
- On Reduction Criteria for Probabilistic Reward Models
- A Compositional Approach to Performance Modelling
- The Distribution of Linear Combinations of Order Statistics from the Uniform Distribution
- Tools and Algorithms for the Construction and Analysis of Systems
- Model-checking continuous-time Markov chains
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
- Process algebra for performance evaluation
This page was built for publication: Performability assessment by model checking of Markov reward models
