Publications

Found 678 results
[ Type(Desc)] Year
Conference Paper
KS Trivedi, and A Bobbio. "DSN 2016 Tutorial: Reliability and Availability Modeling in Practice." In Proceedings 46th Annual Ieee/Ifip International Conference on Dependable Systems and Networks, Dsn W 2016. 2016.
K Goševa-Popstojanova, and K Trivedi. "Effects of failure correlation on software in operation." In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 69-76. Vol. 2000-January. 2000.
JM Martinez, KS Trivedi, and BN Cheng. "Efficient computation of the mean time to security failure in cyber physical systems." In Valuetools 2016 10th Eai International Conference on Performance Evaluation Methodologies and Tools, 109-115. 2017.
F Qin, Z Zheng, X Li, Y Qiao, and KS Trivedi. "An empirical investigation of fault triggers in android operating system." In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 135-144. 2017.
P Vizarreta, K Trivedi, B Helvik, P Heegaard, W Kellerer, and CM MacHuca. "An empirical study of software reliability in SDN controllers." In 2017 13th International Conference on Network and Service Management, Cnsm 2017, 1-9. Vol. 2018-January. 2018.
R Pietrantuono, S Russo, and K Trivedi. "Emulating environment-dependent software faults." In Proceedings 1st International Workshop on Complex Faults and Failures in Large Software Systems, Coufless 2015, 34-40. 2015.
R Pinciroli, A Bobbio, C Bolchini, D Cerotti, M Gribaudo, A Miele, and K Trivedi. "Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip." In 2017 2nd International Conference on System Reliability and Safety, Icsrs 2017, 516-520. Vol. 2018-January. 2018.
G Xiao, Z Zheng, B Yin, KS Trivedi, X Du, and K Cai. "Experience Report: Fault Triggers in Linux Operating System: From Evolution Perspective." In Proceedings International Symposium on Software Reliability Engineering, Issre, 101-111. Vol. 2017-October. 2017.
LA Tomek, and KS Trivedi. "Fixed Point Iteration in Availability Modeling." In Fault Tolerant Computing Systems, 229-240. Vol. 283. 1991.
S Ramani, K Goševa-Popstojanova, and KS Trivedi. "A framework for performability modeling of messaging services in distributed systems." In Proceedings of the Ieee International Conference on Engineering of Complex Computer Systems, Iceccs, 25-34. Vol. 2002-January. 2002.
KS Trivedi, A Puliafito, and D Logothetis. "From stochastic Petri nets to Markov regenerative stochastic Petri nets." In Proceedings Ieee Computer Society'S Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, Mascots, 194-198. 1995.
KS Trivedi, and VG Kulkarni. "FSPNs: Fluid stochastic petri nets." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 24-31. Vol. 691 LNCS. 1993.
KS Trivedi, and VG Kulkarni. "FSPNs: Fluid Stochastic Petri Nets." In Application and Theory of Petri Nets, 24-31. Vol. 691. 1993.
Y Liu, and KS Trivedi. "A General Framework for Network Survivability Quantification." In Mmb, 369-378. 2004.
JK Muppala, and KS Trivedi. "GSPM models: sensitivity analysis and applications." In Acm Southeast Regional Conference, 25-33. 1990.
JK Muppala, and KS Trivedi. "GSPN Models: Sensitivity analysis and applications." In Proceedings 28th Annual Southeast Regional Conference, Acm Se 1990, 25-33. 1990.
RA Wagner, and KS Trivedi. "Hardware configuration selection through discretizing a continuous variable solution." In Proceedings of the 1980 International Symposium on Computer Performance Modelling, Measurement and Evaluation, Performance 1980, 127-142. 1980.
B Tuffin, and KS Trivedi. "Implementation of importance splitting techniques in stochastic petri net package." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 216-229. Vol. 1786. 2000.
B Tuffin, and KS Trivedi. "Implementation of Importance Splitting Techniques in Stochastic Petri Net Package." In Computer Performance Evaluation / TOOLS, 216-229. Vol. 1786. 2000.
SS Gokhale, PN Marinos, and KS Trivedi. "Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.
T Luo, and KS Trivedi. "An improved multiple variable inversion algorithm for reliability calculation." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 180-192. Vol. 1469. 1998.
T Luo, and KS Trivedi. "An Improved Multiple Variable Inversion Algorithm for Reliability Calculation." In Computer Performance Evaluation (Tools), 180-192. Vol. 1469. 1998.
C-Y Wang, and KS Trivedi. "Integration of Specification for Modeling and Specification for System Design." In Application and Theory of Petri Nets, 473-492. Vol. 691. 1993.
CY Wang, and KS Trivedi. "Integration of specification for modeling and specification for system design." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 473-492. Vol. 691 LNCS. 1993.
R Geist, and KS Trivedi. "The Integration of User Perception in the Heterogeneous M/M/2 Queue." In Performance, 203-216. 1983.

Pages