Publications

Found 728 results
[ Type(Desc)] Year
Conference Paper
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 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.
K Trivedi. "Software Aging and Software Rejuvenation." In Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. 2019.
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.
SS Gokhale,, and KS Trivedi. "Specification-Level Integration of Simulation and Dependability Analysis." In WADS, 245-266. Vol. 2677. 2002.
C Hirel, B Tuffin, and KS Trivedi. "SPNP: Stochastic petri nets. Version 6. 0." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 354-357. Vol. 1786. 2000.
C Hirel, B Tuffin, and KS Trivedi. "SPNP: Stochastic Petri Nets. Version 6.0." In Computer Performance Evaluation / TOOLS, 354-357. Vol. 1786. 2000.
G Ciardo, J Muppala, and KS Trivedi. "SPNP - THE STOCHASTIC PETRI NET PACKAGE." In NUMERICAL SOLUTION OF MARKOV CHAINS, 693-694. Vol. 8. 1991.
G Ciardo, and KS Trivedi. "SPNP: The Stochastic Petri Net Package (Version 3.1)." In Mascots, 390-391. 1993.
G Ciardo, and KS Trivedi. "SPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1)." In MASCOTS '93, 390-391. Vol. 25. 1993.
S Ramani, SS Gokhale, and KS Trivedi. "Srept: Software reliability estimation and prediction tool." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 27-36. Vol. 1469. 1998.

Pages