(FSE'24, CCF-A) Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, and Yixiang Chen, Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?, In Proceedings of ACM SIGSOFT Symposium on the Foundation of Software Engineering (FSE), Accepted, 2024.

 (ISSTA'24, CCF-A) Maoyi Xie, Ming Hu*, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, and Yang Liu, DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications, In Proceedings of International Symposium on Software Testing and Analysis (ISSTA), Accepted, 2024.

 (DAC'24, CCF-A) Chentao Jia, Ming Hu*, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, and Mingsong Chen*, AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems, In Proceedings of Design Automation Conference (DAC), Accepted, 2024.

 (IUI'24, CCF-B) Liming Nie, and Kabir Sulaiman Said*, Ming Hu*, SoK: An Exhaustive Taxonomy of Display Issues for Mobile Applications, In Proceedings of ACM International Conference on Intelligent User Interfaces (IUI), 537-548, 2024.

 (ICASSP'24, CCF-B) Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, and Geguang Pu, Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches, In Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 5985-5989, 2024.

 (AAAI'24, CCF-A) Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, and Yang Liu, Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models, In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 38(19), 21169-21178, 2024.

 (AAAI'24, CCF-A) Ming Hu, Yue Cao, Anran Li, Zhiming Li, Chengwei Liu, Tianlin Li, Mingsong Chen, and Yang Liu, FedMut: Generalized Federated Learning via Stochastic Mutation, In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 38(11), 12528-12537, 2024. (Oral)

 (ICDE'24, CCF-A) Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Anran Li, Yang Liu, Xiang Lian, and Mingsong Chen, FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation, In Proceedings of IEEE International Conference on Data Engineering (ICDE), Accepted, 2024.

 (RTSS'23, CCF-A) Ming Hu, Zeke Xia, Dengke Yan, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, and Mingsong Chen, GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning using Version Control, In Proceedings of IEEE Real-Time Systems Symposium (RTSS), 145-157, 2023.

 (MM'23, CCF-A) Zhihao Yue, Jun Xia, Zhiwei Ling, Ming Hu, Ting Wang, Xian Wei, Mingsong Chen, Model-Contrastive Learning for Backdoor Elimination. ACM Multimedia, 8869-8880, 2023.

 (TCAD'23, CCF-A) Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, and Mingsong Chen, Automated Synthesis of Safe Timing Behaviors for Requirements Models using CCSL. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 42(12), 5127-5140, 2023.

 (TCAD'23, CCF-A) Ming Hu, E Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, and Mingsong Chen, AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 42(11), 3545-3558, 2023.

 (TC'23, CCF-A) Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, and Mingsong Chen, Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Transactions on Computers (TC), 72(5): 1431-1446, 2023.

 (DAC'22, CCF-A) Jun Xia, Ming Hu, Xin Chen, and Mingsong Chen. Accelerated synthesis of neural network-based barrier certificates using collaborative learning. In Proceedings of Design Automation Conference (DAC), 1201–1206, 2022.

 (RTSS'21, CCF-A) Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, and Mingsong Chen. 2021. Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), 227-239, 2021.

 (TCAD'21, CCF-A) Xinqian Zhang, Ming Hu, Jun Xia, Tongquan Wei, Mingsong Chen, and Shiyan Hu, Efficient Federated Learning for Cloud-Based AIoT Applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 40(11): 2211-2223, 2021.

 (JCSC'21, SCI) Tian Liu, Yunfei Song, Ming Hu, Jun Xia, Jianning Zhang, and Mingsong Chen, An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks. Journal of Circuits, Systems and Computers, 30(2): 2150025:1-2150025:16, 2021.

 (JOS'21, Chinese-list CCF-A) Mingli Shao, E Cao, Ming Hu, Yue Zhang, Wenjie Chen, and Mingsong Chen. Traffic Light Optimization Control Method for Priority Vehicle Awareness. Journal of Software, 32(8): 2425-2438, 2021. (in Chinese)

 (TCAD'20, CCF-A) Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, and Mingsong Chen: Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 39(11): 4006-4017, 2020.

 (TR'20, SCI) Haifeng Gu, Jianning Zhang, Tian Liu, Ming Hu, Junlong Zhou, Tongquan Wei, and Mingsong Chen, DIAVA: A Traffic-Based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data, IEEE Transactions on Reliability, 69(1): 188-202, 2020.

 (JCRD'20, Chinese-list CCF-A) Wenxue Duan, Ming Hu, Qiong Zhou, Tingming Wu, Junlong Zhou, Xiao Liu, Tongquan Wei, and Mingsong Chen. Reliability in Cloud Computing System: A Review. Journal of Computer Research and Development 57(1):102-123, 2020. (in Chinese)

 (DAC'19, CCF-A) Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, and Mingsong Chen. Sample-Guided Automated Synthesis for CCSL Specifications. In Proceedings of Design Automation Conference (DAC). 98: 1–6, 2019.