Techniques and tools for reliability and performance evaluation: Problems and perspectives

This publication has 42 references indexed in Scilit:

• Adaptive uniformization
  Communications in Statistics. Stochastic Models, 1994
• Reliability modeling of life-critical, real-time systems
  Proceedings of the IEEE, 1994
• A software tool for learning about stochastic models
  IEEE Transactions on Education, 1993
• State space exploration in Markov models
  ACM SIGMETRICS Performance Evaluation Review, 1992
• Reduced base model construction methods for stochastic activity networks
  IEEE Journal on Selected Areas in Communications, 1991
• Transient analysis of cumulative measures of markov model behavior
  Communications in Statistics. Stochastic Models, 1989
• Survey of software tools for evaluating reliability, availability, and serviceability
  ACM Computing Surveys, 1988
• Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior
  IEEE Transactions on Computers, 1988
• The hybrid automated reliability predictor
  Journal of Guidance, Control, and Dynamics, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984