Publications

Found 728 results
[ Type(Desc)] Year
Conference Paper
SS Gokhale, PN Marines, and KS Trivedi. "Important milestones in software reliability modeling." In SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 345-352. 1996.
SS Gokhale, PN Marinos, and KS Trivedi. "Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.
T Luo, and KS Trivedi. "An Improved Multiple Variable Inversion Algorithm for Reliability Calculation." In Computer Performance Evaluation (Tools), 180-192. Vol. 1469. 1998.
T Luo, and KS Trivedi. "An improved multiple variable inversion algorithm for reliability calculation." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 180-192. Vol. 1469. 1998.
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.
R Geist, and KS Trivedi. "The Integration of User Perception in the Heterogeneous M/M/2 Queue." In Performance, 203-216. 1983.
KS Trivedi, JB Dugan, R Geist, and M Smotherman. "Issues in reliability modeling of fault-tolerant computers." In Fehlertolerierende Rechensysteme, 228-239. Vol. 84. 1984.
H Okamura, T Dohi, and K Trivedi. "Keynote Paper: Parametric Uncertainty Propagation through Dependability Models." In Proceedings - 8th Latin-American Symposium on Dependable Computing, LADC 2018, 10-18. 2018.
WE Wong, SS Gokhale,, and KS Trivedi. "Locating program features using execution slices." In Proceedings - 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology, ASSET 1999, 194-203. 1999.
SS Gokhale, and KS Trivedi. "Log-logistic software reliability growth model." In Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998, 34-41. Vol. 1998-November. 1998.
R Xia, F Machida, and K Trivedi. "A Markov Decision Process Approach for Optimal Data Backup Scheduling." In 2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 660-665. 2014.
H Suzuki, T Dohi, N Kaio, and KS Trivedi. "Maximizing interval reliability in operational software system with rejuvenation." In Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 479-490. Vol. 2003-January. 2003.
M-C Hsueh, RK Iyer, and KS Trivedi. "A Measurement-Based Performability Model for a Multiprocessor System." In Computer Performance and Reliability, 337-352. 1987.
A Koziolek, K Trivedi, and N Pindoriya. "Message from the chairs." In 3rd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2014 - Proceedings. 2014.
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.
K Mishra, and KS Trivedi. "Model Based Approach for Autonomic Availability Management." In ISAS, 1-16. Vol. 4328. 2006.
K Mishra, and KS Trivedi. "Model based approach for autonomic availability management." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1-16. Vol. 4328 LNCS. 2006.
SS Gokhale, MR Lyu, and KS Trivedi. "Model validation using simulated data." In Proceedings - 1998 IEEE Workshop on Application-Specific Software Engineering and Technology, ASSET 1998, 22-27. Vol. 1998-January. 1998.
X Chang, Z Zhang, X Li, and KS Trivedi. "Model-Based Survivability Analysis of a Virtualized System." In Proceedings - Conference on Local Computer Networks, LCN, 611-614. 2016.
Y Liu, KS Trivedi, Y Ma, JJ Han, and H Levendel. "Modeling and analysis of software rejuvenation in cable modem termination systems." In Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 159-170. Vol. 2002-January. 2002.
PK Choudhary, BB Madan, and KS Trivedi. "Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls." In WSC, 412-418. 2005.
X Ma, G Butron, and K Trivedi. "Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 149-162. Vol. 9669. 2016.
JK Muppala, G Ciardo, and KS Trivedi. "MODELING USING STOCHASTIC REWARD NETS." In MASCOTS '93, 367-372. Vol. 25. 1993.
JK Muppala, G Ciardo, and KS Trivedi. "Modeling Using Stochastic Reward Nets." In Mascots, 367-372. 1993.

Pages