Publications

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.

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.

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.

Wang, C. Y., and K. S. Trivedi. “Integration of specification for modeling and specification for system design.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 691 LNCS:473–92, 1993. https://doi.org/10.1007/3-540-56863-8_62.

Choi, H., and K. S. Trivedi. “Conditional MTTF and its computation in Markov reliability models.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 1993, 56–63. https://doi.org/10.1109/rams.1993.296876.

Malhotra, M., and K. S. Trivedi. “A methodology for formal expression of hierarchy in model solution.” In Proceedings of 5th International Workshop on Petri Nets and Performance Models Pnpm 1993, 258–67, 1993. https://doi.org/10.1109/PNPM.1993.393445.

Ciardo, G., and K. S. Trivedi. “A decomposition approach for stochastic reward net models.” Performance Evaluation 18, no. 1 (January 1, 1993): 37–59. https://doi.org/10.1016/0166-5316(93)90026-Q.

Tomek, L. A. “Modeling Correlation in Software Recovery Blocks.” IEEE Transactions on Software Engineering 19, no. 11 (January 1, 1993): 1071–86. https://doi.org/10.1109/32.256854.

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.