|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 27 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zuohua Ding, Hui Shen, Qi-Wei Ge |
Checking system boundedness using ordinary differential equations.  |
Inf. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Hui Shen, Abraham Kandel |
Performance Analysis of Service Composition Based on Fuzzy Differential Equations. |
IEEE T. Fuzzy Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohong Chen, Jing Liu, Zuohua Ding |
On Constructing Software Environment Ontology for Time-Continuous Environment. |
KSEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Hui Shen, Jianwen Cao |
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets. |
PaCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Yin, Jing Liu, Zuohua Ding |
Modeling and Prototyping Business Processes in AutoPA. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
AutoPA, Prototyping, Validation |
| 1 | Xijiao Xiong, Jing Liu, Zuohua Ding |
Design and Verification of a Trustable Medical System. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
Automatically Testing Web Services Choreography with Assertions. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Hui Shen, Jing Liu |
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Hui Shen |
Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition. |
ICIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding |
Modeling and Verification of an Automatic Train Protection System. |
COMPSAC Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu |
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Jing Liu |
An Improvement of Software Architecture Verification. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding |
Static Analysis of Concurrent Programs Using Ordinary Differential Equations. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion |
| 1 | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders |
Modelling and Verification of Web Navigation. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Requirement Engineering, Link Analysis, Web Modelling |
| 1 | Yue Xie, Dehui Du, Jing Liu, Zuohua Ding |
Towards the Verification of Services Collaboration. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Mingyue Jiang |
Port Based Reliability Computing for Service Composition. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Mingyue Jiang |
Modelling and Verification of Port Based Component Composition. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Verification, Component composition |
| 1 | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
Test Data Generation for Derived Types in C Program. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin |
Measuring the Survivability of Object-Oriented Software. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Mingyue Jiang |
Reliability Computing for Service Composition. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
Non-Homogeneous Poisson, Reliability, Service composition, Service component architecture |
| 1 | Jueliang Hu, Zuohua Ding, Geguang Pu |
Path-Based Approach to Integration Testing. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
Program Slicing, Integration Testing, Path Analysis |
| 1 | Zuohua Ding, Mingyue Jiang |
Rebuilding Web Application Requirements Based on User Navigation. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
Natural Language Processing, Web application, Use case, User navigation |
| 1 | Xiaoan Bao, Na Zhang, Zuohua Ding |
Test Case Generation of Concurrent Programs Based on Event Graph. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
Concurrent program, test case, event graph |
| 1 | Zuohua Ding, Mingyue Jiang, Jing Liu |
Model Checking Service Component Composition by SPIN. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Jianming Dong, Wei Han |
Formal architectural models for agent-based service systems. |
IJCAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Kao Zhang, Jueliang Hu |
A rigorous approach towards test case generation. |
Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Zhenbang Chen, Jing Liu |
A Rigorous Model of Service Component Architecture. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Kao Zhang |
Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
continuous Petri net, Performance analysis, concurrent program, differential equation |
| 1 | Zuohua Ding, Horst Bunke, Oscar Kipersztok, Moti Schneider, Abraham Kandel |
Fuzzy timed Petri nets - analysis and implementation. |
Mathematical and Computer Modelling |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding |
A Formal Architectural Model For Mobile Service Systems. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zuohua Ding, Horst Bunke, Moti Schneider, Abraham Kandel |
Fuzzy timed petri net definitions, properties, and applications. |
Mathematical and Computer Modelling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Ming Ma, Abraham Kandel |
Existence of the Solutions of Fuzzy Differential Equations with Parameters. |
Inf. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")