Research papers / Manuals

  1. Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida: "Combining Performance and Availability Analysis in Practice". Advances in Computers 84: 1-38 (2012) Download
  2. K. Trivedi, D. Kim, and X. Yin, “Multi-state availability modeling in practice,” in Recent Advances in System Reliability, ser. Springer Series in Reliability Engineering, A. Lisnianski and I. Frenkel, Eds. Springer London, 2012, pp. 165–180. Download
  3. Sahner, R.; Trivedi, K.S.; Puliafito, A., "Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software)", IEEE Transactions on Reliability, vol.46, no.3, pp.441,441, Sep 1997 Download The above article is the review of the book with the same title. Link
  4. Kishor S. Trivedi and Robin Sahner. "SHARPE at the age of twenty two", SIGMETRICS Perform. Eval. Rev. 36, 4 (March 2009), 52-57 Download
  5. SHARPE language description Download
  6. The Reconstruction of Sharpe, by Hu Pan, 2001. Download
  7. Sharpe GUI User's Manual Download
  8. Malhotra, M.; Trivedi, K.S., "Power-hierarchy of dependability-model types,", IEEE Transactions on Reliability, vol.43, no.3, pp.493,502, Sep 1994 Download
  9. Malhotra, M.; Trivedi, K.S., "Dependability modeling using Petri-nets,", IEEE Transactions on Reliability, vol.44, no.3, pp.428,440, Sep 1995 Download
  10. Rahul Ghosh, DongSeong Kim, Kishor S. Trivedi, "System resiliency quantification using non-state-space and state-space analytic models", Reliability Engineering & System Safety, Volume 116, August 2013, Pages 109-125, ISSN 0951-8320 Download
  11. Sahner, Robin A.; Trivedi, K.S., "Reliability Modeling Using SHARPE," Reliability, IEEE Transactions on , vol.R-36, no.2, pp.186,193, June 1987 Download
  12. F. Frattini, A. Bovenzi, J. Alonso, and K. Trivedi, “Reliability indices,” in Wiley Encyclopedia of Operations Research and Management Science. John Wiley and Sons, Inc., 2010. Download
  13. Y Ma, K.S Trivedi, "An algorithm for reliability analysis of phased-mission systems", in Reliability Engineering & System Safety, Volume 66, Issue 2, November 1999, Pages 157-170. Download