Publications

Found 684 results
[ Type(Desc)] Year
Conference Paper
SS Gokhale, and KS Trivedi. "Reliability prediction and sensitivity analysis based on software architecture." In Proceedings International Symposium on Software Reliability Engineering, Issre, 64-75. Vol. 2002-January. 2002.
T Luo, T Confrey, and KS Trivedi. "A reliable CORBA-based network management system." In Ieee International Conference on Communications, 1374-1387. Vol. 2. 1999.
S Ramani, B Dasarathy, and KS Trivedi. "Reliable messaging using the CORBA Notification Service." In Proceedings 3rd International Symposium on Distributed Objects and Applications, Doa 2001, 229-238. 2001.
S Mitra, RK Iyer, K Trivedi, and JW Tschanz. "Reliable system design: Models, metrics and design techniques." In 2008 Ieee/Acm International Conference on Computer Aided Design, 3. 2008.
DG Cavezza, R Pietrantuono, S Russo, J Alonso, and KS Trivedi. "Reproducibility of environment-dependent software failures: An experience report." In Proceedings International Symposium on Software Reliability Engineering, Issre, 267-276. 2014.
R Ghosh, F Longo, VK Naik, AJ Rindos, and KS Trivedi. "Resiliency quantification for large scale systems: An IaaS cloud use case." In Valuetools 2016 10th Eai International Conference on Performance Evaluation Methodologies and Tools, 227-234. 2017.
R Xia, F Machida, and K Trivedi. "A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes." In Proceedings 2015 Ieee 21st Pacific Rim International Symposium on Dependable Computing, Prdc 2015, 169-178. 2016.
H Choi, V Mainkar, and KS Trivedi. "Sensitivity Analysis of Deterministic and Stochastic Petri Nets." In Mascots, 271-276. 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.
CJ Chung, T Xing, D Huang, D Medhi, and K Trivedi. "SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment." In Proceedings 2015 45th Annual Ieee/Ifip International Conference on Dependable Systems and Networks Workshops, Dsn W 2015, 4-11. 2015.
KS Trivedi. "SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment.".
RA Sahner, and KS Trivedi. "SHARPE - SYMBOLIC HIERARCHICAL AUTOMATED RELIABILITY AND PERFORMANCE EVALUATOR." In Numerical Solution of Markov Chains, 695-696. Vol. 8. 1991.
B Tuffin, PK Choudhary, C Hirel, and KS Trivedi. "Simulation versus analytic-numeric methods: Illustrative examples." In Valuetools 2007 2nd International Icst Conference on Performance Evaluation Methodologies and Tools. 2007.
B Tuffin, PK Choudhary, C Hirel, and KS Trivedi. "Simulation versus analytic-numeric methods: illustrative examples." In Valuetools, 63. 2007.
F Wang, F Jou, F Gong, C Sargor, K Goševa-Popstojanova, and K Trivedi. "SITAR: A scalable intrusion-tolerant architecture for distributed services." In Foundations of Intrusion Tolerant Systems, Oasis 2003, 359-367. 2003.
R Matias, GO De Sena, A Andrzejak, and KS Trivedi. "Software Aging Detection Based on Differential Analysis: An Experimental Study." In Proceedings 2016 Ieee 27th International Symposium on Software Reliability Engineering Workshops, Issrew 2016, 71-77. 2016.
J Zhao, YB Wang, GR Ning, CH Wang, KS Trivedi, KY Cai, and ZY Zhang. "Software maintenance optimization based on stackelberg game methods." In Proceedings Ieee 25th International Symposium on Software Reliability Engineering Workshops, Issrew 2014, 426-430. 2014.
KS Trivedi, and K Vaidyanathan. "Software Rejuvenation - Modeling and Analysis.", 151-182.
KS Trivedi, and K Vaidyanathan. "Software rejuvenation - modeling and analysis." In Ifip Advances in Information and Communication Technology, 151-182. Vol. 157. 2004.
KS Trivedi, and K Vaidyanathan. "Software Rejuvenation - Modeling and Analysis." In IFIP Congress Tutorials, 151-182. Vol. 157. 2004.
H Sukhwani, J Alonso, KS Trivedi, and I McGinnis. "Software Reliability Analysis of NASA Space Flight Software: A Practical Experience." In Ieee International Conference on Software Quality, Reliability and Security : Proceedings. Ieee International Conference on Software Quality, Reliability and Security, 386-397. Vol. 3. 2016.
KS Trivedi, and K Vaidyanathan. "Software reliability and rejuvenation: Modeling and analysis." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 318-345. Vol. 2459. 2002.
KS Trivedi, and K Vaidyanathan. "Software Reliability and Rejuvenation: Modeling and Analysis." In Performance, 318-345. Vol. 2459. 2002.
G Ciardo, and KS Trivedi. "SOLUTION OF LARGE GSPN MODELS." In Numerical Solution of Markov Chains, 565-595. Vol. 8. 1991.
SS Gokhale,, and KS Trivedi. "Specification-level integration of simulation and dependability analysis." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 245-266. Vol. 2677 LNCS. 2003.

Pages