Publications

Found 684 results
[ Type(Desc)] Year
Conference Paper
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. 2019.
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. 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 Winter Simulation Conference, 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, 367-372. 1993.
H Sukhwani, R Matias, KS Trivedi, and A Rindos. "Monitoring and mitigating software aging on IBM cloud controller system." In Proceedings 2017 Ieee 28th International Symposium on Software Reliability Engineering Workshops, Issrew 2017, 266-272. 2017.
J Alonso, M Grottke, AP Nikora, and KS Trivedi. "The nature of the times to flight software failure during space missions." In Proceedings International Symposium on Software Reliability Engineering, Issre, 331-340. 2012.
J Alonso, M Grottke, AP Nikora, and KS Trivedi. "The Nature of the Times to Flight Software Failure during Space Missions." In ISSRE, 331-340. 2012.
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.
KS Trivedi, R German, A Bobbio, A Puliafito, G Ciardo, and M Telek. "Non-Markovian Petri Nets." In Proceedings of the 1995 Acm Sigmetrics Joint International Conference on Measurement and Modeling of Computer Systems, Sigmetrics 1995/Performance 1995, 263-264. 1995.
X Li, X Chang, JA Board, and KS Trivedi. "A novel approach for software vulnerability classification." In Proceedings of the Annual Reliability and Maintainability Symposium. 2017.
KS Trivedi, and AV Mayrhauser. "Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection." In Int. Cmg Conference, 58-69. 1981.

Pages