Publications

Found 728 results
Type [ Year(Asc)]
1993
M Malhotra, and KS Trivedi. "Reliability analysis of redundant arrays of inexpensive disks." Journal of Parallel and Distributed Computing 17, no. 1-2 (1993): 146-151.
D Logothetis, and K Trivedi. "Reliability analysis of various station attachment schemes in a FDDI token ring." Proceedings - IEEE INFOCOM 1 (1993): 201-205.
KS Trivedi, and M Malhotra. "Reliability and Performability Techniques and Tools: A Survey." In MMB, 27-48. 1993.
H Choi, V Mainkar, and KS Trivedi. "SENSITIVITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC PETRI NETS." In MASCOTS '93, 271-276. Vol. 25. 1993.
H Choi, V Mainkar, and KS Trivedi. "Sensitivity Analysis of Deterministic and Stochastic Petri Nets." In Mascots, 271-276. 1993.
V Mainkar, 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-189. 1993.
AV Ramesh, 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 (1993): 122-134.
RA Sahner. "A Software Tool for Learning About Stochastic Models." IEEE Transactions on Education 36, no. 1 (1993): 56-61.
BR Haverkort, and KS Trivedi. "Specification techniques for Markov reward models." Discrete Event Dynamic Systems: Theory and Applications 3, no. 2-3 (1993): 219-247.
G Ciardo, and KS Trivedi. "SPNP: The Stochastic Petri Net Package (Version 3.1)." In Mascots, 390-391. 1993.
G Ciardo, and KS Trivedi. "SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1)." In MASCOTS '93, 390-391. Vol. 25. 1993.
H Choi, VG Kulkarni, and KS Trivedi. "Transient Analysis of Deterministic and Stochastic Petri Nets." In Application and Theory of Petri Nets, 166-185. Vol. 691. 1993.
H Choi, VG Kulkarni, and KS 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), 166-185. Vol. 691 LNCS. 1993.
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.
1991
G Ciardo, and KS 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.
G Ciardo, and KS Trivedi. "A Decomposition Approach for Stochastic Petri Net Models." In PNPM, 74-83. 1991.
DI HEIMANN, N MITTAL, and KS Trivedi. "Dependability modeling for computer systems." Proceedings of the Annual Reliability and Maintainability Symposium (1991): 120-128.
DI HEIMANN, N MITTAL, and KS Trivedi. "DEPENDABILITY MODELING FOR COMPUTER-SYSTEMS." In PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 120-128. 1991.

Pages