Publications

Found 715 results
[ Type(Desc)] Year
Conference Paper
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." 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.
KS Trivedi, and K Vaidyanathan. "Software Rejuvenation - Modeling and Analysis.", 151-182.
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 Performance, 318-345. Vol. 2459. 2002.
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.
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 WADS, 245-266. Vol. 2677. 2002.
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.
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 Simulation Series, 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.
S Ramani, and KS Trivedi. "SREPT: Software Reliability Estimation and Prediction Tool." In Computer Performance Evaluation / TOOLS, 358-361. Vol. 1786. 2000.
S Ramani, SS Gokhale, and KS Trivedi. "SREPT: Software Reliability Estimation and Prediction Tool." In Computer Performance Evaluation (Tools), 27-36. Vol. 1469. 1998.
S Ramani, 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), 358-361. Vol. 1786. 2000.
D Bruneo, F Longo, M Scarpa, A Puliafito, R Ghosh, and KS Trivedi. "An SRN-based resiliency quantification approach." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 98-116. Vol. 9115. 2015.
CAR Dos Santos, R Matias, and KS Trivedi. "A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association." In Brazilian Symposium on Computing System Engineering, Sbesc. Vol. 2020-November. 2020.
T Dohi, K Goševa-Popstojanova, and KS Trivedi. "Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule." In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 77-84. Vol. 2000-January. 2000.

Pages