Zuohua Ding

169 papers A* 3A 4B 12C 11Misc 6Journal 89Unranked 44
YearRankTypeTitle / Venue / Authors
2026 B ed.
Engineering of Complex Computer Systems - 29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings
ICECCS
Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding, Yang Liu
2026 J jnl
MiniEval: Automated detection of compliance violations and quantitative privacy risk assessment in MiniApps.
Inf. Softw. Technol.
Dongming Xiang, Lingfeng Jin, Shichao Wu, Wang Lin, Zuohua Ding
2025 — conf
A Cloud Native Tool for Testing Automation in Kubernetes.
ISSTA Companion
Suqiong Zhang, Dongyi Fan, Lili He, Wang Lin, Zuohua Ding
2025 B conf
A Q-Learning-Driven Multi-crossover NSGA-II Framework for Energy-Efficient Hybrid Flow Shop Scheduling.
ICECCS
Jiale Wang, Mingyue Jiang, HongYun Huang, Rui Xie, Zuohua Ding
2025 J jnl
A fine-grained approach for Android taint analysis based on labeled taint value graphs.
Comput. Secur.
Dongming Xiang, Shuai Lin, Ke Huang, Zuohua Ding, Guanjun Liu, Xiaofeng Li
2025 — conf
Abstractive Model for Enhanced Text Summarization Through Contrastive Learning to Boost T5 Representations.
ICIC (10)
Xiangbin Lv, HongYun Huang, Zuohua Ding
2025 J jnl
Alleviating class imbalance in Feature Envy prediction: An oversampling technique based on code entity attributes.
Inf. Softw. Technol.
Jiamin Guo, Yangyang Zhao, Tao Zheng, Zhifei Chen, Mingyue Jiang, Zuohua Ding
2025 — conf
BERT-CHAB: Hierarchical Context Fusion with Adaptive Boundary Detection for Robust Chinese Named Entity Recognition in Noisy Social Media.
ICIC (24)
Haoxuan Wang, Zuohua Ding, HongYun Huang
2025 — conf
BERTFAN: Multi-Layer Feature Fusion and Data Augmentation for Sentiment Analysis.
ICIC (23)
Feilong Wang, Zuohua Ding, HongYun Huang
2025 B conf
Be More Focused: A Key Information-Aware Framework with Text Reconstruction for Multi-Span Question Answering.
IJCNN
Lingai Jiang, Zuohua Ding
2025 B conf
CONTAST: Graph Embedding Based Fault Localization Integrating AST and Context-Awareness.
ICECCS
Haodong He, Tingting Wu, Qi Jin, Zuohua Ding
2025 J jnl
Causality-aware Safety Testing for Autonomous Driving Systems.
CoRR
Wenbing Tang, Mingfei Cheng, Renzhi Wang, Yuan Zhou, Chengwei Liu, Yang Liu, Zuohua Ding
2025 J jnl
Cross-Domain Multi-Label Prediction of Metamorphic Relation Patterns Leveraging Multimodal Features.
J. Electron. Test.
Zhenqiu Li, Tingting Wu, Sihui Chen, Mingyue Jiang, Zuohua Ding, Yunwei Dong
2025 J jnl
Data-driven barrier certificate generation using deep learning and symbolic regression.
J. Syst. Archit.
Xiaoxuan Ma, Xiongqi Zhang, Ning Lv, Xiuqing Cao, Wang Lin, Zuohua Ding
2025 J jnl
Detecting Information Leakage Against Chinese Wall Policy Based on the Unfolding Technique of Colored Petri Nets.
IEEE Trans. Comput. Soc. Syst.
Hanqian Tu, Dongming Xiang, Zuohua Ding, Guanjun Liu
2025 J jnl
Dissecting Code Features: An Evolutionary Analysis of Kernel Versus Nonkernel Code in Operating Systems.
J. Softw. Evol. Process.
Yangyang Zhao, Chenglin Li, Zhifei Chen, Zuohua Ding
2025 J jnl
Embedding dynamic graph attention mechanism into Clinical Knowledge Graph for enhanced diagnostic accuracy.
Expert Syst. Appl.
Deng Chen, Weiwei Zhang, Zuohua Ding
2025 A* conf
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network.
AAAI
Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding
2025 J jnl
Formal Synthesis of Neural Barrier Certificates for Dynamical Systems via DC Programming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yang Wang, Hanlong Chen, Wang Lin, Zuohua Ding
2025 A* conf
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates.
IJCAI
Xiongqi Zhang, Ning Lv, Wang Lin, Zuohua Ding
2025 J jnl
Formal Synthesis of Safety Controllers via $k$-Inductive Control Barrier Certificates.
IEEE Trans. Reliab.
Tianxiang Ren, Wang Lin, Zuohua Ding
2025 — conf
HFLD: A Secure and Scalable Hybrid Framework for Intelligent V2X Communications in Next-Generation Wireless Networks.
QRS Companion
Sangsha Fang, Fakhar Abbas, Tao Deng, Mehboob Hussain, Zuohua Ding
2025 — conf
Large Language Models for Online Log Parsing in AIOps.
ICDAR (3)
Suqiong Zhang, Dongyi Fan, Yi Liu, Lili He, Zuohua Ding
2025 J jnl
Recurrent Convex Difference Neural Networks for Safety-Critical Model Predictive Control.
IEEE Robotics Autom. Lett.
Hanlong Chen, Yang Wang, Wang Lin, Zuohua Ding
2025 J jnl
ReinSeed: Reinforcement Fuzz Testing With Multiphase Seed Optimization for Autonomous Driving Systems.
IET Softw.
Qi Jin, Tingting Wu, Yunwei Dong, Zuohua Ding, Yongkui Xu
2025 J jnl
Tacco: A Framework for Ensuring the Security of Real-World TEEs via Formal Verification.
IEEE Trans. Dependable Secur. Comput.
Jilin Hu, Yongwang Zhao, Shuangquan Pan, Zuohua Ding, Kui Ren
2025 B conf
Towards Adaptive Multi-Object Fuzzing: A Map-Aware Reinforcement Approach for Autonomous Driving Systems.
ICPADS
Qi Jin, Tingting Wu, Zuohua Ding, Yongkui Xu, Yunwei Dong
2025 C conf
Trustworthy Vision in Fog: Enhancing Detection Quality and System Reliability for Autonomous Driving.
QRS
Litao Ruan, Zuohua Ding, HongYun Huang
2024 — conf
A Simple and Effective Span Interaction Modeling Method for Enhancing Multiple Span Question Answering.
NLPCC (1)
Yingying Zhang, Zhiyi Luo, Zuohua Ding
2024 J jnl
A source model simplification method to assist model transformation debugging.
Softw. Qual. J.
Junpeng Jiang, Mingyue Jiang, Liming Nie, Zuohua Ding
2024 J jnl
An empirical study of attack-related events in DeFi projects development.
Empir. Softw. Eng.
Dongming Xiang, Yuanchang Lin, Liming Nie, Yaowen Zheng, Zhengzi Xu, Zuohua Ding, Yang Liu
2024 J jnl
Causal deconfounding deep reinforcement learning for mobile robot motion planning.
Knowl. Based Syst.
Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He
2024 J jnl
Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems.
IEEE Trans. Ind. Informatics
Wenbing Tang, Jing Liu, Yuan Zhou, Zuohua Ding
2024 J jnl
DDImage: an image reduction based approach for automatically explaining black-box classifiers.
Empir. Softw. Eng.
Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding
2024 J jnl
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.
IEEE Trans. Syst. Man Cybern. Syst.
Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding
2024 J jnl
Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding
2024 J jnl
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems.
Proc. ACM Softw. Eng.
Xiaoyan Zhu, Mingyue Jiang, Xiao-Yi Zhang, Liming Nie, Zuohua Ding
2024 J jnl
Model-based diversity-driven learn-to-rank test case prioritization.
Expert Syst. Appl.
Ting Shu, Zhanxiang He, Xuesong Yin, Zuohua Ding, MengChu Zhou
2024 — conf
Multi-scale Attention Convolutional Network and Reinforcement Learning for Flexible Job Shop Scheduling.
ICONIP (2)
Yanqi Cui, HongYun Huang, Yonglong Ni, Zuohua Ding
2024 B conf
NBWAB: A Model for Text Sentiment Analysis With BERT and ChatGPT.
IJCNN
Xiaolei Wang, HongYun Huang, Zuohua Ding
2024 B conf
PEM: A Medical Named Entity Recognition Method Based on Proximity Enhancement.
IJCNN
Mei Liu, HongYun Huang, Zuohua Ding
2024 J jnl
Resource scheduling optimization for industrial operating system using deep reinforcement learning and WOA algorithm.
Expert Syst. Appl.
Ting Shu, Zhijie Pan, Zuohua Ding, Zhangqing Zu
2024 J jnl
Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.
IEEE Trans. Inf. Forensics Secur.
Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu
2024 J jnl
Robust motion planning for mobile robots under attacks against obstacle localization.
Robotica
Fenghua Wu, Wenbing Tang, Yuan Zhou, Shang-wei Lin, Zuohua Ding, Yang Liu
2024 — conf
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning.
HSCC
Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding
2024 J jnl
Towards an understanding of intra-defect associations: Implications for defect prediction.
J. Syst. Softw.
Yangyang Zhao, Mingyue Jiang, Yibiao Yang, Yuming Zhou, Hanjie Ma, Zuohua Ding
2023 — conf
A Parsing-Based Approach for Constructing Executable EFSM.
ISSSR
Zhijie Pan, Ting Shu, Zuohua Ding
2023 J jnl
A software-defined MAPE-K architecture for unmanned systems.
Sci. China Inf. Sci.
Mingyue Jiang, Libin Zheng, Zuohua Ding, Zhi Jin
2023 J jnl
Automated GUI widgets classification.
Frontiers Comput. Sci.
Kabir S. Said, Liming Nie, Yuanchang Lin, Yaowen Zheng, Zuohua Ding
2023 A conf
Automated Image Reduction for Explaining Black-box Classifiers.
SANER
Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding
2023 J jnl
Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning.
Inf. Softw. Technol.
Ting Shu, Cuiping Wu, Zuohua Ding
2023 J jnl
Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.
Robotica
Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding
2023 J jnl
Formal synthesis of neural Craig interpolant via counterexample guided deep learning.
Inf. Softw. Technol.
Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding
2023 J jnl
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.
IEEE Robotics Autom. Lett.
Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He
2023 A conf
Investigating the Impact of Bug Dependencies on Bug-Fixing Time Prediction.
ESEM
Chenglin Li, Yangyang Zhao, Yibiao Yang, Yuming Zhou, Liming Nie, Zuohua Ding
2023 J jnl
Metamorphic Testing of Relation Extraction Models.
Algorithms
Yuhe Sun, Zuohua Ding, HongYun Huang, Senhao Zou, Mingyue Jiang
2023 J jnl
Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure.
ACM Trans. Priv. Secur.
Jian Hou, Jing Wang, Mingyue Zhang, Zhi Jin, Chunlin Wei, Zuohua Ding
2022 — conf
A Categorical Modelling Framework for Multi-robot Systems in Manufacturing.
DSA
Huihui Zhou, Wang Lin, Zuohua Ding
2022 A conf
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.
ISSRE
Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding
2022 C conf
An Exploratory Study for GUI Posts on Stack Overflow.
QRS
Jing Ding, Liming Nie, Yang Liu, Zuohua Ding, Jifeng Xuan
2022 J jnl
DEPICTER: A Design-Principle Guided and Heuristic-Rule Constrained Software Refactoring Approach.
IEEE Trans. Reliab.
Yangyang Zhao, Yibiao Yang, Yuming Zhou, Zuohua Ding
2022 J jnl
DPWord2Vec: Better Representation of Design Patterns in Semantics.
IEEE Trans. Software Eng.
Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding
2022 — conf
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.
DSA
Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding
2022 J jnl
PTSG: a test generation tool based on extended finite state machine.
CoRR
Zhijie Pan, Ting Shu, Zuohua Ding
2022 J jnl
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming.
J. Syst. Sci. Complex.
Wang Lin, Zhengfeng Yang, Zuohua Ding
2021 J jnl
A Dynamic Multi-Swarm Particle Swarm Optimization With Global Detection Mechanism.
Int. J. Cogn. Informatics Nat. Intell.
Bo Wei, Yichao Tang, Xiao Jin, Mingfeng Jiang, Zuohua Ding, Yanrong Huang
2021 J jnl
A Learn-to-Rank Method for Model-Based Regression Test Case Prioritization.
IEEE Access
Yechao Huang, Ting Shu, Zuohua Ding
2021 J jnl
Accelerator Virtualization Framework Based on Inter-VM Exitless Communication.
Int. J. Softw. Informatics
Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen
2021 A conf
Evaluating Natural Language Inference Models: A Metamorphic Testing Approach.
ISSRE
Mingyue Jiang, Houzhen Bao, Kaiyi Tu, Xiao-Yi Zhang, Zuohua Ding
2021 J jnl
Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search.
Inf. Softw. Technol.
Ting Shu, Yechao Huang, Zuohua Ding, Jinsong Xia, Mingyue Jiang
2021 J jnl
Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations.
IEEE Trans. Reliab.
Mingyue Jiang, Tsong Yueh Chen, Zhi Quan Zhou, Zuohua Ding
2021 J jnl
Novel self-adjusted particle swarm optimization algorithm for feature selection.
Computing
Bo Wei, Xuan Wang, Xuewen Xia, Mingfeng Jiang, Zuohua Ding, Yanrong Huang
2021 — conf
Wall-Following Navigation for Mobile Robot Based on Random Forest and Genetic Algorithm.
ICIC (2)
Peipei Wu, Menglin Fang, Zuohua Ding
2020 J jnl
A distributed method to avoid higher-order deadlocks in multi-robot systems.
Autom.
Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
2020 J jnl
Evolving Suspiciousness Metrics From Hybrid Data Set for Boosting a Spectrum Based Fault Localization.
IEEE Access
Adekunle Akinjobi Ajibode, Ting Shu, Zuohua Ding
2020 J jnl
Fault Localization With Weighted Test Model in Model Transformations.
IEEE Access
Pengfei Li, Mingyue Jiang, Zuohua Ding
2020 Misc conf
Metamorphic Testing of Code Search Engines.
TASE
Zuohua Ding, Qingfen Zhang, Mingyue Jiang
2020 J jnl
Path planning for intelligent robots based on deep Q-learning with experience replay and heuristic knowledge.
IEEE CAA J. Autom. Sinica
Lan Jiang, HongYun Huang, Zuohua Ding
2020 A* conf
Privacy-Aware UAV Flights through Self-Configuring Motion Planning.
ICRA
Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou, Yang Liu
2020 Misc conf
Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic.
TASE
Yao Li, Wenbing Tang, Bochen Chen, Zuohua Ding
2019 — conf
A Fault Localization Method Based on Dynamic Failed Execution Blocks.
SOFL+MSVL
Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang
2019 J jnl
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
2019 J jnl
A Spammer Identification Method for Class Imbalanced Weibo Datasets.
IEEE Access
Wenbing Tang, Zuohua Ding, MengChu Zhou
2019 J jnl
AADL+: a simulation-based methodology for cyber-physical systems.
Frontiers Comput. Sci.
Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
2019 — conf
Designing and Implementing Mobile Robot Navigation Based on Behavioral Programming.
ICIC (1)
Zuohua Ding, Bing Liu, Haibang Xia
2019 — conf
Dynamic Algorithm Selection for Mobile Robots Motion Planning.
DSA
Wenbing Tang, Libin Zheng, Mingyue Jiang, Zuohua Ding
2019 J jnl
Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model.
IEEE Access
HongYun Huang, Mingyue Jiang, Zuohua Ding, MengChu Zhou
2019 J jnl
Group Information Based Nonlinear Consensus for Multi-Agent Systems.
IEEE Access
Jian Hou, Mengfan Xiang, Zuohua Ding
2019 — conf
Metamorphic Testing in Fault Localization of Model Transformations.
SOFL+MSVL
Keke Du, Mingyue Jiang, Zuohua Ding, HongYun Huang, Ting Shu
2019 J jnl
用于软件缺陷预测的集成模型 (Ensemble Model for Software Defect Prediction).
计算机科学
Mengyuan Hu, HongYun Huang, Zuohua Ding
2018 J jnl
A distributed approach to robust control of multi-robot systems.
Autom.
Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
2018 — conf
Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.
ISSRE Workshops
Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang
2018 J jnl
Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets.
IEEE Trans. Fuzzy Syst.
Zuohua Ding, Yuan Zhou, MengChu Zhou
2018 J jnl
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.
IEEE Trans. Reliab.
Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou
2018 — conf
Software Bug Localization Based on Key Range Invariants.
SATE
Lin Ma, Zuohua Ding
2017 — conf
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair.
MET@ICSE
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno
2017 J jnl
A metamorphic testing approach for supporting program repair without the need for a test oracle.
J. Syst. Softw.
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zuohua Ding
2017 J jnl
A software cybernetics approach to self-tuning performance of on-line transaction processing systems.
J. Syst. Softw.
Zuohua Ding, Zhijie Wei, Haibo Chen
2017 J jnl
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.
IEEE Trans. Syst. Man Cybern. Syst.
Yuan Zhou, Hesuan Hu, Yang Liu, Zuohua Ding
2017 J jnl
Detecting Bugs of Concurrent Programs With Program Invariants.
IEEE Trans. Reliab.
Rong Wang, Zuohua Ding, Ning Gui, Yang Liu
2017 — conf
REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart.
QRS Companion
Zuohua Ding, Tiantian Shuai, Mingyue Jiang
2016 J jnl
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences.
Inf. Sci.
Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia
2016 — conf
Detecting Bugs of Concurrent Programs with Program Invariants.
QRS Companion
Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu
2016 J jnl
Fault localization based on statement frequency.
Inf. Sci.
Ting Shu, Tiantian Ye, Zuohua Ding, Jinsong Xia
2016 J jnl
Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks.
IEEE Trans. Intell. Transp. Syst.
Zuohua Ding, Mingyue Jiang, MengChu Zhou
2016 J jnl
Modeling Self-Adaptive Software Systems With Learning Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Zuohua Ding, Yuan Zhou, MengChu Zhou
2016 J jnl
Online Prediction and Improvement of Reliability for Service Oriented Systems.
IEEE Trans. Reliab.
Zuohua Ding, Ting Xu, Tiantian Ye, Yuan Zhou
2016 J jnl
Petri net based test case generation for evolved specification.
Sci. China Inf. Sci.
Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, MengChu Zhou
2016 C conf
Port based software architecture and its analysis.
SERA
HongYun Huang, Zuohua Ding
2015 J jnl
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Zuohua Ding, Yuan Zhou, Mingyue Jiang, MengChu Zhou
2015 J jnl
A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations.
IEEE Trans Autom. Sci. Eng.
Zuohua Ding, Yuan Zhou, MengChu Zhou
2015 — conf
Formal modeling and verification of secure mobile agent systems.
CASE
Mingyue Jiang, Zuohua Ding, MengChu Zhou, Yuan Zhou
2015 J jnl
Modeling and analysis of interactive telemedicine systems.
Innov. Syst. Softw. Eng.
Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He
2014 J jnl
A Public-Key Cryptosystem Based On Stochastic Petri Net.
J. Softw.
Zuohua Ding, Hui Zhou, Hui Shen, Qi-Wei Ge
2014 J jnl
Locating Software Faults Based on Control Flow and Data Dependence.
J. Comput.
Chenghui Hu, Zuohua Ding
2014 — conf
Modeling self-adaptive software systems with learning petri nets.
ICSE Companion
Zuohua Ding, Yuan Zhou, MengChu Zhou
2014 J jnl
Online reliability computing of composite services based on program invariants.
Inf. Sci.
Zuohua Ding, Mei-Hwa Chen, Xiaoxue Li
2014 J jnl
Ordinary Differential Equation-Based Deadlock Detection.
IEEE Trans. Syst. Man Cybern. Syst.
Zuohua Ding, MengChu Zhou, Shouguang Wang
2014 — conf
Self-tuning Performance of Database Systems with Neural Network.
ICIC (1)
Conghuan Zheng, Zuohua Ding, Jueliang Hu
2014 — conf
Self-tuning performance of database systems based on fuzzy rules.
FSKD
Zhijie Wei, Zuohua Ding, Jueliang Hu
2014 J jnl
Stability Analysis of Switched Fuzzy Systems Via Model Checking.
IEEE Trans. Fuzzy Syst.
Zuohua Ding, Yuan Zhou, MengChu Zhou
2014 C conf
Testing Model Transformation Programs using Metamorphic Testing.
SEKE
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zhi Quan Zhou, Zuohua Ding
2013 J jnl
Hybrid MARTE statecharts.
Frontiers Comput. Sci.
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
2013 J jnl
Hypergraph partitioning for the parallel computing of fuzzy differential equations.
Fuzzy Sets Syst.
Zuohua Ding, Hui Shen, Abraham Kandel
2013 J jnl
Petri Net Representation of Switched Fuzzy Systems.
IEEE Trans. Fuzzy Syst.
Zuohua Ding, Jiaying Ma, Abraham Kandel
2013 — conf
Schedulability Analysis with CCSL Specifications.
APSEC (1)
Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone
2013 B conf
Spatio-temporal Properties Analysis for Cyber-physical Systems.
ICECCS
Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
2013 Misc conf
Unified Modeling of Active and Reactive Components for Real-Time Systems.
TASE
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
2012 — conf
Behavior Analysis of Software Systems Based on Petri Net Slicing.
ICIC (1)
Jiaying Ma, Wei Han, Zuohua Ding
2012 J jnl
Checking system boundedness using ordinary differential equations.
Inf. Sci.
Zuohua Ding, Hui Shen, Qi-Wei Ge
2012 C conf
Modeling and Analysis of Switched Fuzzy Systems.
SEKE
Zuohua Ding, Jiaying Ma
2012 J jnl
Parallel computation of continuous Petri nets based on hypergraph partitioning.
J. Supercomput.
Zuohua Ding, Hui Shen, Jianwen Cao
2012 J jnl
Port-Based Reliability Computing for Service Composition.
IEEE Trans. Serv. Comput.
Zuohua Ding, Mingyue Jiang, Abraham Kandel
2012 J jnl
Service Selection Based On Behavior Matching.
J. Softw.
Mingyue Jiang, Zuohua Ding, Jing Liu
2012 B conf
Spatio-temporal UML Statechart for Cyber-Physical Systems.
ICECCS
Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding
2011 C conf
Automation of test case generation from textual use cases.
ICIS
Mingyue Jiang, Zuohua Ding
2011 — conf
From textual use cases to service component models.
PESOS@ICSE
Zuohua Ding, Mingyue Jiang, Jens Palsberg
2011 B conf
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets.
PaCT
Zuohua Ding, Hui Shen, Jianwen Cao
2011 Misc conf
Modeling and Prototyping Business Processes in AutoPA.
TASE
Ling Yin, Jing Liu, Zuohua Ding
2011 C conf
On Constructing Software Environment Ontology for Time-Continuous Environment.
KSEM
Xiaohong Chen, Jing Liu, Zuohua Ding
2011 J jnl
Performance Analysis of Service Composition Based on Fuzzy Differential Equations.
IEEE Trans. Fuzzy Syst.
Zuohua Ding, Hui Shen, Abraham Kandel
2010 — conf
Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition.
ICIC (1)
Zuohua Ding, Hui Shen
2010 C conf
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition.
ICFEM
Zuohua Ding, Hui Shen, Jing Liu
2010 C conf
Automatically Testing Web Services Choreography with Assertions.
ICFEM
Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding
2010 — conf
Modeling and Verification of an Automatic Train Protection System.
COMPSAC Workshops
Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding
2010 — conf
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.
QSIC
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu
2009 — conf
Design and Verification of a Trustable Medical System.
TTSS
Xijiao Xiong, Jing Liu, Zuohua Ding
2009 Misc conf
Measuring the Survivability of Object-Oriented Software.
TASE
Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin
2009 — conf
Model Checking Service Component Composition by SPIN.
ACIS-ICIS
Zuohua Ding, Mingyue Jiang, Jing Liu
2009 — conf
Modelling and Verification of Port Based Component Composition.
QSIC
Zuohua Ding, Mingyue Jiang
2009 B conf
Modelling and Verification of Web Navigation.
ICWE
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders
2009 — conf
Path-Based Approach to Integration Testing.
SSIRI
Jueliang Hu, Zuohua Ding, Geguang Pu
2009 — conf
Port Based Reliability Computing for Service Composition.
IEEE SCC
Zuohua Ding, Mingyue Jiang
2009 — conf
Rebuilding Web Application Requirements Based on User Navigation.
NCM
Zuohua Ding, Mingyue Jiang
2009 — conf
Reliability Computing for Service Composition.
SSIRI
Zuohua Ding, Mingyue Jiang
2009 C conf
Static Analysis of Concurrent Programs Using Ordinary Differential Equations.
ICTAC
Zuohua Ding
2009 — conf
Test Case Generation of Concurrent Programs Based on Event Graph.
NCM
Xiaoan Bao, Na Zhang, Zuohua Ding
2009 Misc conf
Test Data Generation for Derived Types in C Program.
TASE
Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu
2009 — conf
Towards the Verification of Services Collaboration.
COMPSAC (2)
Yue Xie, Dehui Du, Jing Liu, Zuohua Ding
2008 J jnl
A rigorous approach towards test case generation.
Inf. Sci.
Zuohua Ding, Kao Zhang, Jueliang Hu
2008 — conf
An Improvement of Software Architecture Verification.
TTSS
Zuohua Ding, Jing Liu
2008 J jnl
Formal architectural models for agent-based service systems.
Int. J. Comput. Appl. Technol.
Zuohua Ding, Jianming Dong, Wei Han
2008 B conf
Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.
COMPSAC
Zuohua Ding, Kao Zhang
2008 — conf
Performance Analysis of Service Composition Using Ordinary Differential Equations.
FTDCS
Zuohua Ding, Lujuan Xiao, Jueliang Hu
2007 — conf
A Rigorous Model of Service Component Architecture.
TTSS
Zuohua Ding, Zhenbang Chen, Jing Liu
2006 C conf
A Formal Architectural Model For Mobile Service Systems.
SEKE
Zuohua Ding
2006 J jnl
Fuzzy timed Petri nets - analysis and implementation.
Math. Comput. Model.
Zuohua Ding, Horst Bunke, Oscar Kipersztok, Moti Schneider, Abraham Kandel
2005 J jnl
Fuzzy timed petri net definitions, properties, and applications.
Math. Comput. Model.
Zuohua Ding, Horst Bunke, Moti Schneider, Abraham Kandel
1997 J jnl
Existence of the Solutions of Fuzzy Differential Equations with Parameters.
Inf. Sci.
Zuohua Ding, Ming Ma, Abraham Kandel