Publications

Dohi, T., S. Osaki, and K. S. Trivedi. “Heuristic self-organization algorithms for software reliability assessment and their application.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, December 1, 2000, 40–51.

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.

Goševa-Popstojanova, K., and K. Trivedi. “Effects of failure correlation on software in operation.” In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc, 2000-January:69–76, 2000. https://doi.org/10.1109/PRDC.2000.897286.

Ma, Y., J. J. Han, and K. S. Trivedi. “Channel allocation with recovery strategy in wireless networks.” European Transactions on Telecommunications 11, no. 4 (January 1, 2000): 395–406. https://doi.org/10.1002/ett.4460110408.

Dohi, T., K. Goševa-Popstojanova, and K. S. Trivedi. “Analysis of software cost models with rejuvenation.” In Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 2000-January:25–34, 2000. https://doi.org/10.1109/HASE.2000.895436.

Trivedi, K. S., K. Vaidyanathan, and K. Goseva-Popstojanova. “Modeling and analysis of software aging and rejuvenation.” Proceedings of the IEEE Annual Simulation Symposium, January 1, 2000, 270–79.

Goševa-Popstojanova, K., and K. Trivedi. “Stochastic modeling formalisms for dependability, performance and performability.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1769:403–22, 2000. https://doi.org/10.1007/3-540-46506-5_17.

Hirel, C., B. Tuffin, and K. S. Trivedi. “SPNP: Stochastic petri nets. Version 6. 0.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1786:354–57, 2000. https://doi.org/10.1007/3-540-46429-8_30.

Ramani, S., B. Dasarathy, and K. S. Trivedi. “Building a reliable message delivery system using the CORBA Event Service.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1800 LNCS:1276–80, 2000. https://doi.org/10.1007/3-540-45591-4_174.

Ramani, S., K. S. Trivedi, and B. Dasarathy. “Performance analysis of the CORBA event service using stochastic reward nets.” Proceedings of the IEEE Symposium on Reliable Distributed Systems, January 1, 2000, 238–47.

Ramani, S., and K. S. Trivedi. “SREPT: Software reliability estimation and prediction tool.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1786:358–61, 2000. https://doi.org/10.1007/3-540-46429-8_31.

Okamura, H., A. Fujimoto, T. Dohi, S. Osaki, and K. S. Trivedi. “The optimal preventive maintenance policy for a software system with multi server station.” In 6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 275–79, 2000.

Ma, Y., J. J. Han, and K. S. Trivedi. “Call admission control for reducing dropped calls in code division multiple access (CDMA) cellular systems.” Proceedings IEEE INFOCOM 3 (January 1, 2000): 1481–90.

Ramani, S., S. S. Gokhale, and K. S. Trivedi. “SREPT: Software Reliability Estimation and Prediction Tool.” Performance Evaluation 39, no. 1–4 (January 1, 2000): 37–60. https://doi.org/10.1016/S0166-5316(99)00057-7.

Hirel, C., R. Sahner, X. Zang, and K. Trivedi. “Reliability and performability modeling using SHARPE 2000.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1786:345–49, 2000. https://doi.org/10.1007/3-540-46429-8_28.

Dohi, T., K. Goševa-Popstojanova, and K. S. Trivedi. “Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.” In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc, 2000-January:77–84, 2000. https://doi.org/10.1109/PRDC.2000.897287.

Tuffin, B., and K. S. Trivedi. “Implementation of importance splitting techniques in stochastic petri net package.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1786:216–29, 2000. https://doi.org/10.1007/3-540-46429-8_16.

Yin, L., and K. S. Trivedi. “Confidence interval estimation of NHPP-based software reliability models.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, December 1, 1999, 6–11.

Ma, Y., J. J. Han, and K. S. Trivedi. “A channel recovery method in TDMA wireless systems.” IEEE Vehicular Technology Conference 50, no. 3 (December 1, 1999): 1750–54. https://doi.org/10.1109/VETECF.1999.801697.

Vaidyanathan, K., and K. S. Trivedi. “Measurement-based model for estimation of resource exhaustion in operational software systems.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, December 1, 1999, 84–93.

Goseva-Popstojanova, K., and K. Trivedi. “Failure correlation in software reliability models.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, December 1, 1999, 232–41.

Zang, X., H. Sun, and K. S. Trivedi. “A BDD-based algorithm for reliability analysis of phased-mission systems.” IEEE Transactions on Reliability 48, no. 1 (December 1, 1999): 50–60. https://doi.org/10.1109/24.765927.

Sun, H., X. Zang, and K. S. Trivedi. “Effect of Web caching on network planning.” Computer Communications 22, no. 14 (September 15, 1999): 1343–50. https://doi.org/10.1016/S0140-3664(99)00131-0.

Sun, H., X. Zang, and K. S. Trivedi. “Stochastic reward net model for performance analysis of prioritized DQDB MAN.” Computer Communications 22, no. 9 (June 15, 1999): 858–70. https://doi.org/10.1016/S0140-3664(99)00055-9.

Zobrist, G., K. Bagchi, and K. Trivedi. Advanced Computer System Design. CRC Press, 1999.