Publications

Gokhale, S. S., P. N. Marines, and K. S. Trivedi. “Important milestones in software reliability modeling.” In SEKE ’96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 345–52. KNOWLEDGE SYSTEMS INSTITUTE, 1996.

Sahner, R. A., and K. S. Trivedi. “SHARPE: a modeler's toolkit.” Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS, January 1, 1996, 58.

Balakrishnan, M., and K. S. Trivedi. “Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing.” Reliability Engineering and System Safety 52, no. 3 SPEC. ISS. (January 1, 1996): 243–59. https://doi.org/10.1016/0951-8320(95)00132-8.

Hecht, H., A. T. Tai, K. S. Trivedi, and A. J. Chruscicki. “User-friendly dependability evaluation tool.” IEEE Proceedings of the National Aerospace and Electronics Conference 2 (January 1, 1996): 637–41.

Pfening, A., S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi. “Optimal software rejuvenation for tolerating soft failures.” Performance Evaluation 27–28 (January 1, 1996): 491–506. https://doi.org/10.1016/s0166-5316(96)90042-5.

Garg, S., C. Kintala, Y. Huang, and K. S. Trivedi. “Minimizing completion time of a program by checkpointing and rejuvenation.” Performance Evaluation Review 24, no. 1 (January 1, 1996): 252–61. https://doi.org/10.1145/233008.233050.

Heidelberger, P., J. K. Muppala, and K. S. Trivedi. “Accelerating mean time to failure computations.” Performance Evaluation 27–28 (January 1, 1996): 627–45. https://doi.org/10.1016/s0166-5316(96)90049-8.

Leemis, L. M., and K. S. Trivedi. “A Comparison of Approximate Interval Estimators for the Bernoulli Parameter.” American Statistician 50, no. 1 (January 1, 1996): 63–68. https://doi.org/10.1080/00031305.1996.10473544.

Wang, C. Y., D. Logothetis, K. S. Trivedi, and I. Viniotis. “Transient behavior of ATM networks under overloads.” Proceedings - IEEE INFOCOM 3 (January 1, 1996): 978–85.

Klotz, J. H., L. Leemis, and K. S. Trivedi. “Leemis, Lawrence M., and Trivedi, Kishor S. (1996), “A comparison of approximate interval estimators for the bernoulli parameter,” the American statistician, 50, 63-68: Comment by klotz and reply.” American Statistician 50, no. 4 (January 1, 1996): 388–89.

Garg, S., M. Telek, A. Puliafito, and K. S. Trivedi. “Analysis of software rejuvenation using Markov regenerative stochastic petri net.” Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, December 1, 1995, 180–87.

Greiner, S., A. Puliafito, G. Bolch, and K. S. Trivedi. “Performance evaluation of dynamic priority operating systems.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 241–50.

Mainkar, V., and K. S. Trivedi. “Fixed point iteration using stochastic reward nets.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 21–30.

German, R., D. Logothetis, and K. S. Trivedi. “Transient analysis of Markov regenerative stochastic petri nets: a comparison of approaches.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 103–12.

Bobbio, A., V. G. Kulkarni, A. Puliafito, M. Telek, and K. S. Trivedi. “Preemptive repeat identical transitions in Markov regenerative stochastic Petri Nets.” International Workshop on Petri Nets and Performance Models, December 1, 1995, 113–22.

Logothetis, D., and K. Trivedi. “Effect of detection and restoration times for error recovery in communication networks.” Proceedings - IEEE Military Communications Conference MILCOM 2 (December 1, 1995): 663–67.

Trivedi, K. S., R. German, A. Bobbio, A. Puliafito, G. Ciardo, and M. Telek. “Non-Markovian Petri Nets.” In Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995, 263–64, 1995. https://doi.org/10.1145/223587.223616.

Rindos, A., S. Woolet, I. Viniotis, and K. Trivedi. “Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains.” In COMPUTATIONS WITH MARKOV CHAINS, edited by W. J. Stewart, 121–33. KLUWER ACADEMIC PUBL, 1995.

Logothetis, D., K. S. Trivedi, and A. Puliafito. “Markov regenerative models.” Proceedings - International Computer Performance and Dependability Symposium, January 1, 1995, 134–42.

IYER, R. K., K. S. TRIVEDI, and J. GOLDBERG. “INTRODUCTION TO THE SPECIAL ISSUE ON FAULT-TOLERANT COMPUTING.” IEEE TRANSACTIONS ON COMPUTERS 44, no. 2 (1995): 165–67.

Puliafito, A., M. Balakrishnan, K. S. Trivedi, and I. Viniotis. “Buffer sizing for ABR traffic in an ATM switch.” IEEE International Conference on Communications 1 (January 1, 1995): 316–20.

Mainkar, V., K. S. Trivedi, and A. J. Rindos. “Approximate computation of sojourn time distribution in open queueing networks.” In COMPUTATIONS WITH MARKOV CHAINS, edited by W. J. Stewart, 599–600. KLUWER ACADEMIC PUBL, 1995.

MAINKAR, V., and K. S. TRIVEDI. “TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS.” In QUALITY OF COMMUNICATION-BASED SYSTEMS, edited by G. Hommel, 69–84. KLUWER ACADEMIC PUBL, 1995.

Ramesh, A. V., and K. Trivedi. “Semi-numerical transient analysis of Markov models.” Proceedings of the Annual Southeast Conference, January 1, 1995, 13–23. https://doi.org/10.1145/1122018.1122021.

Malhotra, M., and K. S. Trivedi. “Dependability Modeling Using Petri-Nets.” IEEE Transactions on Reliability 44, no. 3 (January 1, 1995): 428–40. https://doi.org/10.1109/24.406578.