Existence of the Solutions of Fuzzy Differential Equations with Parameters. - Zuohua Ding; Ming Ma 001; Abraham Kandel (Inf. Sci., 1997)

Fuzzy timed petri net definitions, properties, and applications. - Zuohua Ding; Horst Bunke; Moti Schneider; Abraham Kandel (Math. Comput. Model., 2005)

A Formal Architectural Model For Mobile Service Systems. - Zuohua Ding (SEKE, 2006)

Fuzzy timed Petri nets - analysis and implementation. - Zuohua Ding; Horst Bunke; Oscar Kipersztok; Moti Schneider; Abraham Kandel (Math. Comput. Model., 2006)

A Rigorous Model of Service Component Architecture. - Zuohua Ding; Zhenbang Chen; Jing Liu 012 (TTSS, 2007)

Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. - Zuohua Ding; Kao Zhang (COMPSAC, 2008)

Performance Analysis of Service Composition Using Ordinary Differential Equations. - Zuohua Ding; Lujuan Xiao; Jueliang Hu (FTDCS, 2008)

An Improvement of Software Architecture Verification. - Zuohua Ding; Jing Liu 012 (TTSS, 2008)

Formal architectural models for agent-based service systems. - Zuohua Ding; Jianming Dong; Wei Han (Int. J. Comput. Appl. Technol., 2008)

A rigorous approach towards test case generation. - Zuohua Ding; Kao Zhang; Jueliang Hu (Inf. Sci., 2008)

Model Checking Service Component Composition by SPIN. - Zuohua Ding; Mingyue Jiang; Jing Liu 012 (ACIS-ICIS, 2009)

Port Based Reliability Computing for Service Composition. - Zuohua Ding; Mingyue Jiang (IEEE SCC, 2009)

Towards the Verification of Services Collaboration. - Yue Xie; Dehui Du; Jing Liu 012; Zuohua Ding (COMPSAC (2), 2009)

Static Analysis of Concurrent Programs Using Ordinary Differential Equations. - Zuohua Ding (ICTAC, 2009)

Modelling and Verification of Web Navigation. - Zuohua Ding; Mingyue Jiang; Geguang Pu; Jeff W. Sanders (ICWE, 2009)

Test Case Generation of Concurrent Programs Based on Event Graph. - Xiaoan Bao; Na Zhang 002; Zuohua Ding (NCM, 2009)

Rebuilding Web Application Requirements Based on User Navigation. - Zuohua Ding; Mingyue Jiang (NCM, 2009)

Modelling and Verification of Port Based Component Composition. - Zuohua Ding; Mingyue Jiang (QSIC, 2009)

Reliability Computing for Service Composition. - Zuohua Ding; Mingyue Jiang (SSIRI, 2009)

Path-Based Approach to Integration Testing. - Jueliang Hu; Zuohua Ding; Geguang Pu (SSIRI, 2009)

Measuring the Survivability of Object-Oriented Software. - Jueliang Hu; Zuohua Ding; Jing Liu 012; Ling Yin 002 (TASE, 2009)

Test Data Generation for Derived Types in C Program. - Zheng Wang 005; Xiao Yu; Tao Sun; Geguang Pu; Zuohua Ding; Jueliang Hu (TASE, 2009)

Design and Verification of a Trustable Medical System. - Xijiao Xiong; Jing Liu 012; Zuohua Ding (TTSS, 2009)

Modeling and Verification of an Automatic Train Protection System. - Xijiao Xiong; Jing Liu 012; Miaomiao Zhang 003; Zuohua Ding (COMPSAC Workshops, 2010)

Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. - Zuohua Ding; Hui Shen; Jing Liu 012 (ICFEM, 2010)

Automatically Testing Web Services Choreography with Assertions. - Lei Zhou 007; Jing Ping; Hao Xiao; Zheng Wang 005; Geguang Pu; Zuohua Ding (ICFEM, 2010)

Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition. - Zuohua Ding; Hui Shen (ICIC (1), 2010)

Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. - Zuohua Ding; Mingyue Jiang; Geguang Pu; Jing Liu 012 (QSIC, 2010)

From textual use cases to service component models. - Zuohua Ding; Mingyue Jiang; Jens Palsberg (PESOS@ICSE, 2011)

Automation of test case generation from textual use cases. - Mingyue Jiang; Zuohua Ding (ICIS, 2011)

On Constructing Software Environment Ontology for Time-Continuous Environment. - Xiaohong Chen 007; Jing Liu 012; Zuohua Ding (KSEM, 2011)

Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets. - Zuohua Ding; Hui Shen; Jianwen Cao 001 (PaCT, 2011)

Modeling and Prototyping Business Processes in AutoPA. - Ling Yin 002; Jing Liu 012; Zuohua Ding (TASE, 2011)

Performance Analysis of Service Composition Based on Fuzzy Differential Equations. - Zuohua Ding; Hui Shen; Abraham Kandel (IEEE Trans. Fuzzy Syst., 2011)

Spatio-temporal UML Statechart for Cyber-Physical Systems. - Ziwei Liu; Jing Liu 012; Jifeng He 001; Zuohua Ding (ICECCS, 2012)

Behavior Analysis of Software Systems Based on Petri Net Slicing. - Jiaying Ma; Wei Han; Zuohua Ding (ICIC (1), 2012)

Modeling and Analysis of Switched Fuzzy Systems. - Zuohua Ding; Jiaying Ma (SEKE, 2012)

Checking system boundedness using ordinary differential equations. - Zuohua Ding; Hui Shen; Qi-Wei Ge (Inf. Sci., 2012)

Service Selection Based On Behavior Matching. - Mingyue Jiang; Zuohua Ding; Jing Liu 012 (J. Softw., 2012)

Parallel computation of continuous Petri nets based on hypergraph partitioning. - Zuohua Ding; Hui Shen; Jianwen Cao 001 (J. Supercomput., 2012)

Port-Based Reliability Computing for Service Composition. - Zuohua Ding; Mingyue Jiang; Abraham Kandel (IEEE Trans. Serv. Comput., 2012)

Schedulability Analysis with CCSL Specifications. - Ling Yin 002; Jing Liu 012; Zuohua Ding; Frédéric Mallet; Robert de Simone (APSEC (1), 2013)

Spatio-temporal Properties Analysis for Cyber-physical Systems. - Zhucheng Shao; Jing Liu 012; Zuohua Ding; Mingsong Chen 001; Ningkang Jiang (ICECCS, 2013)

Unified Modeling of Active and Reactive Components for Real-Time Systems. - Zhucheng Shao; Jing Liu 012; Xiaohong Chen 007; Zuohua Ding; Zhengheng Yuan (TASE, 2013)

Hybrid MARTE statecharts. - Jing Liu 012; Ziwei Liu; Jifeng He 001; Frédéric Mallet; Zuohua Ding (Frontiers Comput. Sci., 2013)

Hypergraph partitioning for the parallel computing of fuzzy differential equations. - Zuohua Ding; Hui Shen; Abraham Kandel (Fuzzy Sets Syst., 2013)

Petri Net Representation of Switched Fuzzy Systems. - Zuohua Ding; Jiaying Ma; Abraham Kandel (IEEE Trans. Fuzzy Syst., 2013)

Self-tuning performance of database systems based on fuzzy rules. - Zhijie Wei; Zuohua Ding; Jueliang Hu (FSKD, 2014)

Self-tuning Performance of Database Systems with Neural Network. - Conghuan Zheng; Zuohua Ding; Jueliang Hu (ICIC (1), 2014)

Testing Model Transformation Programs using Metamorphic Testing. - Mingyue Jiang; Tsong Yueh Chen; Fei-Ching Kuo; Zhi Quan Zhou 001; Zuohua Ding (SEKE, 2014)

Online reliability computing of composite services based on program invariants. - Zuohua Ding; Mei-Hwa Chen; Xiaoxue Li (Inf. Sci., 2014)

Locating Software Faults Based on Control Flow and Data Dependence. - Chenghui Hu; Zuohua Ding (J. Comput., 2014)

A Public-Key Cryptosystem Based On Stochastic Petri Net. - Zuohua Ding; Hui Zhou; Hui Shen; Qi-Wei Ge (J. Softw., 2014)

Stability Analysis of Switched Fuzzy Systems Via Model Checking. - Zuohua Ding; Yuan Zhou 005; MengChu Zhou (IEEE Trans. Fuzzy Syst., 2014)

Ordinary Differential Equation-Based Deadlock Detection. - Zuohua Ding; MengChu Zhou; ShouGuang Wang (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Formal modeling and verification of secure mobile agent systems. - Mingyue Jiang; Zuohua Ding; Mengchu Zhou; Yuan Zhou 005 (CASE, 2015)

Modeling Fault Tolerated Mobile Agents by Colored Petri Nets. - Shao-zhen Zhang; Zuo-hua Ding; Jueliang Hu (ICIC (3), 2015)

Modeling and analysis of interactive telemedicine systems. - Jing Liu 012; Xijiao Xiong; Zuohua Ding; Jifeng He 001 (Innov. Syst. Softw. Eng., 2015)

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations. - Zuohua Ding; Yuan Zhou 005; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2015)

A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. - Zuohua Ding; Yuan Zhou 005; Mingyue Jiang; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Detecting Bugs of Concurrent Programs with Program Invariants. - Zuohua Ding; Rong Wang; Jueliang Hu; Yang Liu 003 (QRS Companion, 2016)

Port based software architecture and its analysis. - Hongyun Huang; Zuohua Ding (SERA, 2016)

Petri net based test case generation for evolved specification. - Zuohua Ding; Mingyue Jiang; Haibo Chen 001; Zhi Jin; Mengchu Zhou (Sci. China Inf. Sci., 2016)

A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. - Ting Shu; Zuohua Ding; Mei-Hwa Chen; Jinsong Xia (Inf. Sci., 2016)

Fault localization based on statement frequency. - Ting Shu; Tiantian Ye; Zuohua Ding; Jinsong Xia (Inf. Sci., 2016)

Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks. - Zuohua Ding; Mingyue Jiang; MengChu Zhou (IEEE Trans. Intell. Transp. Syst., 2016)

Online Prediction and Improvement of Reliability for Service Oriented Systems. - Zuohua Ding; Ting Xu; Tiantian Ye; Yuan Zhou 005 (IEEE Trans. Reliab., 2016)

Modeling Self-Adaptive Software Systems With Learning Petri Nets. - Zuohua Ding; Yuan Zhou 005; Mengchu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2016)

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 (MET@ICSE, 2017)

REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart. - Zuohua Ding; Tiantian Shuai; Mingyue Jiang (QRS Companion, 2017)

A software cybernetics approach to self-tuning performance of on-line transaction processing systems. - Zuohua Ding; Zhijie Wei; Haibo Chen 001 (J. Syst. Softw., 2017)

A metamorphic testing approach for supporting program repair without the need for a test oracle. - Mingyue Jiang; Tsong Yueh Chen; Fei-Ching Kuo; Dave Towey; Zuohua Ding (J. Syst. Softw., 2017)

Detecting Bugs of Concurrent Programs With Program Invariants. - Rong Wang; Zuohua Ding; Ning Gui; Yang Liu 003 (IEEE Trans. Reliab., 2017)

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components. - Zuohua Ding; Wenjie Jiang; Mingyue Jiang; Zhi Jin; He Jiang 001 (ISSRE Workshops, 2018)

Software Bug Localization Based on Key Range Invariants. - Lin Ma; Zuohua Ding (SATE, 2018)

A distributed approach to robust control of multi-robot systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (Autom., 2018)

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets. - Zuohua Ding; Yuan Zhou 005; Mengchu Zhou (IEEE Trans. Fuzzy Syst., 2018)

Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. - Zuohua Ding; Yuan Zhou 005; Geguang Pu; MengChu Zhou (IEEE Trans. Reliab., 2018)

Dynamic Algorithm Selection for Mobile Robots Motion Planning. - Wenbing Tang 001; Libin Zheng; Mingyue Jiang; Zuohua Ding (DSA, 2019)

Designing and Implementing Mobile Robot Navigation Based on Behavioral Programming. - Zuohua Ding; Bing Liu; Haibang Xia (ICIC (1), 2019)

Metamorphic Testing in Fault Localization of Model Transformations. - Keke Du; Mingyue Jiang; Zuohua Ding; Hongyun Huang; Ting Shu (SOFL+MSVL, 2019)

A Fault Localization Method Based on Dynamic Failed Execution Blocks. - Baoyi Pan; Ting Shu; Jinsong Xia; Zuohua Ding; Mingyue Jiang (SOFL+MSVL, 2019)

Group Information Based Nonlinear Consensus for Multi-Agent Systems. - Jian Hou 002; Mengfan Xiang; Zuohua Ding (IEEE Access, 2019)

Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model. - Hongyun Huang; Mingyue Jiang; Zuohua Ding; Mengchu Zhou (IEEE Access, 2019)

A Spammer Identification Method for Class Imbalanced Weibo Datasets. - Wenbing Tang 001; Zuohua Ding; Mengchu Zhou (IEEE Access, 2019)

AADL+: a simulation-based methodology for cyber-physical systems. - Jing Liu 012; Tengfei Li 002; Zuohua Ding; Yuqing Qian; Haiying Sun; Jifeng He 001 (Frontiers Comput. Sci., 2019)

用于软件缺陷预测的集成模型 (Ensemble Model for Software Defect Prediction). - Mengyuan Hu; Hongyun Huang; Zuohua Ding (计算机科学, 2019)

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2019)

Privacy-Aware UAV Flights through Self-Configuring Motion Planning. - Yixing Luo; Yijun Yu; Zhi Jin; Yao Li 011; Zuohua Ding; Yuan Zhou 005; Yang Liu 003 (ICRA, 2020)

Metamorphic Testing of Code Search Engines. - Zuohua Ding; Qingfen Zhang; Mingyue Jiang (TASE, 2020)

Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic. - Yao Li 011; Wenbing Tang 001; Bochen Chen; Zuohua Ding (TASE, 2020)

Evolving Suspiciousness Metrics From Hybrid Data Set for Boosting a Spectrum Based Fault Localization. - Adekunle Akinjobi Ajibode; Ting Shu; Zuohua Ding (IEEE Access, 2020)

Fault Localization With Weighted Test Model in Model Transformations. - Pengfei Li; Mingyue Jiang; Zuohua Ding (IEEE Access, 2020)

A distributed method to avoid higher-order deadlocks in multi-robot systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (Autom., 2020)

Path planning for intelligent robots based on deep Q-learning with experience replay and heuristic knowledge. - Lan Jiang; Hongyun Huang; Zuohua Ding (IEEE CAA J. Autom. Sinica, 2020)

Wall-Following Navigation for Mobile Robot Based on Random Forest and Genetic Algorithm. - Peipei Wu; Menglin Fang; Zuohua Ding (ICIC (2), 2021)

Evaluating Natural Language Inference Models: A Metamorphic Testing Approach. - Mingyue Jiang; Houzhen Bao; Kaiyi Tu; Xiao-Yi Zhang 005; Zuohua Ding (ISSRE, 2021)

A Learn-to-Rank Method for Model-Based Regression Test Case Prioritization. - Yechao Huang; Ting Shu; Zuohua Ding (IEEE Access, 2021)

Novel self-adjusted particle swarm optimization algorithm for feature selection. - Bo Wei 004; Xuan Wang; Xuewen Xia; Mingfeng Jiang; Zuohua Ding; Yanrong Huang (Computing, 2021)

A Dynamic Multi-Swarm Particle Swarm Optimization With Global Detection Mechanism. - Bo Wei 004; Yichao Tang; Xiao Jin; Mingfeng Jiang; Zuohua Ding; Yanrong Huang (Int. J. Cogn. Informatics Nat. Intell., 2021)

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. - Dingji Li; Zeyu Mi; Baodong Wu; Xun Chen; Yongwang Zhao; Zuohua Ding; Haibo Chen 001 (Int. J. Softw. Informatics, 2021)

Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search. - Ting Shu; Yechao Huang; Zuohua Ding; Jinsong Xia; Mingyue Jiang (Inf. Softw. Technol., 2021)

Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations. - Mingyue Jiang; Tsong Yueh Chen; Zhi Quan Zhou 001; Zuohua Ding (IEEE Trans. Reliab., 2021)

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. - Wang Lin; Mi Ding; Kaipeng Lin; Guoquan Mei; Zuohua Ding (DSA, 2022)

A Categorical Modelling Framework for Multi-robot Systems in Manufacturing. - Huihui Zhou; Wang Lin; Zuohua Ding (DSA, 2022)

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. - Mi Ding; Kaipeng Lin; Wang Lin; Zuohua Ding (ISSRE, 2022)

An Exploratory Study for GUI Posts on Stack Overflow. - Jing Ding; Liming Nie; Yang Liu 003; Zuohua Ding; Jifeng Xuan (QRS, 2022)

PTSG: a test generation tool based on extended finite state machine. - Zhijie Pan; Ting Shu; Zuohua Ding (CoRR, 2022)

Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. - Wang Lin; Zhengfeng Yang; Zuohua Ding (J. Syst. Sci. Complex., 2022)

DEPICTER: A Design-Principle Guided and Heuristic-Rule Constrained Software Refactoring Approach. - Yangyang Zhao; Yibiao Yang; Yuming Zhou; Zuohua Ding (IEEE Trans. Reliab., 2022)

DPWord2Vec: Better Representation of Design Patterns in Semantics. - Dong Liu 025; He Jiang 001; Xiaochen Li; Zhilei Ren; Lei Qiao 002; Zuohua Ding (IEEE Trans. Software Eng., 2022)

Investigating the Impact of Bug Dependencies on Bug-Fixing Time Prediction. - Chenglin Li; Yangyang Zhao; Yibiao Yang; Yuming Zhou; Liming Nie; Zuohua Ding (ESEM, 2023)

A Parsing-Based Approach for Constructing Executable EFSM. - Zhijie Pan; Ting Shu; Zuohua Ding (ISSSR, 2023)

Automated Image Reduction for Explaining Black-box Classifiers. - Mingyue Jiang; Chengjian Tang; Xiao-Yi Zhang 005; Yangyang Zhao; Zuohua Ding (SANER, 2023)

Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning. - Ting Shu; Cuiping Wu; Zuohua Ding (Inf. Softw. Technol., 2023)

Metamorphic Testing of Relation Extraction Models. - Yuhe Sun; Zuohua Ding; Hongyun Huang; Senhao Zou; Mingyue Jiang (Algorithms, 2023)

Automated GUI widgets classification. - Kabir S. Said; Liming Nie; Yuanchang Lin; Yaowen Zheng; Zuohua Ding (Frontiers Comput. Sci., 2023)

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles. - Wenbing Tang 001; Yuan Zhou 005; Tianwei Zhang 004; Yang Liu 003; Jing Liu 012; Zuohua Ding (Robotica, 2023)

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. - Wenbing Tang 001; Yuan Zhou 005; Haiying Sun; Yuhong Zhang; Yang Liu 003; Zuohua Ding; Jing Liu 012; Jifeng He 001 (IEEE Robotics Autom. Lett., 2023)

A software-defined MAPE-K architecture for unmanned systems. - Mingyue Jiang; Libin Zheng; Zuohua Ding; Zhi Jin (Sci. China Inf. Sci., 2023)

Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure. - Jian Hou 002; Jing Wang 219; Mingyue Zhang 002; Zhi Jin; Chunlin Wei; Zuohua Ding (ACM Trans. Priv. Secur., 2023)

Formal synthesis of neural Craig interpolant via counterexample guided deep learning. - Wang Lin; Mi Ding; Kaipeng Lin; Zuohua Ding (Inf. Softw. Technol., 2023)

Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. - Chaomin Jin; Xiaoxuan Ma; Tianxiang Ren; Wang Lin; Zuohua Ding (HSCC, 2024)

Multi-scale Attention Convolutional Network and Reinforcement Learning for Flexible Job Shop Scheduling. - Yanqi Cui; Hongyun Huang; Yonglong Ni; Zuohua Ding (ICONIP (2), 2024)

PEM: A Medical Named Entity Recognition Method Based on Proximity Enhancement. - Mei Liu; Hongyun Huang; Zuohua Ding (IJCNN, 2024)

NBWAB: A Model for Text Sentiment Analysis With BERT and ChatGPT. - Xiaolei Wang; Hongyun Huang; Zuohua Ding (IJCNN, 2024)

A Simple and Effective Span Interaction Modeling Method for Enhancing Multiple Span Question Answering. - Yingying Zhang; Zhiyi Luo; Zuohua Ding (NLPCC (1), 2024)

Model-based diversity-driven learn-to-rank test case prioritization. - Ting Shu; Zhanxiang He; Xuesong Yin; Zuohua Ding; Mengchu Zhou (Expert Syst. Appl., 2024)

Resource scheduling optimization for industrial operating system using deep reinforcement learning and WOA algorithm. - Ting Shu; Zhijie Pan; Zuohua Ding; Zhangqing Zu (Expert Syst. Appl., 2024)

Causal deconfounding deep reinforcement learning for mobile robot motion planning. - Wenbing Tang 001; Fenghua Wu; Shang-wei Lin; Zuohua Ding; Jing Liu 012; Yang Liu 003; Jifeng He 001 (Knowl. Based Syst., 2024)

MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems. - Xiaoyan Zhu; Mingyue Jiang; Xiao-Yi Zhang 005; Liming Nie; Zuohua Ding (Proc. ACM Softw. Eng., 2024)

Robust motion planning for mobile robots under attacks against obstacle localization. - Fenghua Wu; Wenbing Tang 001; Yuan Zhou 005; Shang-wei Lin; Zuohua Ding; Yang Liu 003 (Robotica, 2024)

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks. - Wenbing Tang 001; Yuan Zhou 005; Yang Liu 003; Zuohua Ding; Jing Liu 012 (IEEE Trans. Inf. Forensics Secur., 2024)

Towards an understanding of intra-defect associations: Implications for defect prediction. - Yangyang Zhao; Mingyue Jiang; Yibiao Yang; Yuming Zhou; Hanjie Ma; Zuohua Ding (J. Syst. Softw., 2024)

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. - Yuan Zhou 005; Hesuan Hu; Gelei Deng; Kun Cheng; Shang-Wei Lin 001; Yang Liu 003; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems. - Wenbing Tang 001; Jing Liu 012; Yuan Zhou 005; Zuohua Ding (IEEE Trans. Ind. Informatics, 2024)

An empirical study of attack-related events in DeFi projects development. - Dongming Xiang; Yuanchang Lin; Liming Nie; Yaowen Zheng; Zhengzi Xu; Zuohua Ding; Yang Liu 003 (Empir. Softw. Eng., 2024)

Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion. - Mingze Ma; Jian Hou 002; Dongming Xiang; Wang Lin; Zuohua Ding (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

DDImage: an image reduction based approach for automatically explaining black-box classifiers. - Mingyue Jiang; Chengjian Tang; Xiao-Yi Zhang 005; Yangyang Zhao; Zuohua Ding (Empir. Softw. Eng., 2024)

A source model simplification method to assist model transformation debugging. - Junpeng Jiang; Mingyue Jiang; Liming Nie; Zuohua Ding (Softw. Qual. J., 2024)

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network. - Xiongqi Zhang; Junwei Xu; Yang Wang 156; Dongming Xiang; Wang Lin; Zuohua Ding (AAAI, 2025)

Abstractive Model for Enhanced Text Summarization Through Contrastive Learning to Boost T5 Representations. - Xiangbin Lv; Hongyun Huang; Zuohua Ding (ICIC (10), 2025)

BERTFAN: Multi-Layer Feature Fusion and Data Augmentation for Sentiment Analysis. - Feilong Wang; Zuohua Ding; Hongyun Huang (ICIC (23), 2025)

BERT-CHAB: Hierarchical Context Fusion with Adaptive Boundary Detection for Robust Chinese Named Entity Recognition in Noisy Social Media. - Haoxuan Wang; Zuohua Ding; Hongyun Huang (ICIC (24), 2025)

A Cloud Native Tool for Testing Automation in Kubernetes. - Suqiong Zhang; Dongyi Fan; Lili He; Wang Lin; Zuohua Ding (ISSTA Companion, 2025)

A fine-grained approach for Android taint analysis based on labeled taint value graphs. - Dongming Xiang; Shuai Lin; Ke Huang; Zuohua Ding; Guanjun Liu; Xiaofeng Li (Comput. Secur., 2025)

Embedding dynamic graph attention mechanism into Clinical Knowledge Graph for enhanced diagnostic accuracy. - Deng Chen; Weiwei Zhang 006; Zuohua Ding (Expert Syst. Appl., 2025)

Alleviating class imbalance in Feature Envy prediction: An oversampling technique based on code entity attributes. - Jiamin Guo; Yangyang Zhao; Tao Zheng; Zhifei Chen; Mingyue Jiang; Zuohua Ding (Inf. Softw. Technol., 2025)

Data-driven barrier certificate generation using deep learning and symbolic regression. - Xiaoxuan Ma; Xiongqi Zhang; Ning Lv; Xiuqing Cao; Wang Lin; Zuohua Ding (J. Syst. Archit., 2025)

Dissecting Code Features: An Evolutionary Analysis of Kernel Versus Nonkernel Code in Operating Systems. - Yangyang Zhao; Chenglin Li; Zhifei Chen; Zuohua Ding (J. Softw. Evol. Process., 2025)

Causality-aware Safety Testing for Autonomous Driving Systems. - Wenbing Tang 001; Mingfei Cheng; Renzhi Wang; Yuan Zhou 005; Chengwei Liu; Yang Liu 003; Zuohua Ding (CoRR, 2025)

Cross-Domain Multi-Label Prediction of Metamorphic Relation Patterns Leveraging Multimodal Features. - Zhenqiu Li; Tingting Wu; Sihui Chen; Mingyue Jiang; Zuohua Ding; Yunwei Dong (J. Electron. Test., 2025)

Recurrent Convex Difference Neural Networks for Safety-Critical Model Predictive Control. - Hanlong Chen; Yang Wang 156; Wang Lin; Zuohua Ding (IEEE Robotics Autom. Lett., 2025)

Formal Synthesis of Safety Controllers via $k$-Inductive Control Barrier Certificates. - Tianxiang Ren; Wang Lin; Zuohua Ding (IEEE Trans. Reliab., 2025)