Publications

Found 715 results
Type [ Year(Asc)]
1993
G Ciardo, and KS Trivedi. "SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1)." In Simulation Series, 390-391. Vol. 25. 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.
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.
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 PNPM, 74-83. 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.
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 of the Annual Reliability and Maintainability Symposium, 120-128. 1991.
LA Tomek, and KS Trivedi. "Fixed Point Iteration in Availability Modeling." In Fault Tolerant Computing Systems, 229-240. Vol. 283. 1991.
M Veeraraghavan, and KS Trivedi. "An Improved Algorithm for Symbolic Reliability Analysis." Ieee Transactions on Reliability 40, no. 3 (1991): 347-358.
JK Muppala, D University, SP Woolet, and KS Trivedi. "Real-Time-Systems Performance in the Presence of Failures." Computer 24, no. 5 (1991): 37-47.
D Logothetis, and KS Trivedi. "Reliability analysis of the FDDI token ring." In LCN, 41-51. 1991.
D Logothetis, and K Trivedi. "Reliability analysis of the FDDI token ring." In Proceedings Conference on Local Computer Networks, Lcn, 41-51. Vol. 1991-October. 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.
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.
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.

Pages