Publications

2024

Qin, F., Z. Zheng, Y. Sui, S. Gong, Z. Shi, and K. S. Trivedi. “Cross-project concurrency bug prediction using domain-adversarial neural network (Accepted).” Journal of Systems and Software 214 (August 1, 2024). https://doi.org/10.1016/j.jss.2024.112077.

Trivedi, K., and A. Bobbio. “Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems.” Computer 57, no. 4 (April 1, 2024): 82–92. https://doi.org/10.1109/MC.2023.3329751.

Trivedi, K. S., M. Grottke, and J. A. Lopez. “Rethinking Software Fault Tolerance.” IEEE Transactions on Reliability 73, no. 1 (March 1, 2024): 67–72. https://doi.org/10.1109/TR.2023.3330787.

Trivedi, K. “Reliability and Availability Assessment.” In IEEE Transactions on Reliability, 73:17–18, 2024. https://doi.org/10.1109/TR.2023.3330776.

2023

Bai, J., Y. Li, X. Chang, F. Machida, and K. S. Trivedi. “Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View.” IEEE Transactions on Cloud Computing 11, no. 4 (October 1, 2023): 3367–80. https://doi.org/10.1109/TCC.2023.3286894.

Bai, J., X. Chang, F. Machida, L. Jiang, Z. Han, and K. S. Trivedi. “Impact of Service Function Aging on the Dependability for MEC Service Function Chain.” IEEE Transactions on Dependable and Secure Computing 20, no. 4 (July 1, 2023): 2811–24. https://doi.org/10.1109/TDSC.2022.3150782.

Zheng, Z., L. Strigini, N. Antunes, and K. Trivedi. “Editorial: Software Reliability and Dependability Engineering.” IEEE Transactions on Dependable and Secure Computing 20, no. 4 (July 1, 2023): 2674–76. https://doi.org/10.1109/TDSC.2022.3224261.

Bai, J., X. Chang, F. MacHida, K. S. Trivedi, and Y. Li. “Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT.” IEEE Transactions on Services Computing 16, no. 4 (July 1, 2023): 2769–85. https://doi.org/10.1109/TSC.2023.3241430.

Grottke, M., A. Avritzer, H. Washizaki, and K. Trivedi. “Guest Editorial Special Section on Applied Software Aging and Rejuvenation.” IEEE Transactions on Emerging Topics in Computing 11, no. 3 (July 1, 2023): 550–52. https://doi.org/10.1109/TETC.2023.3299150.

Bai, J., X. Chang, R. J. Rodriguez, K. S. Trivedi, and S. Li. “Towards UAV-Based MEC Service Chain Resilience Evaluation: A Quantitative Modeling Approach.” IEEE Transactions on Vehicular Technology 72, no. 4 (April 1, 2023): 5181–94. https://doi.org/10.1109/TVT.2022.3225564.

Okamura, H., J. Zheng, T. Dohi, and K. S. Trivedi. “Effect of Epistemic Uncertainty in Markovian Reliability Models.” In Springer Series in Reliability Engineering, 371–92, 2023. https://doi.org/10.1007/978-3-031-02063-6_22.

2022

Du, X., Z. Zheng, G. Xiao, Z. Zhou, and K. S. Trivedi. “DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification.” IEEE Transactions on Reliability 71, no. 4 (December 1, 2022): 1540–54. https://doi.org/10.1109/TR.2021.3110096.

Bai, J., X. Chang, F. Machida, Z. Han, Y. Xu, and K. S. Trivedi. “Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective.” Peer-to-Peer Networking and Applications 15, no. 4 (July 1, 2022): 1923–38. https://doi.org/10.1007/s12083-022-01329-0.

Grottke, M., and K. S. Trivedi. “Aging, Fast and Slow.” Computer 55, no. 5 (May 1, 2022): 73–75. https://doi.org/10.1109/MC.2021.3133121.

Bai, J., X. Chang, G. Ning, Z. Zhang, and K. S. Trivedi. “Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach.” IEEE Transactions on Cloud Computing 10, no. 3 (January 1, 2022): 2118–30. https://doi.org/10.1109/TCC.2020.3028648.

Chang, X., Y. Shi, Z. Zhang, Z. Xu, and K. S. Trivedi. “Job Completion Time Under Migration-Based Dynamic Platform Technique.” IEEE Transactions on Services Computing 15, no. 3 (January 1, 2022): 1345–57. https://doi.org/10.1109/TSC.2020.2989215.

2021

Ma, X., and K. S. Trivedi. “SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services.” IEEE Transactions on Network and Service Management 18, no. 3 (September 1, 2021): 2672–86. https://doi.org/10.1109/TNSM.2021.3069206.

Qiu, K., Z. Zheng, K. S. Trivedi, and I. Mura. “Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods.” IEEE Transactions on Reliability 70, no. 3 (September 1, 2021): 1126–42. https://doi.org/10.1109/TR.2020.3023032.

Zheng, J., H. Okamura, T. Dohi, and K. S. Trivedi. “Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals.” IEEE Transactions on Reliability 70, no. 2 (June 1, 2021): 547–62. https://doi.org/10.1109/TR.2020.3026570.

Bai, J., X. Chang, K. S. Trivedi, and Z. Han. “Resilience-Driven Quantitative Analysis of Vehicle Platooning Service.” IEEE Transactions on Vehicular Technology 70, no. 6 (June 1, 2021): 5378–89. https://doi.org/10.1109/TVT.2021.3077118.

Vizarreta, P., C. Sieber, A. Blenk, A. Van Bemten, V. Ramachandra, W. Kellerer, C. Mas-Machuca, and K. Trivedi. “ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks.” IEEE Transactions on Network and Service Management 18, no. 2 (June 1, 2021): 1389–1400. https://doi.org/10.1109/TNSM.2020.3030589.

Cai, K. Y., K. S. Trivedi, and B. Yin. “S-ADA: Software as an Autonomous, Dependable and Affordable System.” In Proceedings - 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2021, 17–18, 2021. https://doi.org/10.1109/DSN-S52858.2021.00019.

Dos Santos, C. A. R., R. Matias, and K. S. Trivedi. “A Multisite Characterization Study on Failure Causes in System and Applications Software.” In Brazilian Symposium on Computing System Engineering, SBESC, Vol. 2021-November, 2021. https://doi.org/10.1109/SBESC53686.2021.9628276.

Liu, B., A. Bobbio, J. Bai, J. Martinez, X. Chang, and K. S. Trivedi. “Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack.” In Proceedings - Annual Reliability and Maintainability Symposium, Vol. 2021-May, 2021. https://doi.org/10.1109/RAMS48097.2021.9605723.

Entezari-Maleki, R., M. Gharib, S. Rezaei, K. S. Trivedi, and A. Movaghar. “Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs.” IEEE Transactions on Network Science and Engineering 8, no. 1 (January 1, 2021): 662–79. https://doi.org/10.1109/TNSE.2020.3048096.