Publications

Found 728 results
Type [ Year(Asc)]
2000
T Dohi, S Osaki, and KS Trivedi. "Heuristic self-organization algorithms for software reliability assessment and their application." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2000): 40-51.
B Tuffin, and KS Trivedi. "Implementation of importance splitting techniques in stochastic petri net package." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 216-229. Vol. 1786. 2000.
B Tuffin, and KS Trivedi. "Implementation of Importance Splitting Techniques in Stochastic Petri Net Package." In Computer Performance Evaluation / TOOLS, 216-229. Vol. 1786. 2000.
KS Trivedi, K Vaidyanathan, and K Goševa-Popstojanova. "Modeling and analysis of software aging and rejuvenation." Proceedings of the IEEE Annual Simulation Symposium (2000): 270-279.
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.
1999
G Zobrist, K Bagchi, and K Trivedi. Advanced Computer System Design., 1999.
Y Ma, and KS Trivedi. "Algorithm for reliability analysis of phased-mission systems." Reliability Engineering and System Safety 66, no. 2 (1999): 157-170.
H Sun, Y Cao, KS Trivedi, and JJ Han. "Availability and performance evaluation for automatic protection switching in TDMA wireless system." In Proceedings - 1999 Pacific Rim International Symposium on Dependable Computing, PRDC 1999, 15-22. 1999.
X Zang, H Sun, and KS Trivedi. "A BDD-based algorithm for reliability analysis of phased-mission systems." IEEE Transactions on Reliability 48, no. 1 (1999): 50-60.
Y Ma, JJ Han, and KS Trivedi. "A channel recovery method for RF channel failure in wireless communications systems." IEEE Wireless Communications and Networking Conference, WCNC 3 (1999): 1075-1079.
Y Ma, JJ Han, and KS Trivedi. "A channel recovery method in TDMA wireless systems." IEEE Vehicular Technology Conference 50, no. 3 (1999): 1750-1754.
L Yin, and KS Trivedi. "Confidence interval estimation of NHPP-based software reliability models." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1999): 6-11.
X Zang, H Sun, and KS Trivedi. "Dependability analysis of distributed computer systems with imperfect coverage." Proceedings - Annual International Conference on Fault-Tolerant Computing (1999): 330-337.
I Mura, A Bondavalli, X Zang, and KS Trivedi. "Dependability modeling and evaluation of phased mission systems: A DSPN approach." In Dependable Computing for Critical Applications 7, 319-337. 1999.
A Bondavalli, I Mura, and KS Trivedi. "Dependability modelling and sensitivity analysis of scheduled maintenance systems." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7-23. Vol. 1667 LNCS. 1999.

Pages