Research papers / Manuals
- Kishor S. Trivedi, Ermeson C. Andrade, Fumio Machida: "Combining Performance and Availability Analysis in Practice". Advances in Computers 84: 1-38 (2012) Download
- 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
- 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
- Kishor S. Trivedi and Robin Sahner. "SHARPE at the age of twenty two", SIGMETRICS Perform. Eval. Rev. 36, 4 (March 2009), 52-57 Download
- SHARPE language description Download
- The Reconstruction of Sharpe, by Hu Pan, 2001. Download
- Sharpe GUI User's Manual Download
- 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
- Malhotra, M.; Trivedi, K.S., "Dependability modeling using Petri-nets,", IEEE Transactions on Reliability, vol.44, no.3, pp.428,440, Sep 1995 Download
- 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
- 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
- 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
- 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