Specification techniques for Markov reward models
From MaRDI portal
Publication:686334
Recommendations
Cites work
- scientific article; zbMATH DE number 3810564 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3736680 (Why is no real title available?)
- scientific article; zbMATH DE number 19227 (Why is no real title available?)
- scientific article; zbMATH DE number 42473 (Why is no real title available?)
- scientific article; zbMATH DE number 42237 (Why is no real title available?)
- scientific article; zbMATH DE number 52336 (Why is no real title available?)
- scientific article; zbMATH DE number 510833 (Why is no real title available?)
- scientific article; zbMATH DE number 194776 (Why is no real title available?)
- scientific article; zbMATH DE number 3361677 (Why is no real title available?)
- A decomposition approach for stochastic reward net models
- Analysis of a composite performance reliability measure for fault-tolerant systems
- Approximate performability and dependability analysis using generalized stochastic Petri nets
- Bounding availability of repairable systems
- Calculating availability and performability measures of repairable computer systems using randomization
- Composite performance and dependability analysis
- Effects of checkpointing and queuebsfg on program performance
- Evaluation of Performability for Degradable Computer Systems
- Markov and Markov reward model transient analysis: An overview of numerical approaches
- Numerical transient analysis of Markov models
- On Evaluating the Performability of Degradable Computing Systems
- On the solution of GSPN reward models
- Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
- Performability analysis of computer systems: from model specification to solution
- Performability: a retrospective and some pointers to the future
- The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
- The completion time of a job on multimode systems
- Transient analysis of cumulative measures of markov model behavior
Cited in
(17)- scientific article; zbMATH DE number 1890701 (Why is no real title available?)
- Mixing logics and rewards for the component-oriented specification of performance measures
- scientific article; zbMATH DE number 1946767 (Why is no real title available?)
- Model Checking Constrained Markov Reward Models with Uncertainties
- Expected impulse rewards in Markov regenerative stochastic Petri nets
- Analysis of inhomogeneous Markov reward models
- An Abstract Language for Specifying Markov Reliability Models
- scientific article; zbMATH DE number 1670870 (Why is no real title available?)
- Performance measure sensitive congruences for Markovian process algebras
- scientific article; zbMATH DE number 1629926 (Why is no real title available?)
- State-space support for path-based reward variables
- On the generalized reward generator for stochastic fluid models: a new equation for \(\Psi\)
- Performance evaluation with temporal rewards
- A decomposition approach for stochastic reward net models
- Model-checking large structured Markov chains.
- scientific article; zbMATH DE number 52336 (Why is no real title available?)
- Composite performance and dependability analysis
This page was built for publication: Specification techniques for Markov reward models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q686334)
