Publications

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

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.

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.

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.

Veeraraghavan, M., and K. S. Trivedi. “Approach for combinatorial performance and availability analysis.” Undefined, December 1, 1993, 24–33.