Publications

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., 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.

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.

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.

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.

Malhotra, M., and K. S. Trivedi. “Power-Hierarchy of Dependability-Model Types.” IEEE Transactions on Reliability 43, no. 3 (January 1, 1994): 493–502. https://doi.org/10.1109/24.326452.

Tomek, L., V. Mainkar, R. M. Geist, and K. S. Trivedi. “Reliability Modeling of Life-Critical, Real-Time Systems.” Proceedings of the IEEE 82, no. 1 (January 1, 1994): 108–21. https://doi.org/10.1109/5.259430.

Veeraraghavan, M., and K. S. Trivedi. “A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models.” IEEE Transactions on Computers 43, no. 2 (January 1, 1994): 229–34. https://doi.org/10.1109/12.262129.

Constazltinescu, C., and K. Trivedi. “A stochastic reward net model for dependability analysis of real-time computing systems.” In Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994, 142–46, 1994. https://doi.org/10.1109/RTA.1994.316162.

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.