Performability assessment by model checking of Markov reward models

This publication has 41 references indexed in Scilit:

• Model Checking Markov Chains with Actions and State Labels
  IEEE Transactions on Software Engineering, 2007
• Logic in Computer Science
  2004
• Model-checking algorithms for continuous-time markov chains
  IEEE Transactions on Software Engineering, 2003
• Model-checking continuous-time Markov chains
  ACM Transactions on Computational Logic, 2000
• On the Logical Characterisation of Performability Properties
  2000
• Model Checking Continuous-Time Markov Chains by Transient Analysis
  2000
• Approximative Symbolic Model Checking of Continuous-Time Markov Chains
  1999
• Verifying continuous time Markov chains
  1996
• Performance-Related Reliability Measures for Computing Systems
  IEEE Transactions on Computers, 1978
• The Distribution of Linear Combinations of Order Statistics from the Uniform Distribution
  The Annals of Mathematical Statistics, 1971