Publications

Found 684 results
[ Type(Desc)] Year
Conference Paper
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.
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.
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.
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.
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.
JE Robertson, and KS Trivedi. "The status of investigations into the use of continued fractions for computer hardware." In Ieee Symposium on Computer Arithmetic, 1-30. 1972.
JE Robertson, and K Trivedi. "The status of investigations into the use of continued fractions for computer hardware." In Proceedings Symposium on Computer Arithmetic. 1972.
M Telek, A Bobbio, L Jereb, A Puliafito, and KS Trivedi. "Steady state analysis of markov regenerative SPN with age memory policy." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 165-179. Vol. 977. 1995.
M Telek, A Bobbio, L Jereb, A Puliafito, and KS Trivedi. "Steady State Analysis of Markov Regenerative SPN with Age Memory Policy." In MMB, 165-179. Vol. 977. 1995.
K Goševa-Popstojanova, and K Trivedi. "Stochastic modeling formalisms for dependability, performance and performability." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 403-422. Vol. 1769. 2000.
K Goševa-Popstojanova, and KS Trivedi. "Stochastic Modeling Formalisms for Dependability, Performance and Performability." In Performance Evaluation, 403-422. Vol. 1769. 2000.
KS Trivedi, HR Sun, YH Cao, and Y Ma. "Stochastic Petri nets and their applications." In Performance and Qos of Next Generation Networking, 283-298. 2001.
C Constazltinescu, and K Trivedi. "A stochastic reward net model for dependability analysis of real-time computing systems." In Proceedings of 2nd Ieee Workshop on Real Time Applications, Rta 1994, 142-146. 1994.
X Wan, Z Zheng, F Qin, Y Qiao, and KS Trivedi. "Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction." In Proceedings International Symposium on Software Reliability Engineering, Issre, 163-172. Vol. 2019-October. 2019.
RJ Rodríguez, X Chang, X Li, and KS Trivedi. "Survivability analysis of a computer system under an advanced persistent threat attack." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 134-149. Vol. 9987 LNCS. 2016.
PE Heegaard, BE Helvik, KS Trivedi, and F Machida. "Survivability as a generalization of recovery." In 2015 11th International Conference on the Design of Reliable Communication Networks, Drcn 2015, 133-140. 2015.
X Chang, S Lv, RJ Rodríguez, and K Trivedi. "Survivability model for security and dependability analysis of a vulnerable critical system." In Proceedings International Conference on Computer Communications and Networks, Icccn. Vol. 2018-July. 2018.
PE Heegaard, and KS Trivedi. "SURVIVABILITY MODELING WITH STOCHASTIC REWARD NETS." In Proceedings Winter Simulation Conference, 822-+. 2009.
KS Trivedi. "Survivability quantification for networks." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), XI - XII. Vol. 9951 LNCS. 2016.

Pages