Zuohua Ding

According to our database, Zuohua Ding authored at least 139 papers between 1997 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

2024

A source model simplification method to assist model transformation debugging.

Junpeng Jiang, Mingyue Jiang, Liming Nie, Zuohua Ding

Softw. Qual. J., September, 2024

DDImage: an image reduction based approach for automatically explaining black-box classifiers.

Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding

Empir. Softw. Eng., September, 2024

Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion.

Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 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

Empir. Softw. Eng., April, 2024

Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems.

Wenbing Tang, Jing Liu, Yuan Zhou, Zuohua Ding

IEEE Trans. Ind. Informatics, March, 2024

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.

Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., February, 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., January, 2024

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.

Wenbing Tang, Yuan Zhou, Yang Liu, Zuohua Ding, Jing Liu

IEEE Trans. Inf. Forensics Secur., 2024

MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems.

Xiaoyan Zhu, Mingyue Jiang, Xiao-Yi Zhang, Liming Nie, Zuohua Ding

Proc. ACM Softw. Eng., 2024

Causal deconfounding deep reinforcement learning for mobile robot motion planning.

Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He

Knowl. Based Syst., 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

Model-based diversity-driven learn-to-rank test case prioritization.

Ting Shu, Zhanxiang He, Xuesong Yin, Zuohua Ding, Mengchu Zhou

Expert Syst. Appl., 2024

A Simple and Effective Span Interaction Modeling Method for Enhancing Multiple Span Question Answering.

Yingying Zhang, Zhiyi Luo, Zuohua Ding

Proceedings of the Natural Language Processing and Chinese Computing, 2024

NBWAB: A Model for Text Sentiment Analysis With BERT and ChatGPT.

Xiaolei Wang, Hongyun Huang, Zuohua Ding

Proceedings of the International Joint Conference on Neural Networks, 2024

PEM: A Medical Named Entity Recognition Method Based on Proximity Enhancement.

Mei Liu, Hongyun Huang, Zuohua Ding

Proceedings of the International Joint Conference on Neural Networks, 2024

Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning.

Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Formal synthesis of neural Craig interpolant via counterexample guided deep learning.

Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding

Inf. Softw. Technol., November, 2023

Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure.

Jian Hou, Jing Wang, Mingyue Zhang, Zhi Jin, Chunlin Wei, Zuohua Ding

ACM Trans. Priv. Secur., August, 2023

A software-defined MAPE-K architecture for unmanned systems.

Mingyue Jiang, Libin Zheng, Zuohua Ding, Zhi Jin

Sci. China Inf. Sci., May, 2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.

Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He

IEEE Robotics Autom. Lett., March, 2023

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.

Wenbing Tang, Yuan Zhou, Tianwei Zhang, Yang Liu, Jing Liu, Zuohua Ding

Robotica, February, 2023

Automated GUI widgets classification.

Kabir S. Said, Liming Nie, Yuanchang Lin, Yaowen Zheng, Zuohua Ding

Frontiers Comput. Sci., February, 2023

Metamorphic Testing of Relation Extraction Models.

Yuhe Sun, Zuohua Ding, Hongyun Huang, Senhao Zou, Mingyue Jiang

Algorithms, February, 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

Automated Image Reduction for Explaining Black-box Classifiers.

Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding

Proceedings of the IEEE International Conference on Software Analysis, 2023

Investigating the Impact of Bug Dependencies on Bug-Fixing Time Prediction.

Chenglin Li, Yangyang Zhao, Yibiao Yang, Yuming Zhou, Liming Nie, Zuohua Ding

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022

DPWord2Vec: Better Representation of Design Patterns in Semantics.

Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding

IEEE Trans. Software Eng., 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

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

PTSG: a test generation tool based on extended finite state machine.

Zhijie Pan, Ting Shu, Zuohua Ding

CoRR, 2022

An Exploratory Study for GUI Posts on Stack Overflow.

Jing Ding, Liming Nie, Yang Liu, Zuohua Ding, Jifeng Xuan

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.

Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

A Categorical Modelling Framework for Multi-robot Systems in Manufacturing.

Huihui Zhou, Wang Lin, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations.

Mingyue Jiang, Tsong Yueh Chen, Zhi Quan Zhou, Zuohua Ding

IEEE Trans. Reliab., 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

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication.

Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen

Int. J. Softw. Informatics, 2021

A Dynamic Multi-Swarm Particle Swarm Optimization With Global Detection Mechanism.

Bo Wei, Yichao Tang, Xiao Jin, Mingfeng Jiang, Zuohua Ding, Yanrong Huang

Int. J. Cogn. Informatics Nat. Intell., 2021

Novel self-adjusted particle swarm optimization algorithm for feature selection.

Bo Wei, Xuan Wang, Xuewen Xia, Mingfeng Jiang, Zuohua Ding, Yanrong Huang

Computing, 2021

A Learn-to-Rank Method for Model-Based Regression Test Case Prioritization.

Yechao Huang, Ting Shu, Zuohua Ding

IEEE Access, 2021

Evaluating Natural Language Inference Models: A Metamorphic Testing Approach.

Mingyue Jiang, Houzhen Bao, Kaiyi Tu, Xiao-Yi Zhang, Zuohua Ding

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Wall-Following Navigation for Mobile Robot Based on Random Forest and Genetic Algorithm.

Peipei Wu, Menglin Fang, Zuohua Ding

Proceedings of the Intelligent Computing Theories and Application, 2021

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

A distributed method to avoid higher-order deadlocks in multi-robot systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

Autom., 2020

Fault Localization With Weighted Test Model in Model Transformations.

Pengfei Li, Mingyue Jiang, Zuohua Ding

IEEE Access, 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

Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic.

Yao Li, Wenbing Tang, Bochen Chen, Zuohua Ding

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Metamorphic Testing of Code Search Engines.

Zuohua Ding, Qingfen Zhang, Mingyue Jiang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.

Yixing Luo, Yijun Yu, Zhi Jin, Yao Li, Zuohua Ding, Yuan Zhou, Yang Liu

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., 2019

用于软件缺陷预测的集成模型 (Ensemble Model for Software Defect Prediction).

Mengyuan Hu, Hongyun Huang, Zuohua Ding

计算机科学, 2019

AADL+: a simulation-based methodology for cyber-physical systems.

Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He

Frontiers Comput. Sci., 2019

A Spammer Identification Method for Class Imbalanced Weibo Datasets.

Wenbing Tang, Zuohua Ding, Mengchu Zhou

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

Group Information Based Nonlinear Consensus for Multi-Agent Systems.

Jian Hou, Mengfan Xiang, Zuohua Ding

IEEE Access, 2019

A Fault Localization Method Based on Dynamic Failed Execution Blocks.

Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Metamorphic Testing in Fault Localization of Model Transformations.

Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Designing and Implementing Mobile Robot Navigation Based on Behavioral Programming.

Zuohua Ding, Bing Liu, Haibang Xia

Proceedings of the Intelligent Computing Theories and Application, 2019

Dynamic Algorithm Selection for Mobile Robots Motion Planning.

Wenbing Tang, Libin Zheng, Mingyue Jiang, Zuohua Ding

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2018

Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.

Zuohua Ding, Yuan Zhou, Geguang Pu, MengChu Zhou

IEEE Trans. Reliab., 2018

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets.

Zuohua Ding, Yuan Zhou, Mengchu Zhou

IEEE Trans. Fuzzy Syst., 2018

A distributed approach to robust control of multi-robot systems.

Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding

Autom., 2018

Software Bug Localization Based on Key Range Invariants.

Lin Ma, Zuohua Ding

Proceedings of the Software Analysis, Testing, and Evolution, 2018

Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.

Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.

Yuan Zhou, Hesuan Hu, Yang Liu, Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., 2017

Detecting Bugs of Concurrent Programs With Program Invariants.

Rong Wang, Zuohua Ding, Ning Gui, Yang Liu

IEEE Trans. Reliab., 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

A software cybernetics approach to self-tuning performance of on-line transaction processing systems.

Zuohua Ding, Zhijie Wei, Haibo Chen

J. Syst. Softw., 2017

REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart.

Zuohua Ding, Tiantian Shuai, Mingyue Jiang

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

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

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016

Modeling Self-Adaptive Software Systems With Learning Petri Nets.

Zuohua Ding, Yuan Zhou, Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2016

Online Prediction and Improvement of Reliability for Service Oriented Systems.

Zuohua Ding, Ting Xu, Tiantian Ye, Yuan Zhou

IEEE Trans. Reliab., 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

Fault localization based on statement frequency.

Ting Shu, Tiantian Ye, Zuohua Ding, Jinsong Xia

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

Petri net based test case generation for evolved specification.

Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, Mengchu Zhou

Sci. China Inf. Sci., 2016

Port based software architecture and its analysis.

Hongyun Huang, Zuohua Ding

Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Detecting Bugs of Concurrent Programs with Program Invariants.

Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015

A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.

Zuohua Ding, Yuan Zhou, Mingyue Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2015

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations.

Zuohua Ding, Yuan Zhou, MengChu Zhou

IEEE Trans Autom. Sci. Eng., 2015

Modeling and analysis of interactive telemedicine systems.

Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He

Innov. Syst. Softw. Eng., 2015

Modeling Fault Tolerated Mobile Agents by Colored Petri Nets.

Shao-zhen Zhang, Zuo-hua Ding, Jueliang Hu

Proceedings of the Advanced Intelligent Computing Theories and Applications, 2015

Formal modeling and verification of secure mobile agent systems.

Mingyue Jiang, Zuohua Ding, Mengchu Zhou, Yuan Zhou

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Ordinary Differential Equation-Based Deadlock Detection.

Zuohua Ding, MengChu Zhou, ShouGuang Wang

IEEE Trans. Syst. Man Cybern. Syst., 2014

Stability Analysis of Switched Fuzzy Systems Via Model Checking.

Zuohua Ding, Yuan Zhou, MengChu Zhou

IEEE Trans. Fuzzy Syst., 2014

A Public-Key Cryptosystem Based On Stochastic Petri Net.

Zuohua Ding, Hui Zhou, Hui Shen, Qi-Wei Ge

J. Softw., 2014

Locating Software Faults Based on Control Flow and Data Dependence.

Chenghui Hu, Zuohua Ding

J. Comput., 2014

Online reliability computing of composite services based on program invariants.

Zuohua Ding, Mei-Hwa Chen, Xiaoxue Li

Inf. Sci., 2014

Testing Model Transformation Programs using Metamorphic Testing.

Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou, Zuohua Ding

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Self-tuning Performance of Database Systems with Neural Network.

Conghuan Zheng, Zuohua Ding, Jueliang Hu

Proceedings of the Intelligent Computing Theory - 10th International Conference, 2014

Self-tuning performance of database systems based on fuzzy rules.

Zhijie Wei, Zuohua Ding, Jueliang Hu

Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014

2013

Petri Net Representation of Switched Fuzzy Systems.

Zuohua Ding, Jiaying Ma, Abraham Kandel

IEEE Trans. Fuzzy Syst., 2013

Hypergraph partitioning for the parallel computing of fuzzy differential equations.

Zuohua Ding, Hui Shen, Abraham Kandel

Fuzzy Sets Syst., 2013

Hybrid MARTE statecharts.

Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding

Frontiers Comput. Sci., 2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.

Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Schedulability Analysis with CCSL Specifications.

Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Port-Based Reliability Computing for Service Composition.

Zuohua Ding, Mingyue Jiang, Abraham Kandel

IEEE Trans. Serv. Comput., 2012

Parallel computation of continuous Petri nets based on hypergraph partitioning.

Zuohua Ding, Hui Shen, Jianwen Cao

J. Supercomput., 2012

Service Selection Based On Behavior Matching.

Mingyue Jiang, Zuohua Ding, Jing Liu

J. Softw., 2012

Checking system boundedness using ordinary differential equations.

Zuohua Ding, Hui Shen, Qi-Wei Ge

Inf. Sci., 2012

Modeling and Analysis of Switched Fuzzy Systems.

Zuohua Ding, Jiaying Ma

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Behavior Analysis of Software Systems Based on Petri Net Slicing.

Jiaying Ma, Wei Han, Zuohua Ding

Proceedings of the Intelligent Computing Technology - 8th International Conference, 2012

Spatio-temporal UML Statechart for Cyber-Physical Systems.

Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Performance Analysis of Service Composition Based on Fuzzy Differential Equations.

Zuohua Ding, Hui Shen, Abraham Kandel

IEEE Trans. Fuzzy Syst., 2011

Modeling and Prototyping Business Processes in AutoPA.

Ling Yin, Jing Liu, Zuohua Ding

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets.

Zuohua Ding, Hui Shen, Jianwen Cao

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

On Constructing Software Environment Ontology for Time-Continuous Environment.

Xiaohong Chen, Jing Liu, Zuohua Ding

Proceedings of the Knowledge Science, Engineering and Management, 2011

Automation of test case generation from textual use cases.

Mingyue Jiang, Zuohua Ding

Proceedings of the 4th International Conference on Interaction Sciences: Information Technology, 2011

From textual use cases to service component models.

Zuohua Ding, Mingyue Jiang, Jens Palsberg

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

2010

Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu

Proceedings of the 10th International Conference on Quality Software, 2010

Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition.

Zuohua Ding, Hui Shen

Proceedings of the Advanced Intelligent Computing Theories and Applications, 2010

Automatically Testing Web Services Choreography with Assertions.

Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding

Proceedings of the Formal Methods and Software Engineering, 2010

Applying Ordinary Differential Equations to the Performance Analysis of Service Composition.

Zuohua Ding, Hui Shen, Jing Liu

Proceedings of the Formal Methods and Software Engineering, 2010

Modeling and Verification of an Automatic Train Protection System.

Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Design and Verification of a Trustable Medical System.

Xijiao Xiong, Jing Liu, Zuohua Ding

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Test Data Generation for Derived Types in C Program.

Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu

Proceedings of the TASE 2009, 2009

Measuring the Survivability of Object-Oriented Software.

Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin

Proceedings of the TASE 2009, 2009

Path-Based Approach to Integration Testing.

Jueliang Hu, Zuohua Ding, Geguang Pu

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Reliability Computing for Service Composition.

Zuohua Ding, Mingyue Jiang

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Modelling and Verification of Port Based Component Composition.

Zuohua Ding, Mingyue Jiang

Proceedings of the Ninth International Conference on Quality Software, 2009

Rebuilding Web Application Requirements Based on User Navigation.

Zuohua Ding, Mingyue Jiang

Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Test Case Generation of Concurrent Programs Based on Event Graph.

Xiaoan Bao, Na Zhang, Zuohua Ding

Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Modelling and Verification of Web Navigation.

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders

Proceedings of the Web Engineering, 9th International Conference, 2009

Static Analysis of Concurrent Programs Using Ordinary Differential Equations.

Zuohua Ding

Proceedings of the Theoretical Aspects of Computing, 2009

Towards the Verification of Services Collaboration.

Yue Xie, Dehui Du, Jing Liu, Zuohua Ding

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Port Based Reliability Computing for Service Composition.

Zuohua Ding, Mingyue Jiang

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

Model Checking Service Component Composition by SPIN.

Zuohua Ding, Mingyue Jiang, Jing Liu

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

A rigorous approach towards test case generation.

Zuohua Ding, Kao Zhang, Jueliang Hu

Inf. Sci., 2008

Formal architectural models for agent-based service systems.

Zuohua Ding, Jianming Dong, Wei Han

Int. J. Comput. Appl. Technol., 2008

An Improvement of Software Architecture Verification.

Zuohua Ding, Jing Liu

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Performance Analysis of Service Composition Using Ordinary Differential Equations.

Zuohua Ding, Lujuan Xiao, Jueliang Hu

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.

Zuohua Ding, Kao Zhang

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Rigorous Model of Service Component Architecture.

Zuohua Ding, Zhenbang Chen, Jing Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

2006

Fuzzy timed Petri nets - analysis and implementation.

Zuohua Ding, Horst Bunke, Oscar Kipersztok, Moti Schneider, Abraham Kandel

Math. Comput. Model., 2006

A Formal Architectural Model For Mobile Service Systems.

Zuohua Ding

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005

Fuzzy timed petri net definitions, properties, and applications.

Zuohua Ding, Horst Bunke, Moti Schneider, Abraham Kandel

Math. Comput. Model., 2005

1997

Existence of the Solutions of Fuzzy Differential Equations with Parameters.

Zuohua Ding, Ming Ma, Abraham Kandel

Inf. Sci., 1997