Publications

Found 728 results
Type [ Year(Desc)]
1991
H Kantz, 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-277. 1991.
H Kantz, and KS Trivedi. "Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques." In PNPM, 268-277. 1991.
RA Sahner, and KS Trivedi. "SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR." In NUMERICAL SOLUTION OF MARKOV CHAINS, 695-696. Vol. 8. 1991.
G Ciardo, J Muppala, and KS Trivedi. "On the solution of GSPN reward models." Performance Evaluation 12, no. 4 (1991): 237-253.
G Ciardo, and KS Trivedi. "SOLUTION OF LARGE GSPN MODELS." In NUMERICAL SOLUTION OF MARKOV CHAINS, 565-595. Vol. 8. 1991.
G Ciardo, J Muppala, and KS Trivedi. "SPNP - THE STOCHASTIC PETRI NET PACKAGE." In NUMERICAL SOLUTION OF MARKOV CHAINS, 693-694. Vol. 8. 1991.
OC Ibe, and KS Trivedi. "Stochastic petri net analysis of finite-population vacation queueing systems." Queueing Systems 8, no. 1 (1991): 111-127.
1992
G Ciardo, JK Muppala, and KS Trivedi. "Analyzing concurrent and fault-tolerant software using stochastic reward nets." Journal of Parallel and Distributed Computing 15, no. 3 (1992): 255-269.
H Choi, and KS Trivedi. "Approximate performance models of polling systems using stochastic Petri nets." Proceedings - IEEE INFOCOM (1992): 2306-2314.
JK Muppala, and KS Trivedi. "COMPOSITE PERFORMANCE AND AVAILABILITY ANALYSIS USING A HIERARCHY OF STOCHASTIC REWARD NETS." In COMPUTER PERFORMANCE EVALUATION, 335-349. 1992.
KS Trivedi, JK Muppala, SP Woolet, and BR Haverkort. "Composite performance and dependability analysis." Performance Evaluation 14, no. 3-4 (1992): 197-215.
RK Iyer, and KS Trivedi. "Guest Editors' Introduction." IEEE Trans. Parallel Distributed Syst. 3 (1992): 641-642.
RK Iyer, and KS Trivedi. "MEASUREMENT AND ANALYSIS OF PARALLEL AND DISTRIBUTED SYSTEMS - INTRODUCTION." IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 3, no. 6 (1992): 641-642.
RA Sahner, and KS Trivedi. "A TOOLCHEST FOR STOCHASTIC-MODELS." In INTERNATIONAL CONFERENCE ON SIMULATION IN ENGINEERING EDUCATION, 25-30. Vol. 24. 1992.
V Nicola, 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 (1992): 49-65.
1993
R Geist, and KS Trivedi. "An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems." In FTCS, 442-450. 1993.
R Geist, and K Trivedi. "Analytic treatment of the reliability and performance of mirrored disk subsystems." Digest of Papers - International Symposium on Fault-Tolerant Computing (1993): 442-450.
M Veeraraghavan, and KS Trivedi. "An Approach for Combinatorial Performance and Availability Analysis." In SRDS, 24-33. 1993.
M Veeraraghavan, and KS Trivedi. "Approach for combinatorial performance and availability analysis." (1993): 24-33.
V Mainkar, and KS Trivedi. "Approximate analysis of priority scheduling systems using stochastic reward nets." Proceedings - International Conference on Distributed Computing Systems (1993): 466-473.
PF Chimento. "The Completion Time of Programs on Processors Subject to Failure and Repair." IEEE Transactions on Computers 42, no. 10 (1993): 1184-1194.
H Choi, and KS Trivedi. "Conditional MTTF and its computation in Markov reliability models." Proceedings of the Annual Reliability and Maintainability Symposium (1993): 56-63.
H Choi, and KS Trivedi. "Conditional MTTF and its computation in Markov reliability models." Proceedings of the Annual Reliability and Maintainability Symposium (1993): 56-63.
G Ciardo, and KS Trivedi. "A decomposition approach for stochastic reward net models." Performance Evaluation 18, no. 1 (1993): 37-59.
KS Trivedi, G Ciardo, M Malhotra, and RA Sahner. "Dependability and Performability Analysis." In Performance/SIGMETRICS Tutorials, 587-612. Vol. 729. 1993.

Pages