Publications

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.

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.

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.

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.

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.

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.

Trivedi, K. S., A. Puliafito, and D. Logothetis. “From stochastic Petri nets to Markov regenerative stochastic Petri nets.” In Proceedings IEEE Computer Society S Annual International Symposium on Modeling Analysis and Simulation of Computer and Telecommunications Systems Mascots, 194–98, 1995. https://doi.org/10.1109/MASCOT.1995.378688.

Constantinescu, C., and K. Trivedi. “Dependability modeling of real-time systems using stochastic reward nets.” Microelectronics Reliability 35, no. 6 (January 1, 1995): 903–14. https://doi.org/10.1016/0026-2714(94)00150-M.