| 2025 | AAAI | Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network. | Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding |
| 2025 | ICDAR | Large Language Models for Online Log Parsing in AIOps. | Suqiong Zhang, Dongyi Fan, Yi Liu, Lili He, Zuohua Ding |
| 2025 | ICECCS | CONTAST: Graph Embedding Based Fault Localization Integrating AST and Context-Awareness. | Haodong He, Tingting Wu, Qi Jin, Zuohua Ding |
| 2025 | ICECCS | A Q-Learning-Driven Multi-crossover NSGA-II Framework for Energy-Efficient Hybrid Flow Shop Scheduling. | Jiale Wang, Mingyue Jiang, Hongyun Huang, Rui Xie, Zuohua Ding |
| 2025 | ICPADS | Towards Adaptive Multi-Object Fuzzing: A Map-Aware Reinforcement Approach for Autonomous Driving Systems. | Qi Jin, Tingting Wu, Zuohua Ding, Yongkui Xu, Yunwei Dong |
| 2025 | IJCAI | Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates. | Xiongqi Zhang, Ning Lv, Wang Lin, Zuohua Ding |
| 2025 | IJCNN | Be More Focused: A Key Information-Aware Framework with Text Reconstruction for Multi-Span Question Answering. | Lingai Jiang, Zuohua Ding |
| 2025 | ISSTA | A Cloud Native Tool for Testing Automation in Kubernetes. | Suqiong Zhang, Dongyi Fan, Lili He, Wang Lin, Zuohua Ding |
| 2025 | QRS | HFLD: A Secure and Scalable Hybrid Framework for Intelligent V2X Communications in Next-Generation Wireless Networks. | Sangsha Fang, Fakhar Abbas, Tao Deng, Mehboob Hussain, Zuohua Ding |
| 2025 | QRS | Trustworthy Vision in Fog: Enhancing Detection Quality and System Reliability for Autonomous Driving. | Litao Ruan, Zuohua Ding, Hongyun Huang |
| 2024 | ICONIP | Multi-scale Attention Convolutional Network and Reinforcement Learning for Flexible Job Shop Scheduling. | Yanqi Cui, Hongyun Huang, Yonglong Ni, Zuohua Ding |
| 2024 | IJCNN | PEM: A Medical Named Entity Recognition Method Based on Proximity Enhancement. | Mei Liu, Hongyun Huang, Zuohua Ding |
| 2024 | IJCNN | NBWAB: A Model for Text Sentiment Analysis With BERT and ChatGPT. | Xiaolei Wang, Hongyun Huang, Zuohua Ding |
| 2023 | ESEM | Investigating the Impact of Bug Dependencies on Bug-Fixing Time Prediction. | Chenglin Li, Yangyang Zhao, Yibiao Yang, Yuming Zhou, Liming Nie, Zuohua Ding |
| 2022 | ISSRE | A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. | Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding |
| 2022 | QRS | An Exploratory Study for GUI Posts on Stack Overflow. | Jing Ding, Liming Nie, Yang Liu, Zuohua Ding, Jifeng Xuan |
| 2021 | ISSRE | Evaluating Natural Language Inference Models: A Metamorphic Testing Approach. | Mingyue Jiang, Houzhen Bao, Kaiyi Tu, Xiao-Yi Zhang, Zuohua Ding |
| 2020 | ICRA | Privacy-Aware UAV Flights through Self-Configuring Motion Planning. | Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou, Yang Liu |
| 2020 | TASE | Metamorphic Testing of Code Search Engines. | Zuohua Ding, Qingfen Zhang, Mingyue Jiang |
| 2020 | TASE | Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic. | Yao Li, Wenbing Tang, Bochen Chen, Zuohua Ding |
| 2018 | ISSRE | Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components. | Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang |
| 2017 | ICSE | A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair. | Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno |
| 2017 | QRS | REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart. | Zuohua Ding, Tiantian Shuai, Mingyue Jiang |
| 2016 | QRS | Detecting Bugs of Concurrent Programs with Program Invariants. | Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu |
| 2016 | SERA | Port based software architecture and its analysis. | Hongyun Huang, Zuohua Ding |
| 2014 | ICSE | Modeling self-adaptive software systems with learning petri nets. | Zuohua Ding, Yuan Zhou, MengChu Zhou |
| 2014 | SEKE | Testing Model Transformation Programs using Metamorphic Testing. | Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zhi Quan Zhou, Zuohua Ding |
| 2013 | APSEC | Schedulability Analysis with CCSL Specifications. | Ling Yin, Jing Liu, Zuohua Ding, Frdric Mallet, Robert de Simone |
| 2013 | ICECCS | Spatio-temporal Properties Analysis for Cyber-physical Systems. | Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang |
| 2013 | TASE | Unified Modeling of Active and Reactive Components for Real-Time Systems. | Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan |
| 2012 | ICECCS | Spatio-temporal UML Statechart for Cyber-Physical Systems. | Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding |
| 2012 | SEKE | Modeling and Analysis of Switched Fuzzy Systems. | Zuohua Ding, Jiaying Ma |
| 2011 | ICSE | From textual use cases to service component models. | Zuohua Ding, Mingyue Jiang, Jens Palsberg |
| 2011 | KSEM | On Constructing Software Environment Ontology for Time-Continuous Environment. | Xiaohong Chen, Jing Liu, Zuohua Ding |
| 2011 | PACT | Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets. | Zuohua Ding, Hui Shen, Jianwen Cao |
| 2011 | TASE | Modeling and Prototyping Business Processes in AutoPA. | Ling Yin, Jing Liu, Zuohua Ding |
| 2010 | COMPSAC | Modeling and Verification of an Automatic Train Protection System. | Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding |
| 2010 | ICFEM | Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. | Zuohua Ding, Hui Shen, Jing Liu |
| 2010 | ICFEM | Automatically Testing Web Services Choreography with Assertions. | Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
| 2009 | COMPSAC | Towards the Verification of Services Collaboration. | Yue Xie, Dehui Du, Jing Liu, Zuohua Ding |
| 2009 | ICTAC | Static Analysis of Concurrent Programs Using Ordinary Differential Equations. | Zuohua Ding |
| 2009 | ICWE | Modelling and Verification of Web Navigation. | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders |
| 2009 | TASE | Measuring the Survivability of Object-Oriented Software. | Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin |
| 2009 | TASE | Test Data Generation for Derived Types in C Program. | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
| 2008 | COMPSAC | Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. | Zuohua Ding, Kao Zhang |
| 2006 | SEKE | A Formal Architectural Model For Mobile Service Systems. | Zuohua Ding |