Publications

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.

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.

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.

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.

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.

Ramani, S., K. Goševa-Popstojanova, and K. S. Trivedi. “A framework for performability modeling of messaging services in distributed systems.” In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS, 2002-January:25–34, 2002. https://doi.org/10.1109/ICECCS.2002.1181495.

Dohi, T., N. Kaio, and K. S. Trivedi. “Availability models with age-dependent checkpointing.” Proceedings of the IEEE Symposium on Reliable Distributed Systems, January 1, 2002, 130–39.

Chen, D., Y. Hong, and K. S. Trivedi. “Optimal estimation of training interval for channel equalizations.” IEEE International Conference on Communications 2 (January 1, 2002): 717–21.

Yin, L., R. M. Fricks, and K. S. Trivedi. “Application of semi-Markov process and CTMC to evaluation of UPS system availability.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 2002, 584–91.

Liu, Y., K. S. Trivedi, Y. Ma, J. J. Han, and H. Levendel. “Modeling and analysis of software rejuvenation in cable modem termination systems.” In Proceedings International Symposium on Software Reliability Engineering ISSRE, 2002-January:159–70, 2002. https://doi.org/10.1109/ISSRE.2002.1173239.

Gokhale, S. S., and K. S. Trivedi. “Reliability prediction and sensitivity analysis based on software architecture.” In Proceedings International Symposium on Software Reliability Engineering ISSRE, 2002-January:64–75, 2002. https://doi.org/10.1109/ISSRE.2002.1173214.

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.