Stop the war!Остановите войну!
for scientists:
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
- 2023
[j60]Yuhe Sun, Zuohua Ding, Hongyun Huang, Senhao Zou, Mingyue Jiang:
Metamorphic Testing of Relation Extraction Models. Algorithms 16(2): 102 (2023)- [j59]Mingyue Jiang, Libin Zheng, Zuohua Ding, Zhi Jin:
A software-defined MAPE-K architecture for unmanned systems. Sci. China Inf. Sci. 66(5) (2023) - [j58]Kabir S. Said
, Liming Nie, Yuanchang Lin, Yaowen Zheng, Zuohua Ding:
Automated GUI widgets classification. Frontiers Comput. Sci. 17(1): 171211 (2023) - [j57]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) - [j56]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) - [j55]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) - [j54]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) - [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.