| * | 2009 |
|---|
| 10 | EE | Zuohua Ding,
Mingyue Jiang,
Jing Liu:
Model Checking Service Component Composition by SPIN.
ACIS-ICIS 2009: 1029-1034 |
| 9 | EE | Zuohua Ding:
Static Analysis of Concurrent Programs Using Ordinary Differential Equations.
ICTAC 2009: 1-35 |
| 8 | EE | Zuohua Ding,
Mingyue Jiang,
Geguang Pu,
Jeff W. Sanders:
Modelling and Verification of Web Navigation.
ICWE 2009: 181-188 |
| 7 | EE | 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 |
| 6 | EE | Jueliang Hu,
Zuohua Ding,
Jing Liu,
Ling Yin:
Measuring the Survivability of Object-Oriented Software.
TASE 2009: 329-330 |
| 2008 |
|---|
| 5 | EE | Zuohua Ding,
Kao Zhang:
Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.
COMPSAC 2008: 841-846 |
| 4 | EE | Zuohua Ding,
Zhenbang Chen,
Jing Liu:
A Rigorous Model of Service Component Architecture.
Electr. Notes Theor. Comput. Sci. 207: 33-48 (2008) |
| 3 | EE | Zuohua Ding,
Jianming Dong,
Wei Han:
Formal architectural models for agent-based service systems.
IJCAT 31(1/2): 45-63 (2008) |
| 2 | EE | 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 |
