Zuohua Ding

According to our database1, Zuohua Ding authored at least 89 papers between 1997 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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. Reliability, 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. Reliability, 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. Reliability, 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.
ISSE, 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.
JSW, 2014

Locating Software Faults Based on Control Flow and Data Dependence.
JCP, 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.
JSW, 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

From textual use cases to service component models.
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

2010
Design and Verification of a Trustable Medical System.
Electron. Notes Theor. Comput. Sci., 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
An Improvement of Software Architecture Verification.
Electron. Notes Theor. Comput. Sci., 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.
IJCAT, 2008

A Rigorous Model of Service Component Architecture.
Electron. Notes Theor. Comput. Sci., 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

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...