default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZuohua Ding
Zuo-hua Ding
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j78]Dongming Xiang, Shuai Lin, Ke Huang, Zuohua Ding, Guanjun Liu, Xiaofeng Li:
A fine-grained approach for Android taint analysis based on labeled taint value graphs. Comput. Secur. 148: 104162 (2025)- [j77]Deng Chen, Weiwei Zhang
, Zuohua Ding:
Embedding dynamic graph attention mechanism into Clinical Knowledge Graph for enhanced diagnostic accuracy. Expert Syst. Appl. 267: 126215 (2025) - [j76]Jiamin Guo, Yangyang Zhao, Tao Zheng, Zhifei Chen, Mingyue Jiang, Zuohua Ding:
Alleviating class imbalance in Feature Envy prediction: An oversampling technique based on code entity attributes. Inf. Softw. Technol. 180: 107673 (2025) - [j75]Yangyang Zhao, Chenglin Li, Zhifei Chen, Zuohua Ding:
Dissecting Code Features: An Evolutionary Analysis of Kernel Versus Nonkernel Code in Operating Systems. J. Softw. Evol. Process. 37(1) (2025) - 2024
- [j74]Dongming Xiang, Yuanchang Lin, Liming Nie, Yaowen Zheng, Zhengzi Xu, Zuohua Ding, Yang Liu:
An empirical study of attack-related events in DeFi projects development. Empir. Softw. Eng. 29(2): 49 (2024) - [j73]Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding:
DDImage: an image reduction based approach for automatically explaining black-box classifiers. Empir. Softw. Eng. 29(5): 129 (2024) - [j72]Ting Shu, Zhijie Pan, Zuohua Ding, Zhangqing Zu:
Resource scheduling optimization for industrial operating system using deep reinforcement learning and WOA algorithm. Expert Syst. Appl. 255: 124765 (2024) - [j71]Ting Shu, Zhanxiang He, Xuesong Yin, Zuohua Ding, Mengchu Zhou:
Model-based diversity-driven learn-to-rank test case prioritization. Expert Syst. Appl. 255: 124768 (2024) - [j70]Yangyang Zhao, Mingyue Jiang, Yibiao Yang, Yuming Zhou, Hanjie Ma, Zuohua Ding:
Towards an understanding of intra-defect associations: Implications for defect prediction. J. Syst. Softw. 207: 111858 (2024) - [j69]Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He:
Causal deconfounding deep reinforcement learning for mobile robot motion planning. Knowl. Based Syst. 303: 112406 (2024) - [j68]Xiaoyan Zhu, Mingyue Jiang, Xiao-Yi Zhang, Liming Nie, Zuohua Ding:
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems. Proc. ACM Softw. Eng. 1(FSE): 2561-2583 (2024) - [j67]Fenghua Wu, Wenbing Tang, Yuan Zhou, Shang-wei Lin, Zuohua Ding, Yang Liu:
Robust motion planning for mobile robots under attacks against obstacle localization. Robotica 42(8): 2781-2800 (2024) - [j66]Junpeng Jiang, Mingyue Jiang, Liming Nie, Zuohua Ding:
A source model simplification method to assist model transformation debugging. Softw. Qual. J. 32(3): 961-984 (2024) - [j65]Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding:
Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(6): 1704-1714 (2024) - [j64]Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu:
Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks. IEEE Trans. Inf. Forensics Secur. 19: 2157-2170 (2024) - [j63]Wenbing Tang, Jing Liu, Yuan Zhou, Zuohua Ding:
Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems. IEEE Trans. Ind. Informatics 20(3): 4582-4593 (2024) - [j62]Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding:
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. IEEE Trans. Syst. Man Cybern. Syst. 54(2): 997-1010 (2024) - [c65]Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding:
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. HSCC 2024: 13:1-13:10 - [c64]Mei Liu, Hongyun Huang, Zuohua Ding:
PEM: A Medical Named Entity Recognition Method Based on Proximity Enhancement. IJCNN 2024: 1-8 - [c63]Xiaolei Wang, Hongyun Huang, Zuohua Ding:
NBWAB: A Model for Text Sentiment Analysis With BERT and ChatGPT. IJCNN 2024: 1-8 - [c62]Yingying Zhang, Zhiyi Luo, Zuohua Ding:
A Simple and Effective Span Interaction Modeling Method for Enhancing Multiple Span Question Answering. NLPCC (1) 2024: 188-200 - 2023
- [j61]Yuhe Sun, Zuohua Ding, Hongyun Huang, Senhao Zou, Mingyue Jiang:
Metamorphic Testing of Relation Extraction Models. Algorithms 16(2): 102 (2023) - [j60]Mingyue Jiang, Libin Zheng, Zuohua Ding, Zhi Jin:
A software-defined MAPE-K architecture for unmanned systems. Sci. China Inf. Sci. 66(5) (2023) - [j59]Kabir S. Said, Liming Nie, Yuanchang Lin, Yaowen Zheng, Zuohua Ding:
Automated GUI widgets classification. Frontiers Comput. Sci. 17(1): 171211 (2023) - [j58]Ting Shu, Cuiping Wu, Zuohua Ding:
Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning. Inf. Softw. Technol. 155: 107114 (2023) - [j57]Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding:
Formal synthesis of neural Craig interpolant via counterexample guided deep learning. Inf. Softw. Technol. 163: 107298 (2023) - [j56]Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He:
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. 8(3): 1603-1610 (2023) - [j55]Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding:
Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles. Robotica 41(2): 668-689 (2023) - [j54]Jian Hou, Jing Wang, Mingyue Zhang, Zhi Jin, Chunlin Wei, Zuohua Ding:
Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure. ACM Trans. Priv. Secur. 26(3): 34:1-34:22 (2023) - [c61]Chenglin Li, Yangyang Zhao, Yibiao Yang, Yuming Zhou, Liming Nie, Zuohua Ding:
Investigating the Impact of Bug Dependencies on Bug-Fixing Time Prediction. ESEM 2023: 1-12 - [c60]Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding:
Automated Image Reduction for Explaining Black-box Classifiers. SANER 2023: 367-378 - 2022
- [j53]Wang Lin, Zhengfeng Yang, Zuohua Ding:
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. J. Syst. Sci. Complex. 35(3): 1154-1172 (2022) - [j52]Yangyang Zhao, Yibiao Yang, Yuming Zhou, Zuohua Ding:
DEPICTER: A Design-Principle Guided and Heuristic-Rule Constrained Software Refactoring Approach. IEEE Trans. Reliab. 71(2): 698-715 (2022) - [j51]Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding:
DPWord2Vec: Better Representation of Design Patterns in Semantics. IEEE Trans. Software Eng. 48(4): 1228-1248 (2022) - [c59]Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding:
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. DSA 2022: 116-125 - [c58]Huihui Zhou, Wang Lin, Zuohua Ding:
A Categorical Modelling Framework for Multi-robot Systems in Manufacturing. DSA 2022: 1071-1072 - [c57]Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding:
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. ISSRE 2022: 263-273 - [c56]Jing Ding, Liming Nie, Yang Liu, Zuohua Ding, Jifeng Xuan:
An Exploratory Study for GUI Posts on Stack Overflow. QRS 2022: 1113-1124 - [i1]Zhijie Pan, Ting Shu, Zuohua Ding:
PTSG: a test generation tool based on extended finite state machine. CoRR abs/2209.10255 (2022) - 2021
- [j50]Yechao Huang, Ting Shu, Zuohua Ding:
A Learn-to-Rank Method for Model-Based Regression Test Case Prioritization. IEEE Access 9: 16365-16382 (2021) - [j49]Bo Wei, Xuan Wang, Xuewen Xia, Mingfeng Jiang, Zuohua Ding, Yanrong Huang:
Novel self-adjusted particle swarm optimization algorithm for feature selection. Computing 103(8): 1569-1597 (2021) - [j48]Bo Wei, Yichao Tang, Xiao Jin, Mingfeng Jiang, Zuohua Ding, Yanrong Huang:
A Dynamic Multi-Swarm Particle Swarm Optimization With Global Detection Mechanism. Int. J. Cogn. Informatics Nat. Intell. 15(4): 1-23 (2021) - [j47]Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen:
Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. Int. J. Softw. Informatics 11(2): 169-193 (2021) - [j46]Ting Shu, Yechao Huang, Zuohua Ding, Jinsong Xia, Mingyue Jiang:
Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search. Inf. Softw. Technol. 135: 106557 (2021) - [j45]Mingyue Jiang, Tsong Yueh Chen, Zhi Quan Zhou, Zuohua Ding:
Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations. IEEE Trans. Reliab. 70(1): 285-303 (2021) - [c55]Peipei Wu, Menglin Fang, Zuohua Ding:
Wall-Following Navigation for Mobile Robot Based on Random Forest and Genetic Algorithm. ICIC (2) 2021: 122-131 - [c54]Mingyue Jiang, Houzhen Bao, Kaiyi Tu, Xiao-Yi Zhang, Zuohua Ding:
Evaluating Natural Language Inference Models: A Metamorphic Testing Approach. ISSRE 2021: 220-230 - 2020
- [j44]Pengfei Li, Mingyue Jiang, Zuohua Ding:
Fault Localization With Weighted Test Model in Model Transformations. IEEE Access 8: 14054-14064 (2020) - [j43]Adekunle Akinjobi Ajibode, Ting Shu, Zuohua Ding:
Evolving Suspiciousness Metrics From Hybrid Data Set for Boosting a Spectrum Based Fault Localization. IEEE Access 8: 198451-198467 (2020) - [j42]Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding:
A distributed method to avoid higher-order deadlocks in multi-robot systems. Autom. 112 (2020) - [j41]Lan Jiang, Hongyun Huang, Zuohua Ding:
Path planning for intelligent robots based on deep Q-learning with experience replay and heuristic knowledge. IEEE CAA J. Autom. Sinica 7(4): 1179-1189 (2020) - [c53]Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou, Yang Liu:
Privacy-Aware UAV Flights through Self-Configuring Motion Planning. ICRA 2020: 1169-1175 - [c52]Yao Li, Wenbing Tang, Bochen Chen, Zuohua Ding:
Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic. TASE 2020: 65-72 - [c51]Zuohua Ding, Qingfen Zhang, Mingyue Jiang:
Metamorphic Testing of Code Search Engines. TASE 2020: 177-184
2010 – 2019
- 2019
- [j40]Hongyun Huang, Mingyue Jiang, Zuohua Ding, Mengchu Zhou:
Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model. IEEE Access 7: 18061-18069 (2019) - [j39]Jian Hou, Mengfan Xiang, Zuohua Ding:
Group Information Based Nonlinear Consensus for Multi-Agent Systems. IEEE Access 7: 26551-26557 (2019) - [j38]Wenbing Tang, Zuohua Ding, Mengchu Zhou:
A Spammer Identification Method for Class Imbalanced Weibo Datasets. IEEE Access 7: 29193-29201 (2019) - [j37]Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He:
AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. 13(3): 516-538 (2019) - [j36]Mengyuan Hu, Hongyun Huang, Zuohua Ding:
用于软件缺陷预测的集成模型 (Ensemble Model for Software Defect Prediction). 计算机科学 46(11): 176-180 (2019) - [j35]Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding:
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Trans. Syst. Man Cybern. Syst. 49(12): 2636-2650 (2019) - [c50]Wenbing Tang, Libin Zheng, Mingyue Jiang, Zuohua Ding:
Dynamic Algorithm Selection for Mobile Robots Motion Planning. DSA 2019: 499-500 - [c49]Zuohua Ding, Bing Liu, Haibang Xia:
Designing and Implementing Mobile Robot Navigation Based on Behavioral Programming. ICIC (1) 2019: 501-510 - [c48]Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu:
Metamorphic Testing in Fault Localization of Model Transformations. SOFL+MSVL 2019: 299-314 - [c47]Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang:
A Fault Localization Method Based on Dynamic Failed Execution Blocks. SOFL+MSVL 2019: 315-327 - 2018
- [j34]Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding:
A distributed approach to robust control of multi-robot systems. Autom. 98: 1-13 (2018) - [j33]Zuohua Ding, Yuan Zhou, Mengchu Zhou:
Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets. IEEE Trans. Fuzzy Syst. 26(2): 967-984 (2018) - [j32]Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou:
Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. IEEE Trans. Reliab. 67(3): 1143-1158 (2018) - [c46]Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang:
Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components. ISSRE Workshops 2018: 130-131 - [c45]Lin Ma, Zuohua Ding:
Software Bug Localization Based on Key Range Invariants. SATE 2018: 20-32 - 2017
- [j31]Zuohua Ding, Zhijie Wei, Haibo Chen:
A software cybernetics approach to self-tuning performance of on-line transaction processing systems. J. Syst. Softw. 124: 247-259 (2017) - [j30]Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zuohua Ding:
A metamorphic testing approach for supporting program repair without the need for a test oracle. J. Syst. Softw. 126: 127-140 (2017) - [j29]Rong Wang, Zuohua Ding, Ning Gui, Yang Liu:
Detecting Bugs of Concurrent Programs With Program Invariants. IEEE Trans. Reliab. 66(2): 425-439 (2017) - [j28]Yuan Zhou, Hesuan Hu, Yang Liu, Zuohua Ding:
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. IEEE Trans. Syst. Man Cybern. Syst. 47(7): 1712-1726 (2017) - [c44]Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno:
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair. MET@ICSE 2017: 14-20 - [c43]Zuohua Ding, Tiantian Shuai, Mingyue Jiang:
REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart. QRS Companion 2017: 610-611 - 2016
- [j27]Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, Mengchu Zhou:
Petri net based test case generation for evolved specification. Sci. China Inf. Sci. 59(8): 080105:1-080105:25 (2016) - [j26]Ting Shu, Tiantian Ye, Zuohua Ding, Jinsong Xia:
Fault localization based on statement frequency. Inf. Sci. 360: 43-56 (2016) - [j25]Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia:
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Inf. Sci. 370-371: 63-78 (2016) - [j24]Zuohua Ding, Mingyue Jiang, MengChu Zhou:
Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks. IEEE Trans. Intell. Transp. Syst. 17(12): 3330-3343 (2016) - [j23]Zuohua Ding, Ting Xu, Tiantian Ye, Yuan Zhou:
Online Prediction and Improvement of Reliability for Service Oriented Systems. IEEE Trans. Reliab. 65(3): 1133-1148 (2016) - [j22]Zuohua Ding, Yuan Zhou, Mengchu Zhou:
Modeling Self-Adaptive Software Systems With Learning Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 46(4): 483-498 (2016) - [c42]Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu:
Detecting Bugs of Concurrent Programs with Program Invariants. QRS Companion 2016: 412-413 - [c41]Hongyun Huang, Zuohua Ding:
Port based software architecture and its analysis. SERA 2016: 257-262 - 2015
- [j21]Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He:
Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. 11(1): 55-69 (2015) - [j20]Zuohua Ding, Yuan Zhou, MengChu Zhou:
A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations. IEEE Trans Autom. Sci. Eng. 12(1): 295-308 (2015) - [j19]Zuohua Ding, Yuan Zhou, Mingyue Jiang, MengChu Zhou:
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. IEEE Trans. Syst. Man Cybern. Syst. 45(7): 1087-1100 (2015) - [c40]Mingyue Jiang, Zuohua Ding, Mengchu Zhou, Yuan Zhou:
Formal modeling and verification of secure mobile agent systems. CASE 2015: 545-550 - [c39]Shao-zhen Zhang, Zuo-hua Ding, Jueliang Hu:
Modeling Fault Tolerated Mobile Agents by Colored Petri Nets. ICIC (3) 2015: 607-617 - 2014
- [j18]Zuohua Ding, Mei-Hwa Chen, Xiaoxue Li:
Online reliability computing of composite services based on program invariants. Inf. Sci. 264: 340-348 (2014) - [j17]Chenghui Hu, Zuohua Ding:
Locating Software Faults Based on Control Flow and Data Dependence. J. Comput. 9(12): 2797-2803 (2014) - [j16]Zuohua Ding, Hui Zhou, Hui Shen, Qi-Wei Ge:
A Public-Key Cryptosystem Based On Stochastic Petri Net. J. Softw. 9(1): 94-103 (2014) - [j15]Zuohua Ding, Yuan Zhou, MengChu Zhou:
Stability Analysis of Switched Fuzzy Systems Via Model Checking. IEEE Trans. Fuzzy Syst. 22(6): 1503-1514 (2014) - [j14]Zuohua Ding, MengChu Zhou, ShouGuang Wang:
Ordinary Differential Equation-Based Deadlock Detection. IEEE Trans. Syst. Man Cybern. Syst. 44(10): 1435-1454 (2014) - [c38]Zhijie Wei, Zuohua Ding, Jueliang Hu:
Self-tuning performance of database systems based on fuzzy rules. FSKD 2014: 194-198 - [c37]Conghuan Zheng, Zuohua Ding, Jueliang Hu:
Self-tuning Performance of Database Systems with Neural Network. ICIC (1) 2014: 1-12 - [c36]Zuohua Ding, Yuan Zhou, MengChu Zhou:
Modeling self-adaptive software systems with learning petri nets. ICSE Companion 2014: 464-467 - [c35]Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou, Zuohua Ding:
Testing Model Transformation Programs using Metamorphic Testing. SEKE 2014: 94-99 - 2013
- [j13]Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding:
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7(1): 95-108 (2013) - [j12]Zuohua Ding, Hui Shen, Abraham Kandel:
Hypergraph partitioning for the parallel computing of fuzzy differential equations. Fuzzy Sets Syst. 230: 142-161 (2013) - [j11]Zuohua Ding, Jiaying Ma, Abraham Kandel:
Petri Net Representation of Switched Fuzzy Systems. IEEE Trans. Fuzzy Syst. 21(1): 16-29 (2013) - [c34]Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone:
Schedulability Analysis with CCSL Specifications. APSEC (1) 2013: 414-421 - [c33]Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang:
Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS 2013: 101-110 - [c32]Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan:
Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE 2013: 145-148 - 2012
- [j10]Zuohua Ding, Hui Shen, Qi-Wei Ge:
Checking system boundedness using ordinary differential equations. Inf. Sci. 187: 245-265 (2012) - [j9]Mingyue Jiang, Zuohua Ding, Jing Liu:
Service Selection Based On Behavior Matching. J. Softw. 7(9): 1950-1959 (2012) - [j8]Zuohua Ding, Hui Shen, Jianwen Cao:
Parallel computation of continuous Petri nets based on hypergraph partitioning. J. Supercomput. 62(1): 345-377 (2012) - [j7]Zuohua Ding, Mingyue Jiang, Abraham Kandel:
Port-Based Reliability Computing for Service Composition. IEEE Trans. Serv. Comput. 5(3): 422-436 (2012) - [c31]Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding:
Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS 2012: 137-146 - [c30]Jiaying Ma, Wei Han, Zuohua Ding:
Behavior Analysis of Software Systems Based on Petri Net Slicing. ICIC (1) 2012: 475-482 - [c29]Zuohua Ding, Jiaying Ma:
Modeling and Analysis of Switched Fuzzy Systems. SEKE 2012: 135-138 - 2011
- [j6]Zuohua Ding, Hui Shen, Abraham Kandel:
Performance Analysis of Service Composition Based on Fuzzy Differential Equations. IEEE Trans. Fuzzy Syst. 19(1): 164-178 (2011) - [c28]Zuohua Ding, Mingyue Jiang, Jens Palsberg:
From textual use cases to service component models. PESOS@ICSE 2011: 8-14 - [c27]Mingyue Jiang, Zuohua Ding:
Automation of test case generation from textual use cases. ICIS 2011: 102-107 - [c26]Xiaohong Chen, Jing Liu, Zuohua Ding:
On Constructing Software Environment Ontology for Time-Continuous Environment. KSEM 2011: 148-159 - [c25]Zuohua Ding, Hui Shen, Jianwen Cao:
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets. PaCT 2011: 257-271 - [c24]Ling Yin, Jing Liu, Zuohua Ding:
Modeling and Prototyping Business Processes in AutoPA. TASE 2011: 169-176 - 2010
- [c23]Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding:
Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops 2010: 226-231 - [c22]Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding:
Automatically Testing Web Services Choreography with Assertions. ICFEM 2010: 138-154 - [c21]Zuohua Ding, Hui Shen, Jing Liu:
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. ICFEM 2010: 155-170 - [c20]Zuohua Ding, Hui Shen:
Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition. ICIC (1) 2010: 118-125 - [c19]Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu:
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. QSIC 2010: 341-344
2000 – 2009
- 2009
- [c18]Zuohua Ding, Mingyue Jiang, Jing Liu:
Model Checking Service Component Composition by SPIN. ACIS-ICIS 2009: 1029-1034 - [c17]Zuohua Ding, Mingyue Jiang:
Port Based Reliability Computing for Service Composition. IEEE SCC 2009: 403-410 - [c16]Yue Xie, Dehui Du, Jing Liu, Zuohua Ding:
Towards the Verification of Services Collaboration. COMPSAC (2) 2009: 428-433 - [c15]Zuohua Ding:
Static Analysis of Concurrent Programs Using Ordinary Differential Equations. ICTAC 2009: 1-35 - [c14]Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders:
Modelling and Verification of Web Navigation. ICWE 2009: 181-188 - [c13]Xiaoan Bao, Na Zhang, Zuohua Ding:
Test Case Generation of Concurrent Programs Based on Event Graph. NCM 2009: 143-149 - [c12]Zuohua Ding, Mingyue Jiang:
Rebuilding Web Application Requirements Based on User Navigation. NCM 2009: 206-213 - [c11]Zuohua Ding, Mingyue Jiang:
Modelling and Verification of Port Based Component Composition. QSIC 2009: 86-91 - [c10]Jueliang Hu, Zuohua Ding, Geguang Pu:
Path-Based Approach to Integration Testing. SSIRI 2009: 445-446 - [c9]Zuohua Ding, Mingyue Jiang:
Reliability Computing for Service Composition. SSIRI 2009: 449-450 - [c8]Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu:
Test Data Generation for Derived Types in C Program. TASE 2009: 155-162 - [c7]Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin:
Measuring the Survivability of Object-Oriented Software. TASE 2009: 329-330 - [c6]Xijiao Xiong, Jing Liu, Zuohua Ding:
Design and Verification of a Trustable Medical System. TTSS 2009: 77-92 - 2008
- [j5]Zuohua Ding, Jianming Dong, Wei Han:
Formal architectural models for agent-based service systems. Int. J. Comput. Appl. Technol. 31(1/2): 45-63 (2008) - [j4]Zuohua Ding, Kao Zhang, Jueliang Hu:
A rigorous approach towards test case generation. Inf. Sci. 178(21): 4057-4079 (2008) - [c5]Zuohua Ding, Kao Zhang:
Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. COMPSAC 2008: 841-846 - [c4]Zuohua Ding, Lujuan Xiao, Jueliang Hu:
Performance Analysis of Service Composition Using Ordinary Differential Equations. FTDCS 2008: 30-36 - [c3]Zuohua Ding, Jing Liu:
An Improvement of Software Architecture Verification. TTSS 2008: 49-67 - 2007
- [c2]Zuohua Ding, Zhenbang Chen, Jing Liu:
A Rigorous Model of Service Component Architecture. TTSS 2007: 33-48 - 2006
- [j3]Zuohua Ding, Horst Bunke, Oscar Kipersztok, Moti Schneider, Abraham Kandel:
Fuzzy timed Petri nets - analysis and implementation. Math. Comput. Model. 43(3-4): 385-400 (2006) - [c1]Zuohua Ding:
A Formal Architectural Model For Mobile Service Systems. SEKE 2006: 670-675 - 2005
- [j2]Zuohua Ding, Horst Bunke, Moti Schneider, Abraham Kandel:
Fuzzy timed petri net definitions, properties, and applications. Math. Comput. Model. 41(2-3): 345-360 (2005)
1990 – 1999
- 1997
- [j1]Zuohua Ding, Ming Ma, Abraham Kandel:
Existence of the Solutions of Fuzzy Differential Equations with Parameters. Inf. Sci. 99(3-4): 205-217 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-21 19:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
