Publications

Found 678 results
[ Type(Desc)] Year
Conference Paper
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 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, 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 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.
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 MMB, 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 Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 165-179. Vol. 977. 1995.
K Goševa-Popstojanova, and KS Trivedi. "Stochastic Modeling Formalisms for Dependability, Performance and Performability." In Performance Evaluation, 403-422. Vol. 1769. 2000.
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.
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.
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.
KS Trivedi. "Survivability Quantification - Keynote." In Broadnets, 961. 2007.
KS Trivedi, BR Haverkort, AJ Rindos, and V Mainkar. "Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives." In Computer Performance Evaluation, 1-24. Vol. 794. 1994.
KS Trivedi, BR Haverkort, A Rindos, and V Mainkar. "Techniques and tools for reliability and performance evaluation: Problems and perspectives." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1-24. Vol. 794. 1994.

Pages