Publications

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.

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.

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.

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.

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.

Muppala, J. K., D. University, S. P. Woolet, and K. S. Trivedi. “Real-Time-Systems Performance in the Presence of Failures.” Computer 24, no. 5 (January 1, 1991): 37–47. https://doi.org/10.1109/2.76285.

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.

Veeraraghavan, M., and K. S. Trivedi. “An improved algorithm for the symbolic reliability analysis of networks.” Proceedings - Symposium on Reliability in Distributed Software and Database Systems, December 1, 1990, 34–43.

Ibe, O. C., and K. S. Trivedi. “Two queues with alternating service and server breakdown.” Queueing Systems 7, no. 3–4 (September 1, 1990): 253–68. https://doi.org/10.1007/BF01154545.

Muppala, J. K., and K. S. Trivedi. “GSPN Models: Sensitivity analysis and applications.” In Proceedings - 28th Annual Southeast Regional Conference, ACM-SE 1990, 25–33, 1990.

Bobbio, A., and K. Trivedi. “Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.” IEEE Transactions on Computers 39, no. 10 (January 1, 1990): 1291–98. https://doi.org/10.1109/12.59859.