Publications

Pauca, V. P., A. F. Rodriguez, X. Sun, and K. S. Trivedi. “A methodology towards automatic implementation of N-body algorithms.” Applied Numerical Mathematics 40, no. 1–2 (January 1, 2002): 3–21. https://doi.org/10.1016/S0168-9274(01)00061-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. Wakana, S. Osaki, and K. S. Trivedi. “Analysis of hypergeometric distribution software reliability model.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, December 1, 2001, 166–75.

Dohi, T., K. Goeva-Popstojanova, and K. Trivedi. “Estimating software rejuvenation schedules in high-assurance systems.” Computer Journal 44, no. 6 (December 1, 2001): 473–85. https://doi.org/10.1093/comjnl/44.6.473.

Hong, Y., Y. Cao, H. Sun, and K. S. Trivedi. “RED parameters and performance of TCP connections.” Electronics Letters 37, no. 24 (November 22, 2001): 1489–91. https://doi.org/10.1049/el:20010984.

Sun, H., X. Zang, and K. S. Trivedi. “A performance model of partial packet discard and early packet discard schemes in ATM switches.” Computer Communications 24, no. 15–16 (October 1, 2001): 1540–53. https://doi.org/10.1016/S0140-3664(01)00310-3.

Ma, Y., J. J. Han, and K. S. Trivedi. “Composite performance and availability analysis of wireless communication networks.” IEEE Transactions on Vehicular Technology 50, no. 5 (September 1, 2001): 1216–23. https://doi.org/10.1109/25.950322.

Ma, Y., J. J. Han, and K. S. Trivedi. “A method for multiple channel recovery in TDMA wireless communications systems.” Computer Communications 24, no. 12 (July 15, 2001): 1147–57. https://doi.org/10.1016/S0140-3664(00)00369-8.

Goševa-Popstojanova, K., and K. S. Trivedi. “Architecture-based approach to reliability assessment of software systems.” Performance Evaluation 45, no. 2–3 (July 1, 2001): 179–204. https://doi.org/10.1016/S0166-5316(01)00034-7.

Haverkort, B. R., R. Marie, G. Rubino, and K. Trivedi. Performability modelling techniques and tools. John Wiley & Sons Inc, 2001.

Sun, H., X. Zang, and K. S. Trivedi. “Performance of broadcast and unknown server (BUS) in ATM LAN emulation.” IEEE ACM Transactions on Networking 9, no. 3 (June 1, 2001): 361–72. https://doi.org/10.1109/90.929857.

Haring, G., 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 (May 1, 2001): 664–73. https://doi.org/10.1109/25.933303.

Vaidyanathan, K., R. E. Harper, S. W. Hunter, and K. S. Trivedi. “Analysis and implementation of software rejuvenation in cluster systems.” Performance Evaluation Review 29, no. 1 (January 1, 2001): 62–71. https://doi.org/10.1145/384268.378434.

Yin, L., M. A. J. Smith, and K. S. Trivedi. “Uncertainty analysis in reliability modeling.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 2001, 229–34.

Ramani, S., K. S. Trivedi, and B. Dasarathy. “Performance analysis of the corba notification service.” Proceedings of the IEEE Symposium on Reliable Distributed Systems, January 1, 2001, 227–36. https://doi.org/10.1109/RELDIS.2001.970773.

Ma, X., Y. Liu, K. S. Trivedi, Y. Ma, and J. J. 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–19, 2001. https://doi.org/10.1109/EURCON.2001.937777.

Goševa-Popstojanova, K., A. P. Mathur, and K. S. Trivedi. “Comparison of architecture-based software reliability models.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, January 1, 2001, 22–31. https://doi.org/10.1109/ISSRE.2001.989455.

Trivedi, K. S., H. R. Sun, Y. H. Cao, and Y. Ma. “Stochastic Petri nets and their applications.” In PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, edited by K. Goto, T. Hasegawa, H. Takagi, and Y. Takahashi, 283–98. SPRINGER-VERLAG LONDON LTD, 2001.

Goseva-Popstojanova, K., 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, 2:211–21, 2001. https://doi.org/10.1109/DISCEX.2001.932173.

Chen, D., and K. S. Trivedi. “Analysis of periodic preventive maintenance with general system failure distribution.” In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc, 2001-January:103–7, 2001. https://doi.org/10.1109/PRDC.2001.992686.

Cao, Y. H., H. R. Sun, and K. S. Trivedi. “Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models.” In PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, edited by K. Goto, T. Hasegawa, H. Takagi, and Y. Takahashi, 317–32. SPRINGER-VERLAG LONDON LTD, 2001.

Tuffin, Bruno, Dong S. Chen, and Kishor S. Trivedi. “Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.” Discrete Event Dynamic Systems: Theory and Applications 11, no. 1–2 (2001): 77–95. https://doi.org/10.1023/A:1008387132533.

Ramani, S., B. Dasarathy, and K. S. Trivedi. “Reliable messaging using the CORBA Notification Service.” In Proceedings 3rd International Symposium on Distributed Objects and Applications Doa 2001, 229–38, 2001. https://doi.org/10.1109/DOA.2001.954088.

Castelli, V., R. E. Harper, P. Heidelberger, S. W. Hunter, K. S. Trivedi, K. Vaidyanathan, and W. P. Zeggert. “Proactive management of software aging.” IBM Journal of Research and Development 45, no. 2 (January 1, 2001): 311–32. https://doi.org/10.1147/rd.452.0311.

Goseva-Popstojanova, K., and K. S. Trivedi. “7 Failure correlation in software reliability models.” IEEE Transactions on Reliability 49, no. 1 (December 1, 2000): 37–48. https://doi.org/10.1109/24.855535.