The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zuohua Ding" ( http://dblp.L3S.de/Authors/Zuohua_Ding )

  Author page on DBLP  Author page in RDF  Community of Zuohua Ding in ASPL-2

Publication years (Num. hits)
1997-2009 (22) 2010-2012 (18) 2013-2014 (15) 2015-2017 (18) 2018-2019 (10)
Publication types (Num. hits)
article(41) inproceedings(42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 27 keywords

Results
Found 84 publication records. Showing 83 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jian Hou, Mengfan Xiang, Zuohua Ding Group Information Based Nonlinear Consensus for Multi-Agent Systems. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wenbing Tang, Zuohua Ding, Mengchu Zhou A Spammer Identification Method for Class Imbalanced Weibo Datasets. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongyun Huang, Mingyue Jiang, Zuohua Ding, Mengchu Zhou Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jing Liu 0012, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He AADL+: a simulation-based methodology for cyber-physical systems. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Bing Liu, Haibang Xia Designing and Implementing Mobile Robot Navigation Based on Behavioral Programming. Search on Bibsonomy ICIC (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, Geguang Pu, MengChu Zhou Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Shang-Wei Lin, Zuohua Ding A distributed approach to robust control of multi-robot systems. Search on Bibsonomy Automatica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, Mengchu Zhou Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lin Ma, Zuohua Ding Software Bug Localization Based on Key Range Invariants. Search on Bibsonomy SATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components. Search on Bibsonomy ISSRE Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rong Wang, Zuohua Ding, Ning Gui, Yang Liu 0003 Detecting Bugs of Concurrent Programs With Program Invariants. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Zuohua Ding Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Zhijie Wei, Haibo Chen A software cybernetics approach to self-tuning performance of on-line transaction processing systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mingyue 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. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Tiantian Shuai, Mingyue Jiang REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart. Search on Bibsonomy QRS Companion The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mingyue 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. Search on Bibsonomy MET@ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Ting Xu, Tiantian Ye, Yuan Zhou 0005 Online Prediction and Improvement of Reliability for Service Oriented Systems. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ting Shu, Tiantian Ye, Zuohua Ding, Jinsong Xia Fault localization based on statement frequency. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, MengChu Zhou Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks. Search on Bibsonomy IEEE Trans. Intelligent Transportation Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, Mengchu Zhou Modeling Self-Adaptive Software Systems With Learning Petri Nets. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, Mengchu Zhou Petri net based test case generation for evolved specification. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu 0003 Detecting Bugs of Concurrent Programs with Program Invariants. Search on Bibsonomy QRS Companion The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hongyun Huang, Zuohua Ding Port based software architecture and its analysis. Search on Bibsonomy SERA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, Mingyue Jiang, MengChu Zhou A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jing Liu 0012, Xijiao Xiong, Zuohua Ding, Jifeng He Modeling and analysis of interactive telemedicine systems. Search on Bibsonomy ISSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, MengChu Zhou A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mingyue Jiang, Zuohua Ding, Mengchu Zhou, Yuan Zhou 0005 Formal modeling and verification of secure mobile agent systems. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mei-Hwa Chen, Xiaoxue Li Online reliability computing of composite services based on program invariants. Search on Bibsonomy Inf. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Zhou, Hui Shen, Qi-Wei Ge A Public-Key Cryptosystem Based On Stochastic Petri Net. Search on Bibsonomy JSW The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, MengChu Zhou, ShouGuang Wang Ordinary Differential Equation-Based Deadlock Detection. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, MengChu Zhou Stability Analysis of Switched Fuzzy Systems Via Model Checking. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chenghui Hu, Zuohua Ding Locating Software Faults Based on Control Flow and Data Dependence. Search on Bibsonomy JCP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mingyue Jiang, T. Y. Chen, Fei-Ching Kuo, Zhiquan Zhou, Zuohua Ding Testing Model Transformation Programs using Metamorphic Testing. Search on Bibsonomy SEKE The full citation details ... 2014 DBLP  BibTeX  RDF
1Conghuan Zheng, Zuohua Ding, Jueliang Hu Self-tuning Performance of Database Systems with Neural Network. Search on Bibsonomy ICIC (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhijie Wei, Zuohua Ding, Jueliang Hu Self-tuning performance of database systems based on fuzzy rules. Search on Bibsonomy FSKD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Yuan Zhou 0005, MengChu Zhou Modeling self-adaptive software systems with learning petri nets. Search on Bibsonomy ICSE Companion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen, Abraham Kandel Hypergraph partitioning for the parallel computing of fuzzy differential equations. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jing Liu 0012, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding Hybrid MARTE statecharts. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Jiaying Ma, Abraham Kandel Petri Net Representation of Switched Fuzzy Systems. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ling Yin, Jing Liu 0012, Zuohua Ding, Frédéric Mallet, Robert de Simone Schedulability Analysis with CCSL Specifications. Search on Bibsonomy APSEC (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhucheng Shao, Jing Liu 0012, Xiaohong Chen 0001, Zuohua Ding, Zhengheng Yuan Unified Modeling of Active and Reactive Components for Real-Time Systems. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhucheng Shao, Jing Liu 0012, Zuohua Ding, Mingsong Chen, Ningkang Jiang Spatio-temporal Properties Analysis for Cyber-physical Systems. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Abraham Kandel Port-Based Reliability Computing for Service Composition. Search on Bibsonomy IEEE Trans. Services Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen, Qi-Wei Ge Checking system boundedness using ordinary differential equations. Search on Bibsonomy Inf. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen, Jianwen Cao Parallel computation of continuous Petri nets based on hypergraph partitioning. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mingyue Jiang, Zuohua Ding, Jing Liu 0012 Service Selection Based On Behavior Matching. Search on Bibsonomy JSW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Jiaying Ma Modeling and Analysis of Switched Fuzzy Systems. Search on Bibsonomy SEKE The full citation details ... 2012 DBLP  BibTeX  RDF
1Jiaying Ma, Wei Han, Zuohua Ding Behavior Analysis of Software Systems Based on Petri Net Slicing. Search on Bibsonomy ICIC (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ziwei Liu, Jing Liu 0012, Jifeng He, Zuohua Ding Spatio-temporal UML Statechart for Cyber-Physical Systems. Search on Bibsonomy ICECCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen, Abraham Kandel Performance Analysis of Service Composition Based on Fuzzy Differential Equations. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiaohong Chen 0001, Jing Liu 0012, Zuohua Ding On Constructing Software Environment Ontology for Time-Continuous Environment. Search on Bibsonomy KSEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen, Jianwen Cao Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets. Search on Bibsonomy PaCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Jens Palsberg From textual use cases to service component models. Search on Bibsonomy PESOS@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ling Yin, Jing Liu 0012, Zuohua Ding Modeling and Prototyping Business Processes in AutoPA. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF AutoPA, Prototyping, Validation
1Xijiao Xiong, Jing Liu 0012, Zuohua Ding Design and Verification of a Trustable Medical System. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen, Jing Liu 0012 Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lei Zhou 0007, Jing Ping, Hao Xiao, Zheng Wang 0005, Geguang Pu, Zuohua Ding Automatically Testing Web Services Choreography with Assertions. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xijiao Xiong, Jing Liu 0012, Miaomiao Zhang, Zuohua Ding Modeling and Verification of an Automatic Train Protection System. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Hui Shen Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition. Search on Bibsonomy ICIC (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu 0012 Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. Search on Bibsonomy QSIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Jing Liu 0012 An Improvement of Software Architecture Verification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xiaoan Bao, Na Zhang, Zuohua Ding Test Case Generation of Concurrent Programs Based on Event Graph. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concurrent program, test case, event graph
1Zuohua Ding, Mingyue Jiang Rebuilding Web Application Requirements Based on User Navigation. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Natural Language Processing, Web application, Use case, User navigation
1Zuohua Ding Static Analysis of Concurrent Programs Using Ordinary Differential Equations. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
1Zuohua Ding, Mingyue Jiang, Jing Liu 0012 Model Checking Service Component Composition by SPIN. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jueliang Hu, Zuohua Ding, Geguang Pu Path-Based Approach to Integration Testing. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Program Slicing, Integration Testing, Path Analysis
1Zuohua Ding, Mingyue Jiang Reliability Computing for Service Composition. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Non-Homogeneous Poisson, Reliability, Service composition, Service component architecture
1Yue Xie, Dehui Du, Jing Liu 0012, Zuohua Ding Towards the Verification of Services Collaboration. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders Modelling and Verification of Web Navigation. Search on Bibsonomy ICWE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model Checking, Requirement Engineering, Link Analysis, Web Modelling
1Zuohua Ding, Mingyue Jiang Modelling and Verification of Port Based Component Composition. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modeling, Verification, Component composition
1Zheng Wang 0005, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu Test Data Generation for Derived Types in C Program. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jueliang Hu, Zuohua Ding, Jing Liu 0012, Ling Yin Measuring the Survivability of Object-Oriented Software. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Mingyue Jiang Port Based Reliability Computing for Service Composition. Search on Bibsonomy IEEE SCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Zhenbang Chen, Jing Liu 0012 A Rigorous Model of Service Component Architecture. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Kao Zhang, Jueliang Hu A rigorous approach towards test case generation. Search on Bibsonomy Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Jianming Dong, Wei Han Formal architectural models for agent-based service systems. Search on Bibsonomy IJCAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Kao Zhang Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF continuous Petri net, Performance analysis, concurrent program, differential equation
1Zuohua Ding, Lujuan Xiao, Jueliang Hu Performance Analysis of Service Composition Using Ordinary Differential Equations. Search on Bibsonomy FTDCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Horst Bunke, Oscar Kipersztok, Moti Schneider, Abraham Kandel Fuzzy timed Petri nets - analysis and implementation. Search on Bibsonomy Mathematical and Computer Modelling The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Zuohua Ding A Formal Architectural Model For Mobile Service Systems. Search on Bibsonomy SEKE The full citation details ... 2006 DBLP  BibTeX  RDF
1Zuohua Ding, Horst Bunke, Moti Schneider, Abraham Kandel Fuzzy timed petri net definitions, properties, and applications. Search on Bibsonomy Mathematical and Computer Modelling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zuohua Ding, Ming Ma, Abraham Kandel Existence of the Solutions of Fuzzy Differential Equations with Parameters. Search on Bibsonomy Inf. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #83 of 83 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license