Publications

Found 715 results
Type [ Year(Desc)]
1993
CY Wang, and KS Trivedi. "Integration of specification for modeling and specification for system design." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 473-492. Vol. 691 LNCS. 1993.
C-Y Wang, and KS Trivedi. "Integration of Specification for Modeling and Specification for System Design." In Application and Theory of Petri Nets, 473-492. Vol. 691. 1993.
M Malhotra, and KS Trivedi. "A methodology for formal expression of hierarchy in model solution." In Proceedings of 5th International Workshop on Petri Nets and Performance Models, Pnpm 1993, 258-267. 1993.
LA Tomek. "Modeling Correlation in Software Recovery Blocks." Ieee Transactions on Software Engineering 19, no. 11 (1993): 1071-1086.
JK Muppala, G Ciardo, and KS Trivedi. "MODELING USING STOCHASTIC REWARD NETS." In Simulation Series, 367-372. Vol. 25. 1993.
JK Muppala, G Ciardo, and KS Trivedi. "Modeling Using Stochastic Reward Nets." In Mascots, 367-372. 1993.
N Lopez-Benitez, and KS Trivedi. "Multiprocessor Performability Analysis." Ieee Transactions on Reliability 42, no. 4 (1993): 579-587.
HD Meer, and KS Trivedi. "Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems." In Mmb, 159-172. 1993.
OC Ibe, H Choi, and KS Trivedi. "Performance Evaluation of Client-Server Systems." Ieee Transactions on Parallel and Distributed Systems 4, no. 11 (1993): 1217-1229.
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, 271-276. 1993.
H Choi, V Mainkar, and KS Trivedi. "SENSITIVITY ANALYSIS OF DETERMINISTIC AND STOCHASTIC PETRI NETS." In Simulation Series, 271-276. Vol. 25. 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 Simulation Series, 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.
1994
M Veeraraghavan, and KS Trivedi. "A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models." Ieee Transactions on Computers 43, no. 2 (1994): 229-234.
W Wang, and KS Trivedi. "Coverage Evaluation Through Fault Injection: Fault Sampling and Statistical Analysis." In 3rd Ieee International Workshop on Integrating Error Models With Fault Injection, Wiem 1994, 31-32. 1994.
H de Meer, KS Trivedi, and M Dal Cin. "Guarded repair of dependable systems." Theoretical Computer Science 128, no. 1-2 (1994): 179-210.

Pages