 | 2009 |
|---|
| 13 |       | Zuohua Ding,
Mingyue Jiang,
Jing Liu:
Model Checking Service Component Composition by SPIN.
ACIS-ICIS 2009: 1029-1034 |
| 12 | | Yue Xie,
Dehui Du,
Jing Liu,
Zuohua Ding:
Towards the Verification of Services Collaboration.
COMPSAC (2) 2009: 428-433 |
| 11 | | Zuohua Ding:
Static Analysis of Concurrent Programs Using Ordinary Differential Equations.
ICTAC 2009: 1-35 |
| 10 | | Zuohua Ding,
Mingyue Jiang,
Geguang Pu,
Jeff W. Sanders:
Modelling and Verification of Web Navigation.
ICWE 2009: 181-188 |
| 9 | | Zuohua Ding,
Mingyue Jiang:
Port Based Reliability Computing for Service Composition.
IEEE SCC 2009: 403-410 |
| 8 | | Zheng Wang,
Xiao Yu,
Tao Sun,
Geguang Pu,
Zuohua Ding,
Jueliang Hu:
Test Data Generation for Derived Types in C Program.
TASE 2009: 155-162 |
| 7 | | Jueliang Hu,
Zuohua Ding,
Jing Liu,
Ling Yin:
Measuring the Survivability of Object-Oriented Software.
TASE 2009: 329-330 |
| 6 | | Zuohua Ding,
Jing Liu:
An Improvement of Software Architecture Verification.
Electr. Notes Theor. Comput. Sci. 243: 49-67 (2009) |
| 2008 |
|---|
| 5 | | Zuohua Ding,
Kao Zhang:
Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.
COMPSAC 2008: 841-846 |
| 4 | | Zuohua Ding,
Zhenbang Chen,
Jing Liu:
A Rigorous Model of Service Component Architecture.
Electr. Notes Theor. Comput. Sci. 207: 33-48 (2008) |
| 3 | | Zuohua Ding,
Jianming Dong,
Wei Han:
Formal architectural models for agent-based service systems.
IJCAT 31(1/2): 45-63 (2008) |
| 2 | | Zuohua Ding,
Kao Zhang,
Jueliang Hu:
A rigorous approach towards test case generation.
Inf. Sci. 178(21): 4057-4079 (2008) |
| 2006 |
|---|
| 1 |  | Zuohua Ding:
A Formal Architectural Model For Mobile Service Systems.
SEKE 2006: 670-675 |
