Publications

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.

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

Geist, R., and K. Trivedi. “Analytic treatment of the reliability and performance of mirrored disk subsystems.” Digest of Papers International Symposium on Fault Tolerant Computing, December 1, 1993, 442–50.

Haverkort, B. R., and K. S. Trivedi. “Specification techniques for Markov reward models.” Discrete Event Dynamic Systems Theory and Applications 3, no. 2–3 (July 1, 1993): 219–47. https://doi.org/10.1007/BF01439850.

Ramesh, A. V., and K. Trivedi. “On the sensitivity of transient solutions of Markov models.” Proceedings of the 1993 ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems Sigmetrics 1993, June 1, 1993, 122–34. https://doi.org/10.1145/166955.166998.

Trivedi, Kishor S., and Manish Malhotra. “Reliability and Performability Techniques and Tools: A Survey.” In MMB, edited by Bernhard Walke and Otto Spaniol, 27–48. Springer, 1993.

Trivedi, K. S., and V. G. Kulkarni. “FSPNs: Fluid stochastic petri nets.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 691 LNCS:24–31, 1993. https://doi.org/10.1007/3-540-56863-8_38.

Lopez-Benitez, N., and K. S. Trivedi. “Multiprocessor Performability Analysis.” IEEE Transactions on Reliability 42, no. 4 (January 1, 1993): 579–87. https://doi.org/10.1109/24.273586.

Ibe, O. C., H. Choi, and K. S. Trivedi. “Performance Evaluation of Client-Server Systems.” IEEE Transactions on Parallel and Distributed Systems 4, no. 11 (January 1, 1993): 1217–29. https://doi.org/10.1109/71.250101.

Geist, Robert, and Kishor S. Trivedi. “An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems.” In FTCS, 442–50. IEEE Computer Society, 1993.

Trivedi, K. S., G. Ciardo, M. Malhotra, and R. A. Sahner. “Dependability and performability analysis.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 729 LNCS:587–612, 1993. https://doi.org/10.1007/bfb0013869.

Mainkar, V., and K. S. Trivedi. “Approximate analysis of priority scheduling systems using stochastic reward nets.” Proceedings International Conference on Distributed Computing Systems, January 1, 1993, 466–73.

Malhotra, M., and K. S. Trivedi. “Reliability analysis of redundant arrays of inexpensive disks.” Journal of Parallel and Distributed Computing 17, no. 1–2 (January 1, 1993): 146–51. https://doi.org/10.1006/jpdc.1993.1013.

Meer, Hermann de, and Kishor S. Trivedi. “Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems.” In MMB, edited by Bernhard Walke and Otto Spaniol, 159–72. Springer, 1993.

Mainkar, V., H. Choi, and K. Trivedi. “Sensitivity analysis of Markov regenerative stochastic Petri nets.” In Proceedings of 5th International Workshop on Petri Nets and Performance Models Pnpm 1993, 180–89, 1993. https://doi.org/10.1109/PNPM.1993.393452.

Sahner, R. A. “A Software Tool for Learning About Stochastic Models.” IEEE Transactions on Education 36, no. 1 (January 1, 1993): 56–61. https://doi.org/10.1109/13.204817.

MUPPALA, J. K., G. CIARDO, and K. S. TRIVEDI. “MODELING USING STOCHASTIC REWARD NETS.” In MASCOTS ’93, 25:367–72, 1993.

Chimento, P. F. “The Completion Time of Programs on Processors Subject to Failure and Repair.” IEEE Transactions on Computers 42, no. 10 (January 1, 1993): 1184–94. https://doi.org/10.1109/12.257705.

Choi, H., V. G. Kulkarni, and K. S. Trivedi. “Transient analysis of deterministic and stochastic petri nets.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 691 LNCS:166–85, 1993. https://doi.org/10.1007/3-540-56863-8_46.

CHOI, H., V. MAINKAR, and K. S. TRIVEDI. “SENSITIVITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC PETRI NETS.” In MASCOTS ’93, edited by H. Schwetman, J. Walrand, K. Bagchi, and D. DeGroot, 25:271–76. SOC COMPUTER SIMULATION INT, 1993.

Logothetis, D., and K. Trivedi. “Reliability analysis of various station attachment schemes in a FDDI token ring.” Proceedings IEEE INFOCOM 1 (January 1, 1993): 201–5.

CIARDO, G., and K. S. TRIVEDI. “SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1).” In MASCOTS ’93, 25:390–91, 1993.