Publications

Found 728 results
Type [ Year(Desc)]
2000
H Okamura, A Fujimoto, T Dohi, S Osaki, and KS Trivedi. "The optimal preventive maintenance policy for a software system with multi server station." In 6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 275-279. 2000.
S Ramani, KS Trivedi, and B Dasarathy. "Performance analysis of the CORBA event service using stochastic reward nets." Proceedings of the IEEE Symposium on Reliable Distributed Systems (2000): 238-247.
C Hirel, RA Sahner, X Zang, and KS Trivedi. "Reliability and Performability Modeling Using SHARPE 2000." In Computer Performance Evaluation / TOOLS, 345-349. Vol. 1786. 2000.
C Hirel, R Sahner, X Zang, and K Trivedi. "Reliability and performability modeling using SHARPE 2000." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 345-349. Vol. 1786. 2000.
C Hirel, B Tuffin, and KS Trivedi. "SPNP: Stochastic petri nets. Version 6. 0." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 354-357. Vol. 1786. 2000.
C Hirel, B Tuffin, and KS Trivedi. "SPNP: Stochastic Petri Nets. Version 6.0." In Computer Performance Evaluation / TOOLS, 354-357. Vol. 1786. 2000.
S Ramani, SS Gokhale, and KS Trivedi. "SREPT: Software Reliability Estimation and Prediction Tool." Performance Evaluation 39, no. 1-4 (2000): 37-60.
S Ramani, and KS Trivedi. "SREPT: Software Reliability Estimation and Prediction Tool." In Computer Performance Evaluation / TOOLS, 358-361. Vol. 1786. 2000.
T Dohi, K Goševa-Popstojanova, and KS Trivedi. "Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule." In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 77-84. Vol. 2000-January. 2000.
K Goševa-Popstojanova, and K Trivedi. "Stochastic modeling formalisms for dependability, performance and performability." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 403-422. Vol. 1769. 2000.
K Goševa-Popstojanova, and KS Trivedi. "Stochastic Modeling Formalisms for Dependability, Performance and Performability." In Performance Evaluation, 403-422. Vol. 1769. 2000.
2001
K Vaidyanathan, RE Harper, SW Hunter, and KS Trivedi. "Analysis and implementation of software rejuvenation in cluster systems." Performance Evaluation Review 29, no. 1 (2001): 62-71.
T Dohi, N Wakana, S Osaki, and KS Trivedi. "Analysis of hypergeometric distribution software reliability model." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 166-175.
D Chen, and KS Trivedi. "Analysis of periodic preventive maintenance with general system failure distribution." In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 103-107. Vol. 2001-January. 2001.
K Goševa-Popstojanova, and KS Trivedi. "Architecture-based approach to reliability assessment of software systems." Performance Evaluation 45, no. 2-3 (2001): 179-204.
K Goševa-Popstojanova, F Wang, R Wang, F Gong, K Vaidyanathan, K Trivedi, and B Muthusamy. "Characterizing intrusion tolerant systems using a state transition model." In Proceedings - DARPA Information Survivability Conference and Exposition II, DISCEX 2001, 211-221. Vol. 2. 2001.
K Goševa-Popstojanova, AP Mathur, and KS Trivedi. "Comparison of architecture-based software reliability models." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 22-31.
K Goševa-Popstojanova, AP Mathur, and KS Trivedi. "Comparison of architecture-based software reliability models." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 22-31.
B Tuffin, DS Chen, and KS Trivedi. "Comparison of Hybrid Systems and Fluid Stochastic Petri Nets." Discrete Event Dynamic Systems: Theory and Applications 11, no. 1-2 (2001): 77-95.
Y Ma, JJ Han, and KS Trivedi. "Composite performance and availability analysis of wireless communication networks." IEEE Transactions on Vehicular Technology 50, no. 5 (2001): 1216-1223.
T Dohi, K Goeva-Popstojanova, and K Trivedi. "Estimating software rejuvenation schedules in high-assurance systems." Computer Journal 44, no. 6 (2001): 473-485.
G Haring, R Marie, R Puigjaner, and K Trivedi. "Loss formulas and their application to optimization for cellular networks." IEEE Transactions on Vehicular Technology 50, no. 3 (2001): 664-673.
Y Ma, JJ Han, and KS Trivedi. "A method for multiple channel recovery in TDMA wireless communications systems." Computer Communications 24, no. 12 (2001): 1147-1157.
X Ma, Y Liu, KS Trivedi, Y Ma, and JJ Han. "A new handoff scheme for decreasing both dropped calls and blocked calls in CDMA system." In EUROCON 2001 - International Conference on Trends in Communications, Proceedings, 115-119. 2001.
YH Cao, HR Sun, and KS Trivedi. "Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models." In PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, 317-332. 2001.

Pages