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.

Fricks, R. W. B., H. H. Tseng, M. Pajic, and K. S. Trivedi. “Transient performance & availability modeling in high volume outpatient clinics.” In Proceedings Annual Reliability and Maintainability Symposium, 2017. https://doi.org/10.1109/RAM.2017.7889777.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

Sukhwani, Harish, Javier Alonso, Kishor S. Trivedi, and Issac 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, 3:386–97, 2016. https://doi.org/10.1109/qrs.2016.50.