The Performability Tool P'ility

No abstract is available for this paper.

• Publication year

  2008

• Venue

  2008 Fifth International Conference on Quantitative Evaluation of Systems

• Publication date

  2008-09-14

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/QEST.2008.27
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model checking algorithms for Markov reward models

  2006cited by this paper
• Five Performability Algorithms. A Comparison

  2006cited by this paper
• Model checking performability properties

  2002cited by this paper
• Compositional performance modelling with the TIPPtool

  2000cited by this paper
• Occupation times in markov processes

  2000cited by this paper
• A fast algorithm for the transient reward distribution in continuous-time Markov chains

  2000cited by this paper
• Markov reward models and hyperbolic systems

  1997cited by this paper
• Occupation times in systems of null recurrent Markov processes

  1994cited by this paper
• Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results

  1994cited by this paper
• Performability Analysis: Measures, an Algorithm, and a Case Study

  1988cited by this paper
• On Evaluating the Performability of Degradable Computing Systems

  1980cited by this paper

• An Approach for Evaluating Availability and Performability of Data Processing Center in the Internet of Things Environment

  2010cites this paper
• Stochastic Comparisons for Performability of Telecommunication Systems

  2010cites this paper