Publications

Found 715 results
[ Type(Desc)] Year
Conference Paper
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, 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.
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.
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.

Pages