Publications

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.

Balakrishnan, M., and K. Trivedi. “Componentwise decomposition for an efficient reliability computation of systems with repairable components.” Proceedings Annual International Conference on Fault Tolerant Computing, January 1, 1995, 259–68. https://doi.org/10.1109/ftcs.1995.466972.

Logothetis, D., and K. Trivedi. “Time-dependent behavior of redundant systems with deterministic repair.” In COMPUTATIONS WITH MARKOV CHAINS, edited by W. J. Stewart, 135–50. KLUWER ACADEMIC PUBL, 1995.

Choi, H., V. G. Kulkarni, and K. S. Trivedi. “Performance evaluation. Erratum to "Markov regenerative stochastic Petri nets" [20 (1994) 337-357] (PII:0166-5316(94)90021-3).” Performance Evaluation 21, no. 3 (January 1, 1995): 271. https://doi.org/10.1016/0166-5316(94)00050-t.

Lindemann, C., M. Malhotra, and K. S. Trivedi. “Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems.” IEEE Transactions on Reliability 44, no. 4 (January 1, 1995): 694–704. https://doi.org/10.1109/24.476004.

Rai, S., M. Veeraraghavan, and K. S. Trivedi. “A survey of efficient reliability computation using disjoint products approach.” Networks 25, no. 3 (January 1, 1995): 147–63. https://doi.org/10.1002/net.3230250308.

Telek, M., A. Bobbio, L. Jereb, A. Puliafito, and K. S. Trivedi. “Steady state analysis of markov regenerative SPN with age memory policy.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 977:165–79, 1995. https://doi.org/10.1007/bfb0024314.

Malhotra, M., and K. S. Trivedi. “Data integrity analysis of disk array systems with analytic modeling of coverage.” Performance Evaluation 22, no. 1 (January 1, 1995): 111–33. https://doi.org/10.1016/0166-5316(93)E0041-3.

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., and K. Trivedi. “Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources.” Proceedings IEEE INFOCOM 2 (December 1, 1994): 490–97.

Meer, H. de, K. S. Trivedi, and M. Dal Cin. “Guarded repair of dependable systems.” Theoretical Computer Science 128, no. 1–2 (June 6, 1994): 179–210. https://doi.org/10.1016/0304-3975(94)90169-4.

Muppala, J. K., K. S. Trivedi, V. Mainkar, and V. G. Kulkarni. “Numerical computation of response time distributions using stochastic reward nets.” Annals of Operations Research 48, no. 2 (April 1, 1994): 155–84. https://doi.org/10.1007/BF02024663.

Malhotra, M., J. K. Muppala, and K. S. Trivedi. “Stiffness-tolerant methods for transient analysis of stiff Markov chains.” Microelectronics Reliability 34, no. 11 (January 1, 1994): 1825–41. https://doi.org/10.1016/0026-2714(94)90137-6.

Trivedi, K. S., B. R. Haverkort, A. Rindos, and V. Mainkar. “Techniques and tools for reliability and performance evaluation: Problems and perspectives.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 794:1–24, 1994. https://doi.org/10.1007/3-540-58021-2_1.

Logothetis, D., and K. S. Trivedi. “Reliability Analysis of the Double Counter-Rotating Ring with Concentrator Attachments.” IEEE ACM Transactions on Networking 2, no. 5 (January 1, 1994): 520–32. https://doi.org/10.1109/90.336320.

Somani, A. K., and K. S. Trivedi. “Phased-mission system analysis using boolean algebraic methods.” Performance Evaluation Review 22, no. 1 (January 1, 1994): 98–107. https://doi.org/10.1145/183019.183029.

Choi, H., V. G. Kulkarni, and K. S. Trivedi. “Markov regenerative stochastic Petri nets.” Performance Evaluation 20, no. 1–3 (January 1, 1994): 337–57. https://doi.org/10.1016/0166-5316(94)90021-3.

Wei, W., B. V. Shah, K. S. Trivedi, and J. A. Profeta. “Impact of fault expansion on the interval estimate for fault detection coverage.” Digest of Papers International Symposium on Fault Tolerant Computing, January 1, 1994, 330–37.

Wang, W., and K. S. Trivedi. “Coverage Evaluation Through Fault Injection: Fault Sampling and Statistical Analysis.” In 3rd IEEE International Workshop on Integrating Error Models with Fault Injection Wiem 1994, 31–32, 1994. https://doi.org/10.1109/WIEM.1994.654401.

Trivedi, K. S., M. Malhotra, and R. M. Fricks. “Markov reward approach to performability and reliability analysis.” Proceedings of the IEEE International Workshop on Modeling Analysis and Simulation of Computer and Telecommunication Systems, January 1, 1994, 7–11.