Publications

Found 715 results
Type [ Year(Asc)]
2002
SS Gokhale, and KS Trivedi. "Reliability prediction and sensitivity analysis based on software architecture." In Proceedings International Symposium on Software Reliability Engineering, Issre, 64-75. Vol. 2002-January. 2002.
D Chen, Y Hong, and KS Trivedi. "Second-order stochastic fluid models with fluid-dependent flow rates." Performance Evaluation 49, no. 1-4 (2002): 341-358.
KS Trivedi. "SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002).
W Jin, RD Barve, and KS Trivedi. "A simple characterization of provably efficient prefetching algorithms." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002): 571-580.
KS Trivedi, and K Vaidyanathan. "Software reliability and rejuvenation: Modeling and analysis." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 318-345. Vol. 2459. 2002.
KS Trivedi, and K Vaidyanathan. "Software Reliability and Rejuvenation: Modeling and Analysis." In Performance, 318-345. Vol. 2459. 2002.
SS Gokhale,, and KS Trivedi. "Specification-Level Integration of Simulation and Dependability Analysis." In WADS, 245-266. Vol. 2677. 2002.
KS Trivedi. "SREPT: A tool for software reliability estimation and prediction." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002).
Y Cao, H Sun, KS Trivedi, and JJ Han. "System availability with non-exponentially distributed outages." Ieee Transactions on Reliability 51, no. 2 (2002): 193-198.
2001
K Vaidyanathan, RE Harper, SW Hunter, and KS Trivedi. "Analysis and implementation of software rejuvenation in cluster systems." Acm Sigmetrics Performance Evaluation Review 29, no. 1 (2001): 62-71.
T Dohi, N Wakana, S Osaki, and KS Trivedi. "Analysis of hypergeometric distribution software reliability model." Proceedings International Symposium on Software Reliability Engineering, Issre (2001): 166-175.
D Chen, and KS Trivedi. "Analysis of periodic preventive maintenance with general system failure distribution." In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 103-107. Vol. 2001-January. 2001.
K Goševa-Popstojanova, and KS Trivedi. "Architecture-based approach to reliability assessment of software systems." Performance Evaluation 45, no. 2-3 (2001): 179-204.
K Goševa-Popstojanova, F Wang, R Wang, F Gong, K Vaidyanathan, K Trivedi, and B Muthusamy. "Characterizing intrusion tolerant systems using a state transition model." In Proceedings Darpa Information Survivability Conference and Exposition Ii, Discex 2001, 211-221. Vol. 2. 2001.
K Goševa-Popstojanova, AP Mathur, and KS Trivedi. "Comparison of architecture-based software reliability models." Proceedings International Symposium on Software Reliability Engineering, Issre (2001): 22-31.
K Goševa-Popstojanova, AP Mathur, and KS Trivedi. "Comparison of architecture-based software reliability models." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 22-31.
B Tuffin, DS Chen, and KS Trivedi. "Comparison of Hybrid Systems and Fluid Stochastic Petri Nets." Discrete Event Dynamic Systems: Theory and Applications 11, no. 1-2 (2001): 77-95.
Y Ma, JJ Han, and KS Trivedi. "Composite performance and availability analysis of wireless communication networks." Ieee Transactions on Vehicular Technology 50, no. 5 (2001): 1216-1223.
T Dohi, K Goeva-Popstojanova, and K Trivedi. "Estimating software rejuvenation schedules in high-assurance systems." The Computer Journal 44, no. 6 (2001): 473-485.
G Haring, R Marie, R Puigjaner, and K Trivedi. "Loss formulas and their application to optimization for cellular networks." Ieee Transactions on Vehicular Technology 50, no. 3 (2001): 664-673.
Y Ma, JJ Han, and KS Trivedi. "A method for multiple channel recovery in TDMA wireless communications systems." Computer Communications 24, no. 12 (2001): 1147-1157.
X Ma, Y Liu, KS Trivedi, Y Ma, and JJ Han. "A new handoff scheme for decreasing both dropped calls and blocked calls in CDMA system." In Eurocon 2001 International Conference on Trends in Communications, Proceedings, 115-119. 2001.
YH Cao, HR Sun, and KS Trivedi. "Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models." In Performance and Qos of Next Generation Networking, 317-332. 2001.
BR Haverkort, R Marie, G Rubino, and K Trivedi. Performability modelling techniques and tools., 2001.
S Ramani, KS Trivedi, and B Dasarathy. "Performance analysis of the corba notification service." Proceedings of the Ieee Symposium on Reliable Distributed Systems (2001): 227-236.

Pages