Publications

Found 728 results
[ Type(Desc)] Year
Conference Paper
AT Tai, H Hecht, KS Trivedi, and B Zhang. "Toward accessibility enhancement of dependability modeling techniques and tools." In Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997, 37-41. 1997.
H Choi, VG Kulkarni, and KS Trivedi. "Transient analysis of deterministic and stochastic petri nets." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 166-185. Vol. 691 LNCS. 1993.
H Choi, VG Kulkarni, and KS Trivedi. "Transient Analysis of Deterministic and Stochastic Petri Nets." In Application and Theory of Petri Nets, 166-185. Vol. 691. 1993.
KS Trivedi, AL Reibman, and R Smith. "Transient Analysis of Markov and Markov Reward Models." In Computer Performance and Reliability, 535-545. 1987.
V Mainkar, and KS Trivedi. "TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS." In QUALITY OF COMMUNICATION-BASED SYSTEMS, 69-84. 1995.
RWB Fricks, HH Tseng, M Pajic, and KS Trivedi. "Transient performance & availability modeling in high volume outpatient clinics." In Proceedings - Annual Reliability and Maintainability Symposium. 2017.
B Liu, A Bobbio, J Bai, J Martinez, X Chang, and KS Trivedi. "Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack." In Proceedings - Annual Reliability and Maintainability Symposium. Vol. 2021-May. 2021.
K Qiu, Z Zheng, KS Trivedi, and B Yin. "Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure." In Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 56-66. Vol. 2017-October. 2017.
A Avritzer, DS Menasche, K Trivedi, L Happe, and SS Sarvestani. "Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)." In Proceedings of the International Conference on Dependable Systems and Networks, 565-566. Vol. 2015-September. 2015.
Journal Article
K Goševa-Popstojanova, and KS Trivedi. "7 Failure correlation in software reliability models." IEEE Transactions on Reliability 49, no. 1 (2000): 37-48.
R Matias, PA Barbetta, KS Trivedi, and PJF Filho. "Accelerated degradation tests applied to software aging experiments." IEEE Transactions on Reliability 59, no. 1 (2010): 102-114.
P Heidelberger, JK Muppala, and KS Trivedi. "Accelerating mean time to failure computations." Performance Evaluation 27-28 (1996): 627-645.
N Sato, and KS Trivedi. "Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations." Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007 (2007): 114-121.
,, and KS Trivedi. "Adaptive software rejuvenation: degradation model and rejuvenation scheme." 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Y Bao, X Sun, and KS Trivedi. "Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme." Proceedings of the International Conference on Dependable Systems and Networks (2003): 241-248.
A Bobbio, and KS Trivedi. "AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS." IEEE Transactions on Computers C-35, no. 9 (1986): 803-814.
A Bobbio, and KS Trivedi. "AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS." IEEE Transactions on Computers C-35, no. 9 (1986): 803-814.
M Grottke, and KS Trivedi. "Aging, Fast and Slow." Computer 55, no. 5 (2022): 73-75.
Y Ma, and KS Trivedi. "Algorithm for reliability analysis of phased-mission systems." Reliability Engineering and System Safety 66, no. 2 (1999): 157-170.
K Vaidyanathan, RE Harper, SW Hunter, and KS Trivedi. "Analysis and implementation of software rejuvenation in cluster systems." Performance Evaluation Review 29, no. 1 (2001): 62-71.
W Xie, Y Hong, and K Trivedi. "Analysis of a two-level software rejuvenation policy." Reliability Engineering and System Safety 87, no. 1 (2005): 13-22.
KS Trivedi. "ANALYSIS OF COMPUTER PERFORMANCE AND RELIABILITY." (1983): 464-467.
H Choi, W Wang, and KS Trivedi. "Analysis of conditional MTTF of fault-tolerant systems." Microelectronics Reliability 38, no. 3 (1998): 393-401.
T Dohi, N Wakana, S Osaki, and KS Trivedit. "Analysis of hypergeometric distribution software reliability model." Proceedings 12th International Symposium on Software Reliability Engineering.
T Dohi, N Wakana, S Osaki, and KS Trivedi. "Analysis of hypergeometric distribution software reliability model." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 166-175.

Pages