Publications

Found 728 results
Type [ Year(Desc)]
2015
R Matos, J Araujo, D Oliveira, P Maciel, and K Trivedi. "Sensitivity analysis of a hierarchical model of mobile cloud computing." Simulation Modelling Practice and Theory 50 (2015): 151-164.
KS Trivedi, CJ Chung, T Xing, D Huang, and D Medhi. "SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment.", 4-11. 2015.
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.
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.
A Avritzer, DS Menasche, K Trivedi, L Happe, and SS Sarvestani. "Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)." In Proceedings of the International Conference on Dependable Systems and Networks, 565-566. Vol. 2015-September. 2015.
2016
RB Fricks, and KS Trivedi. "Analysis methods for performance & availability in critical care medicine." In Proceedings - Annual Reliability and Maintainability Symposium. Vol. 2016-April. 2016.
A Koziolek, A Avritzer, S Suresh, DS Menasche, M Diniz, de Souza e E Silva, RM Leão, K Trivedi, and L Happe. "Assessing survivability to support power grid investment decisions." Reliability Engineering and System Safety 155 (2016): 30-43.
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.
KS Trivedi, D Controneo, R Pietrantuono, and S Russo. "How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation." Journal of Systems and Software 113, no. March 2016 (2016): 27-43.
X Chang, Z Zhang, X Li, and KS Trivedi. "Model-Based Survivability Analysis of a Virtualized System." In Proceedings - Conference on Local Computer Networks, LCN, 611-614. 2016.
X Ma, G Butron, and K Trivedi. "Modeling of VANET for BSM safety messaging at intersections with non-homogeneous node distribution." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 149-162. Vol. 9669. 2016.
G Ning, J Zhao, Y Lou, J Alonso, R Matias, KS Trivedi, BB Yin, and KY Cai. "Optimization of two-granularity software rejuvenation policy based on the markov regenerative process." IEEE Transactions on Reliability 65, no. 4 (2016): 1630-1646.
KS Trivedi. Probability and Statistics with Reliability, Queuing and Computer Science Applications., 2016.
M Grottke, DS Kim, R Mansharamani, M Nambiar, R Natella, and KS Trivedi. "Recovery from Software Failures Caused by Mandelbugs." IEEE Transactions on Reliability 65, no. 1 (2016): 70-87.
ZB Ratliff, DR Kuhn, RN Kacker, Y Lei, and KS Trivedi. "The Relationship between Software Bug Type and Number of Factors Involved in Failures." In Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016, 119-124. 2016.
X Ma, and KS Trivedi. "Reliability and performance of general two-dimensional broadcast wireless network." Performance Evaluation 95 (2016): 41-59.
S Dharmaraja, R Vinayak, and KS Trivedi. "Reliability and survivability of vehicular ad hoc networks: An analytical approach." Reliability Engineering and System Safety 153 (2016): 28-38.
RB Fricks, A Bobbio, and KS Trivedi. "Reliability models of chronic kidney disease." In Proceedings - Annual Reliability and Maintainability Symposium. Vol. 2016-April. 2016.
R Xia, F Machida, and K Trivedi. "A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes." In Proceedings - 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing, PRDC 2015, 169-178. 2016.
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.
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.
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.
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.
2017
W Li, X Ma, J Wu, KS Trivedi, XL Huang, and Q Liu. "Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services." IEEE Transactions on Vehicular Technology 66, no. 3 (2017): 1926-1939.
X Ma, G Kanelopoulos, and KS Trivedi. "Application-level scheme to enhance VANET event-driven multi-hop safety-related services." In 2017 International Conference on Computing, Networking and Communications, ICNC 2017, 860-864. 2017.

Pages