Publications

Found 719 results
[ Type(Desc)] Year
Conference Paper
ZB Ratliff, DR Kuhn, RN Kacker, Y Lei, and KS Trivedi. "The Relationship between Software Bug Type and Number of Factors Involved in Failures." In Proceedings 2016 Ieee 27th International Symposium on Software Reliability Engineering Workshops, Issrew 2016, 119-124. 2016.
D Logothetis, and K Trivedi. "Reliability analysis of the FDDI token ring." In Proceedings Conference on Local Computer Networks, Lcn, 41-51. Vol. 1991-October. 1991.
D Logothetis, and KS Trivedi. "Reliability analysis of the FDDI token ring." In LCN, 41-51. 1991.
KS Trivedi. "Reliability and Availability Assessment in Practice." In 2019 Ieee/Acm 23rd International Symposium on Distributed Simulation and Real Time Applications (Ds Rt), 327. 2019.
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, RA Sahner, X Zang, and KS Trivedi. "Reliability and Performability Modeling Using SHARPE 2000." In Computer Performance Evaluation / TOOLS, 345-349. Vol. 1786. 2000.
KS Trivedi, and M Malhotra. "Reliability and Performability Techniques and Tools: A Survey." In Mmb, 27-48. 1993.
H Kantz, and K Trivedi. "Reliability modeling of the MARS system: A case study in the use of different tools and techniques." In Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Pnpm 1991, 268-277. 1991.
H Kantz, and KS Trivedi. "Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques." In PNPM, 268-277. 1991.
RB Fricks, A Bobbio, and KS Trivedi. "Reliability models of chronic kidney disease." In Proceedings of the Annual Reliability and Maintainability Symposium. Vol. 2016-April. 2016.
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.
KY Cai, KS Trivedi, and B Yin. "S-ADA: Software as an Autonomous, Dependable and Affordable System." In Proceedings 51st Annual Ieee/Ifip International Conference on Dependable Systems and Networks Supplemental Volume, Dsn S 2021, 17-18. 2021.
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 Simulation Series, 271-276. Vol. 25. 1993.
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.
KS Trivedi, CJ Chung, T Xing, D Huang, and D Medhi. "SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment.", 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, 63. 2007.

Pages