Publications

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., and K. S. Trivedi. “Approximate performance models of polling systems using stochastic Petri nets.” Proceedings IEEE INFOCOM, December 1, 1992, 2306–14. https://doi.org/10.1109/INFCOM.1992.263520.

IYER, R. K., and K. S. TRIVEDI. “MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION.” IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 3, no. 6 (November 1, 1992): 641–42.

Trivedi, K. S., J. K. Muppala, S. P. Woolet, and B. R. Haverkort. “Composite performance and dependability analysis.” Performance Evaluation 14, no. 3–4 (January 1, 1992): 197–215. https://doi.org/10.1016/0166-5316(92)90004-Z.

SAHNER, R. A., and K. S. TRIVEDI. “A TOOLCHEST FOR STOCHASTIC-MODELS.” In INTERNATIONAL CONFERENCE ON SIMULATION IN ENGINEERING EDUCATION, 24:25–30, 1992.

Iyer, Ravishankar K., and Kishor S. Trivedi. “Guest Editors' Introduction.” IEEE Trans. Parallel Distributed Syst. 3 (1992): 641–42. https://doi.org/10.1109/TPDS.1992.10003.

MUPPALA, J. K., and K. S. TRIVEDI. “COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS.” In COMPUTER PERFORMANCE EVALUATION, 335–49, 1992.

Ciardo, G., J. K. Muppala, and K. S. Trivedi. “Analyzing concurrent and fault-tolerant software using stochastic reward nets.” Journal of Parallel and Distributed Computing 15, no. 3 (January 1, 1992): 255–69. https://doi.org/10.1016/0743-7315(92)90007-A.

Nicola, V., A. Bobbio, and K. Trivedi. “A unified performance reliability analysis of a system with a cumulative down time constraint.” Microelectronics Reliability 32, no. 1–2 (January 1, 1992): 49–65. https://doi.org/10.1016/0026-2714(92)90086-Z.

Ibe, O. C., and K. S. Trivedi. “Stochastic petri net analysis of finite-population vacation queueing systems.” Queueing Systems 8, no. 1 (December 1, 1991): 111–27. https://doi.org/10.1007/BF02412245.

Tomek, Lorrie A., and Kishor S. Trivedi. “Fixed Point Iteration in Availability Modeling.” In Fault-Tolerant Computing Systems, edited by Mario Dal Cin and Wolfgang Hohl, 283:229–40. Springer, 1991.

CIARDO, G., J. MUPPALA, and K. S. TRIVEDI. “SPNP - THE STOCHASTIC PETRI NET PACKAGE.” In NUMERICAL SOLUTION OF MARKOV CHAINS, 8:693–94, 1991.

Veeraraghavan, M., and K. S. Trivedi. “An Improved Algorithm for Symbolic Reliability Analysis.” IEEE Transactions on Reliability 40, no. 3 (January 1, 1991): 347–58. https://doi.org/10.1109/24.85455.

Kantz, H., and K. Trivedi. “Reliability modeling of the MARS system: A case study in the use of different tools and techniques.” In Proceedings of the 4th International Workshop on Petri Nets and Performance Models Pnpm 1991, 268–77, 1991. https://doi.org/10.1109/PNPM.1991.238793.

HEIMANN, D. I., N. MITTAL, and K. S. TRIVEDI. “DEPENDABILITY MODELING FOR COMPUTER-SYSTEMS.” In PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 120–28, 1991.

Ciardo, G., and K. S. Trivedi. “A decomposition approach for stochastic Petri net models.” In Proceedings of the 4th International Workshop on Petri Nets and Performance Models Pnpm 1991, 74–83, 1991. https://doi.org/10.1109/PNPM.1991.238780.

CIARDO, G., and K. S. TRIVEDI. “SOLUTION OF LARGE GSPN MODELS.” In NUMERICAL SOLUTION OF MARKOV CHAINS, 8:565–95, 1991.

Heimann, D. I., N. Mittal, and K. S. Trivedi. “Dependability modeling for computer systems.” Proceedings of the Annual Reliability and Maintainability Symposium, January 1, 1991, 120–28.

Ciardo, G., J. Muppala, and K. S. Trivedi. “On the solution of GSPN reward models.” Performance Evaluation 12, no. 4 (January 1, 1991): 237–53. https://doi.org/10.1016/0166-5316(91)90003-L.

Logothetis, D., and K. Trivedi. “Reliability analysis of the FDDI token ring.” In Proceedings Conference on Local Computer Networks LCN, 1991-October:41–51, 1991. https://doi.org/10.1109/LCN.1991.208046.

SAHNER, R. A., and K. S. TRIVEDI. “SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR.” In NUMERICAL SOLUTION OF MARKOV CHAINS, 8:695–96, 1991.