Publications

Gokhale, S. S., J. R. Horgan, and K. S. Trivedi. “Specification-level integration of simulation and dependability analysis.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2677 LNCS:245–66, 2003. https://doi.org/10.1007/3-540-45177-3_11.

Fricks, R. M., and K. S. Trivedi. “Importance analysis with Markov chains.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 2003, 89–95.

Wang, F., F. Jou, F. Gong, C. Sargor, K. Goseva-Popstojanova, and K. Trivedi. “SITAR: A scalable intrusion-tolerant architecture for distributed services.” In Foundations of Intrusion Tolerant Systems Oasis 2003, 359–67, 2003. https://doi.org/10.1109/FITS.2003.1264942.

Wang, D., B. B. Madan, and K. S. Trivedi. “Security analysis of SITAR intrusion tolerance system.” Proceedings of the ACM Workshop on Survivable and Self Regenerative Systems, January 1, 2003, 23–32. https://doi.org/10.1145/1036921.1036924.

Trivedi, K. S., S. Ramani, and R. Fricks. “Recent advances in modeling response-time distributions in real-time systems.” Proceedings of the IEEE 91, no. 7 (January 1, 2003): 1023–36. https://doi.org/10.1109/JPROC.2003.814619.

Suzuki, H., T. Dohi, N. Kaio, and K. S. Trivedi. “Maximizing interval reliability in operational software system with rejuvenation.” In Proceedings International Symposium on Software Reliability Engineering ISSRE, 2003-January:479–90, 2003. https://doi.org/10.1109/ISSRE.2003.1251068.

Goševa-Popstojanova, K., and K. S. Trivedi. “Architecture-Based Approaches to Software Reliability Prediction.” Computers and Mathematics with Applications 46, no. 7 (January 1, 2003): 1023–36. https://doi.org/10.1016/S0898-1221(03)90116-7.

Vaidyanathan, K., D. Selvamuthu, and K. S. Trivedi. “Analysis of inspection-based preventive maintenance in operational software systems.” Proceedings of the IEEE Symposium on Reliable Distributed Systems, December 17, 2002, 286–95. https://doi.org/10.1109/RELDIS.2002.1180199.

Chen, D., S. Dharmaraja, L. Li, K. S. Trivedi, R. R. Some, and A. P. Nikora. “Reliability and availability analysis for the JPL remote exploration and experimentation system.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 337–42.

Trivedi, K. S. “SREPT: A tool for software reliability estimation and prediction.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 546. https://doi.org/10.1109/DSN.2002.1028977.

Trivedi, K. S., D. Selvamuthu, and X. Ma. “Analytic Modeling of Handoffs in Wireless Cellular Networks.” Proceedings of the Joint Conference on Information Sciences 6 (December 1, 2002): 1383–92.

Hong, Y., D. Chen, and K. S. Trivedi. “Failure mitigation for quality of service of wireless networks.” Proceedings of the IEEE Conference on Decision and Control 2 (December 1, 2002): 1414–15.

Madan, B. B., K. Goševa-Popstojanova, K. Vaidyanathan, and K. S. Trivedi. “Modeling and quantification of security attributes of software systems.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 505–14. https://doi.org/10.1109/DSN.2002.1028941.

Jin, W., R. D. Barve, and K. S. Trivedi. “A simple characterization of provably efficient prefetching algorithms.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 571–80.

Trivedi, K. S. “SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator.” Proceedings of the 2002 International Conference on Dependable Systems and Networks, December 1, 2002, 544. https://doi.org/10.1109/DSN.2002.1028975.

Trivedi, K. S., S. Dharmaraja, and X. Ma. “Analytic modeling of handoffs in wireless cellular networks.” Information Sciences 148, no. 1–4 (December 1, 2002): 155–66. https://doi.org/10.1016/S0020-0255(02)00292-X.

Chen, D., S. Garg, and K. S. Trivedi. “Network survivability performance evaluation: A quantitative approach with applications in wireless Ad-hoc Networks.” Proceedings of the International Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems, December 1, 2002, 61–68.

Cao, Y., H. Sun, K. S. Trivedi, and J. J. Han. “System availability with non-exponentially distributed outages.” IEEE Transactions on Reliability 51, no. 2 (June 1, 2002): 193–98. https://doi.org/10.1109/TR.2002.1011525.

Ma, Y., J. J. Han, and K. S. Trivedi. “Call admission control for reducing dropped calls in CDMA cellular systems.” Computer Communications 25, no. 7 (May 1, 2002): 689–99. https://doi.org/10.1016/S0140-3664(01)00391-7.

Trivedi, K. S., 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, 2459:318–45, 2002. https://doi.org/10.1007/3-540-45798-4_14.

Chen, Dongyan, Yiguang Hong, and Kishor S. Trivedi. “Second-order stochastic fluid models with fluid-dependent flow rates.” Performance Evaluation 49, no. 1–4 (2002): 341–58. https://doi.org/10.1016/S0166-5316(02)00113-X.

Chen, Dongyan, Trivedi, and K. S. “Closed-form analytical results for condition-based maintenance.” Reliab. Eng. Syst. Saf. (UK) 76, no. 1 (2002): 43–51.

Xie, W., H. Sun, Y. Cao, and K. S. Trivedi. “OPTIMAL WEBSERVER SESSION TIMEOUT SETTINGS FOR WEB USERS.” In 28th International Computer Measurement Group Conference Cmg 2002, 2002.

Li, L., K. Vaidyanathan, and K. S. Trivedi. “An approach for estimation of software aging in a Web server.” In Isese 2002 Proceedings 2002 International Symposium on Empirical Software Engineering, 91–100, 2002. https://doi.org/10.1109/ISESE.2002.1166929.

Qian, M., D. Logothetis, and K. S. Trivedi. “All-terminal reliability analysis of the SRP-ring: The effect of enhanced intelligent protection switching.” In Proceedings International Conference on Computer Communications and Networks ICCCN, 2002-January:52–57, 2002. https://doi.org/10.1109/ICCCN.2002.1043045.