Zuohua Ding

According to our database1, Zuohua Ding authored at least 126 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Causality-Guided Counterfactual Debiasing for Anomaly Detection of Cyber-Physical Systems.
IEEE Trans. Ind. Informatics, March, 2024

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.
IEEE Trans. Syst. Man Cybern. Syst., February, 2024

Towards an understanding of intra-defect associations: Implications for defect prediction.
J. Syst. Softw., January, 2024

Robust Motion Planning for Multi-Robot Systems Against Position Deception Attacks.
IEEE Trans. Inf. Forensics Secur., 2024

2023
Formal synthesis of neural Craig interpolant via counterexample guided deep learning.
Inf. Softw. Technol., November, 2023

Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure.
ACM Trans. Priv. Secur., August, 2023

A software-defined MAPE-K architecture for unmanned systems.
Sci. China Inf. Sci., May, 2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.
IEEE Robotics Autom. Lett., March, 2023

Cooperative collision avoidance in multirobot systems using fuzzy rules and velocity obstacles.
Robotica, February, 2023

Automated GUI widgets classification.
Frontiers Comput. Sci., February, 2023

Metamorphic Testing of Relation Extraction Models.
Algorithms, February, 2023

Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning.
Inf. Softw. Technol., 2023

Automated Image Reduction for Explaining Black-box Classifiers.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Investigating the Impact of Bug Dependencies on Bug-Fixing Time Prediction.
Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022
DPWord2Vec: Better Representation of Design Patterns in Semantics.
IEEE Trans. Software Eng., 2022

DEPICTER: A Design-Principle Guided and Heuristic-Rule Constrained Software Refactoring Approach.
IEEE Trans. Reliab., 2022

Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming.
J. Syst. Sci. Complex., 2022

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

An Exploratory Study for GUI Posts on Stack Overflow.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

A Categorical Modelling Framework for Multi-robot Systems in Manufacturing.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.
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.
IEEE Trans. Reliab., 2021

Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search.
Inf. Softw. Technol., 2021

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication.
Int. J. Softw. Informatics, 2021

A Dynamic Multi-Swarm Particle Swarm Optimization With Global Detection Mechanism.
Int. J. Cogn. Informatics Nat. Intell., 2021

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

A Learn-to-Rank Method for Model-Based Regression Test Case Prioritization.
IEEE Access, 2021

Evaluating Natural Language Inference Models: A Metamorphic Testing Approach.
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.
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.
IEEE CAA J. Autom. Sinica, 2020

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

Fault Localization With Weighted Test Model in Model Transformations.
IEEE Access, 2020

Evolving Suspiciousness Metrics From Hybrid Data Set for Boosting a Spectrum Based Fault Localization.
IEEE Access, 2020

Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Metamorphic Testing of Code Search Engines.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2019

用于软件缺陷预测的集成模型 (Ensemble Model for Software Defect Prediction).
计算机科学, 2019

AADL+: a simulation-based methodology for cyber-physical systems.
Frontiers Comput. Sci., 2019

A Spammer Identification Method for Class Imbalanced Weibo Datasets.
IEEE Access, 2019

Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model.
IEEE Access, 2019

Group Information Based Nonlinear Consensus for Multi-Agent Systems.
IEEE Access, 2019

A Fault Localization Method Based on Dynamic Failed Execution Blocks.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Metamorphic Testing in Fault Localization of Model Transformations.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Designing and Implementing Mobile Robot Navigation Based on Behavioral Programming.
Proceedings of the Intelligent Computing Theories and Application, 2019

Dynamic Algorithm Selection for Mobile Robots Motion Planning.
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.
IEEE Trans. Reliab., 2018

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets.
IEEE Trans. Fuzzy Syst., 2018

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

Software Bug Localization Based on Key Range Invariants.
Proceedings of the Software Analysis, Testing, and Evolution, 2018

Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Detecting Bugs of Concurrent Programs With Program Invariants.
IEEE Trans. Reliab., 2017

A metamorphic testing approach for supporting program repair without the need for a test oracle.
J. Syst. Softw., 2017

A software cybernetics approach to self-tuning performance of on-line transaction processing systems.
J. Syst. Softw., 2017

REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart.
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.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016
Modeling Self-Adaptive Software Systems With Learning Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2016

Online Prediction and Improvement of Reliability for Service Oriented Systems.
IEEE Trans. Reliab., 2016

Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks.
IEEE Trans. Intell. Transp. Syst., 2016

Fault localization based on statement frequency.
Inf. Sci., 2016

A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences.
Inf. Sci., 2016

Petri net based test case generation for evolved specification.
Sci. China Inf. Sci., 2016

Port based software architecture and its analysis.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Detecting Bugs of Concurrent Programs with Program Invariants.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2015

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations.
IEEE Trans Autom. Sci. Eng., 2015

Modeling and analysis of interactive telemedicine systems.
Innov. Syst. Softw. Eng., 2015

Modeling Fault Tolerated Mobile Agents by Colored Petri Nets.
Proceedings of the Advanced Intelligent Computing Theories and Applications, 2015

Formal modeling and verification of secure mobile agent systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Ordinary Differential Equation-Based Deadlock Detection.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Stability Analysis of Switched Fuzzy Systems Via Model Checking.
IEEE Trans. Fuzzy Syst., 2014

A Public-Key Cryptosystem Based On Stochastic Petri Net.
J. Softw., 2014

Locating Software Faults Based on Control Flow and Data Dependence.
J. Comput., 2014

Online reliability computing of composite services based on program invariants.
Inf. Sci., 2014

Testing Model Transformation Programs using Metamorphic Testing.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Self-tuning Performance of Database Systems with Neural Network.
Proceedings of the Intelligent Computing Theory - 10th International Conference, 2014

Self-tuning performance of database systems based on fuzzy rules.
Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014

2013
Petri Net Representation of Switched Fuzzy Systems.
IEEE Trans. Fuzzy Syst., 2013

Hypergraph partitioning for the parallel computing of fuzzy differential equations.
Fuzzy Sets Syst., 2013

Hybrid MARTE statecharts.
Frontiers Comput. Sci., 2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Schedulability Analysis with CCSL Specifications.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Port-Based Reliability Computing for Service Composition.
IEEE Trans. Serv. Comput., 2012

Parallel computation of continuous Petri nets based on hypergraph partitioning.
J. Supercomput., 2012

Service Selection Based On Behavior Matching.
J. Softw., 2012

Checking system boundedness using ordinary differential equations.
Inf. Sci., 2012

Modeling and Analysis of Switched Fuzzy Systems.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Behavior Analysis of Software Systems Based on Petri Net Slicing.
Proceedings of the Intelligent Computing Technology - 8th International Conference, 2012

Spatio-temporal UML Statechart for Cyber-Physical Systems.
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.
IEEE Trans. Fuzzy Syst., 2011

Modeling and Prototyping Business Processes in AutoPA.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

On Constructing Software Environment Ontology for Time-Continuous Environment.
Proceedings of the Knowledge Science, Engineering and Management, 2011

Automation of test case generation from textual use cases.
Proceedings of the 4th International Conference on Interaction Sciences: Information Technology, 2011

From textual use cases to service component models.
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.
Proceedings of the 10th International Conference on Quality Software, 2010

Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition.
Proceedings of the Advanced Intelligent Computing Theories and Applications, 2010

Automatically Testing Web Services Choreography with Assertions.
Proceedings of the Formal Methods and Software Engineering, 2010

Applying Ordinary Differential Equations to the Performance Analysis of Service Composition.
Proceedings of the Formal Methods and Software Engineering, 2010

Modeling and Verification of an Automatic Train Protection System.
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.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Test Data Generation for Derived Types in C Program.
Proceedings of the TASE 2009, 2009

Measuring the Survivability of Object-Oriented Software.
Proceedings of the TASE 2009, 2009

Path-Based Approach to Integration Testing.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Reliability Computing for Service Composition.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Modelling and Verification of Port Based Component Composition.
Proceedings of the Ninth International Conference on Quality Software, 2009

Rebuilding Web Application Requirements Based on User Navigation.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Test Case Generation of Concurrent Programs Based on Event Graph.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Modelling and Verification of Web Navigation.
Proceedings of the Web Engineering, 9th International Conference, 2009

Static Analysis of Concurrent Programs Using Ordinary Differential Equations.
Proceedings of the Theoretical Aspects of Computing, 2009

Towards the Verification of Services Collaboration.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Port Based Reliability Computing for Service Composition.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

Model Checking Service Component Composition by SPIN.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
A rigorous approach towards test case generation.
Inf. Sci., 2008

Formal architectural models for agent-based service systems.
Int. J. Comput. Appl. Technol., 2008

An Improvement of Software Architecture Verification.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Performance Analysis of Service Composition Using Ordinary Differential Equations.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A Rigorous Model of Service Component Architecture.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

2006
Fuzzy timed Petri nets - analysis and implementation.
Math. Comput. Model., 2006

A Formal Architectural Model For Mobile Service Systems.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005
Fuzzy timed petri net definitions, properties, and applications.
Math. Comput. Model., 2005

1997
Existence of the Solutions of Fuzzy Differential Equations with Parameters.
Inf. Sci., 1997


  Loading...