Publications

Found 728 results
[ Type(Desc)] Year
Conference Paper
KS Trivedi. "Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints." In Proceedings - International Symposium on Computer Architecture, 211-217. 1980.
H Szczerbicka, KS Trivedi, and PK Choudhary. "Discrete event simulation with application to computer communication systems performance - Introduction to simulation." In INFORMATION TECHNOLOGY: SELECTED TUTORIALS, 271-304. Vol. 157. 2004.
H Szczerbicka, KS Trivedi, and PK Choudhary. "Discrete event simulation with application to computer communication systems performance: Introduction to simulation." In Ifip Advances in Information and Communication Technology, 271-304. Vol. 157. 2004.
H Szczerbicka, KS Trivedi, and PK Choudhary. "Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation." In IFIP Congress Tutorials, 271-304. Vol. 157. 2004.
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.
CAR Dos Santos, R Matias, and KS Trivedi. "An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System." In Brazilian Symposium on Computing System Engineering, SBESC. Vol. 2019-November. 2019.
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. 2017.
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. 2017.
A Rindos, S Woolet, I Viniotis, and K Trivedi. "Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains." In COMPUTATIONS WITH MARKOV CHAINS, 121-133. 1995.
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 Application and Theory of Petri Nets, 24-31. Vol. 691. 1993.
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.
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 Computer Performance Evaluation / TOOLS, 216-229. Vol. 1786. 2000.
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.

Pages