Publications

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.

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.

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.

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. “Approach for combinatorial performance and availability analysis.” Undefined, December 1, 1993, 24–33.