Publications

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.

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.

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.

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.