Publications

Xie, W., Y. Hong, and K. S. Trivedi. “Software rejuvenation policies for cluster systems under varying workload.” Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing, June 15, 2004, 122–29.

Cao, Y., H. Sun, and K. S. Trivedi. “The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data.” Performance Evaluation 57, no. 1 (May 1, 2004): 69–87. https://doi.org/10.1016/j.peva.2003.08.003.

Madan, B. B., K. Goševa-Popstojanova, K. Vaidyanathan, and K. S. Trivedi. “A method for modeling and quantifying the security attributes of intrusion tolerant systems.” Performance Evaluation 56, no. 1–4 (March 1, 2004): 167–86. https://doi.org/10.1016/j.peva.2003.07.008.

Liu, Yun, and Kishor S. Trivedi. “A General Framework for Network Survivability Quantification.” In MMB, edited by Peter Buchholz, Ralf Lehnert, and Michal Pióro, 369–78. VDE Verlag, 2004.

Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain.” Software Quality Journal 12, no. 3 (January 1, 2004): 211–30. https://doi.org/10.1023/B:SQJO.0000034709.63615.8b.

Szczerbicka, Helena, Kishor S. Trivedi, and Pawan K. Choudhary. “Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation.” In IFIP Congress Tutorials, edited by Ricardo Reis, 157:271–304. Kluwer/Springer, 2004.

Dohi, T., H. Suzuki, and K. S. Trivedi. “Comparing software rejuvenation policies under different dependability measures.” IEICE Transactions on Information and Systems E87-D, no. 8 (January 1, 2004): 2078–85.

Nicol, D. M., W. H. Sanders, and K. S. Trivedi. “Model-based evaluation: From dependability to security.” IEEE Transactions on Dependable and Secure Computing 1, no. 1 (January 1, 2004): 48–64. https://doi.org/10.1109/TDSC.2004.11.

Trivedi, K. S., and K. Vaidyanathan. “Software rejuvenation - modeling and analysis.” In IFIP Advances in Information and Communication Technology, 157:151–82, 2004. https://doi.org/10.1007/1-4020-8159-6_6.

Szczerbicka, H., K. S. Trivedi, and P. K. Choudhary. “Discrete event simulation with application to computer communication systems performance - Introduction to simulation.” In INFORMATION TECHNOLOGY: SELECTED TUTORIALS, 157:271–304, 2004. https://doi.org/10.1007/1-4020-8159-6_10.

Bao, Y., X. Sun, and K. S. Trivedi. “Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.” Proceedings of the International Conference on Dependable Systems and Networks, December 1, 2003, 241–48.

Chen, D., C. Kintala, S. Garg, and K. S. Trivedi. “Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.” Proceedings of the International Conference on Dependable Systems and Networks, December 1, 2003, 521–28.

Zang, X., D. Wang, H. Sun, and K. S. Trivedi. “A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.” IEEE Transactions on Computers 52, no. 12 (December 1, 2003): 1608–18. https://doi.org/10.1109/TC.2003.1252856.

Hong, Y., K. S. Trivedi, A. Ray, and S. Phoha. “Software Performance Analysis Using a Language Measure.” Proceedings of the American Control Conference 3 (November 6, 2003): 2258–63.

Cao, Y., H. R. Sun, and K. S. Trivedi. “Performance Analysis of Reservation Media-Access Protocol with Access and Serving Queues Under Bursty Traffic in GPRS/EGPRS.” IEEE Transactions on Vehicular Technology 52, no. 6 (November 1, 2003): 1627–41. https://doi.org/10.1109/TVT.2003.819620.

Dharmaraja, S., K. S. Trivedi, and D. Logothetis. “Performance modeling of wireless networks with generally distributed handoff interarrival times.” Computer Communications 26, no. 15 (September 22, 2003): 1747–55. https://doi.org/10.1016/S0140-3664(03)00044-6.

Chen, D., Y. Cao, K. S. Trivedi, and Y. Hong. “Preventive maintenance of multi-state system with phase-type failure time distribution and non-zero inspection time.” International Journal of Reliability, Quality and Safety Engineering 10, no. 3 (September 1, 2003): 323–44. https://doi.org/10.1142/S0218539303001172.

Trivedi, K. S., X. Ma, and S. Dharmaraja. “Performability modelling of wireless communication systems.” International Journal of Communication Systems 16, no. 6 (August 1, 2003): 561–77. https://doi.org/10.1002/dac.605.

Xie, W., H. Sun, Y. Cao, and K. S. Trivedi. “Modeling of user perceived webserver availability.” IEEE International Conference on Communications 3 (July 18, 2003): 1796–1800.

Lanus, M., L. Yin, and K. S. Trivedi. “Hierarchical composition and aggregation of state-based availability and performability models.” IEEE Transactions on Reliability 52, no. 1 (March 1, 2003): 44–52. https://doi.org/10.1109/TR.2002.805781.

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.