Publications

2017

Fricks, R. B., and K. S. Trivedi. “Automated life cycle processing for complex medical imaging devices.” In Proceedings Annual Reliability and Maintainability Symposium, 2017. https://doi.org/10.1109/RAM.2017.7889693.

Li, X., X. Chang, J. A. Board, and K. S. Trivedi. “A novel approach for software vulnerability classification.” In Proceedings Annual Reliability and Maintainability Symposium, 2017. https://doi.org/10.1109/RAM.2017.7889792.

Kim, D. S., J. B. Hong, T. A. Nguyen, F. Machida, J. S. Park, and K. S. Trivedi. “Availability modeling and analysis of a virtualized system using stochastic reward nets.” In Proceedings 2016 16th IEEE International Conference on Computer and Information Technology CIT 2016 2016 6th International Symposium on Cloud and Service Computing IEEE Sc2 2016 and 2016 International Symposium on Security and Privacy in Social Networks and Big Data Socialsec 2016, 210–18, 2017. https://doi.org/10.1109/CIT.2016.97.

Ma, X., G. Kanelopoulos, and K. S. 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–64, 2017. https://doi.org/10.1109/ICCNC.2017.7876244.

Li, W., X. Ma, J. Wu, K. S. Trivedi, X. L. 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 (March 1, 2017): 1926–39. https://doi.org/10.1109/TVT.2016.2580571.

Matos, R., J. Dantas, J. Araujo, K. S. Trivedi, and P. Maciel. “Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis.” Journal of Grid Computing 15, no. 1 (March 1, 2017): 1–22. https://doi.org/10.1007/s10723-016-9381-z.

Longo, F., R. Ghosh, V. K. Naik, A. J. Rindos, and K. S. Trivedi. “An approach for resiliency quantification of large scale systems.” In Performance Evaluation Review, 44:37–48, 2017. https://doi.org/10.1145/3092819.3092825.

Ghosh, R., F. Longo, V. K. Naik, A. J. Rindos, and K. S. Trivedi. “Resiliency quantification for large scale systems: An IaaS cloud use case.” In Valuetools 2016 10th Eai International Conference on Performance Evaluation Methodologies and Tools, 227–34, 2017. https://doi.org/10.4108/eai.25-10-2016.2266805.

Martinez, J. M., K. S. Trivedi, and B. N. 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–15, 2017. https://doi.org/10.4108/eai.25-10-2016.2266825.

Pinciroli, R., K. S. Trivedi, and A. Bobbio. “Parametric sensitivity and uncertainty propagation in dependability models.” In Valuetools 2016 10th Eai International Conference on Performance Evaluation Methodologies and Tools, 44–51, 2017. https://doi.org/10.4108/eai.25-10-2016.2266529.

2016

Chang, X., Z. Zhang, X. Li, and K. S. Trivedi. “Model-Based Survivability Analysis of a Virtualized System.” In Proceedings Conference on Local Computer Networks LCN, 611–14, 2016. https://doi.org/10.1109/LCN.2016.104.

Matias, R., G. O. De Sena, A. Andrzejak, and K. S. 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. https://doi.org/10.1109/ISSREW.2016.44.

Ratliff, Z. B., D. R. Kuhn, R. N. Kacker, Y. Lei, and K. S. 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–24, 2016. https://doi.org/10.1109/ISSREW.2016.26.

Ning, G., J. Zhao, Y. Lou, J. Alonso, R. Matias, K. S. Trivedi, B. B. Yin, and K. Y. Cai. “Optimization of two-granularity software rejuvenation policy based on the markov regenerative process.” IEEE Transactions on Reliability 65, no. 4 (December 1, 2016): 1630–46. https://doi.org/10.1109/TR.2016.2570539.

Koziolek, A., A. Avritzer, S. Suresh, D. S. Menasché, M. Diniz, E. de Souza e Silva, R. M. Leão, K. Trivedi, and L. Happe. “Assessing survivability to support power grid investment decisions.” Reliability Engineering and System Safety 155 (November 1, 2016): 30–43. https://doi.org/10.1016/j.ress.2016.05.015.

Trivedi, K. S., 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, 263, 2016. https://doi.org/10.1109/DSN-W.2016.51.

Trivedi, K. S. Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2016. https://doi.org/10.1002/9781119285441.

Dharmaraja, S., R. Vinayak, and K. S. Trivedi. “Reliability and survivability of vehicular ad hoc networks: An analytical approach.” Reliability Engineering and System Safety 153 (September 1, 2016): 28–38. https://doi.org/10.1016/j.ress.2016.04.004.

Fricks, R. B., and K. S. Trivedi. “Analysis methods for performance & availability in critical care medicine.” In Proceedings Annual Reliability and Maintainability Symposium, Vol. 2016-April, 2016. https://doi.org/10.1109/RAMS.2016.7448059.

Fricks, R. B., A. Bobbio, and K. S. Trivedi. “Reliability models of chronic kidney disease.” In Proceedings Annual Reliability and Maintainability Symposium, Vol. 2016-April, 2016. https://doi.org/10.1109/RAMS.2016.7448058.

Grottke, M., D. S. Kim, R. Mansharamani, M. Nambiar, R. Natella, and K. S. Trivedi. “Recovery from Software Failures Caused by Mandelbugs.” IEEE Transactions on Reliability 65, no. 1 (March 1, 2016): 70–87. https://doi.org/10.1109/TR.2015.2452933.

Trivedi, K. S., 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 (March 1, 2016): 27–43.

Xia, R., 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–78, 2016. https://doi.org/10.1109/PRDC.2015.15.

Ma, X., 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, 9669:149–62, 2016. https://doi.org/10.1007/978-3-319-38921-9_16.

Trivedi, K. S. “Survivability quantification for networks.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9951 LNCS:XI–XII, 2016.