Performability assessment by model checking of Markov reward models
From MaRDI portal
Publication:968359
DOI10.1007/S10703-009-0088-7zbMATH Open1209.68309DBLPjournals/fmsd/BaierCHHK10OpenAlexW1994952588WikidataQ57801465 ScholiaQ57801465MaRDI QIDQ968359FDOQ968359
Authors: Christel Baier, Lucia Cloth, B. R. Haverkort, Holger Hermanns, Joost-Pieter Katoen 
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
Recommendations
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 (14)
- 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
- Mixing logics and rewards for the component-oriented specification of performance measures
- 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
- Computing quantiles in Markov reward models
- Performance evaluation with temporal rewards
Uses Software
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)
