dblp.uni-trier.dewww.uni-trier.de

Zuohua Ding Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Zhenbang Chen [4]
2Jianming Dong [3]
3Wei Han [3]
4Jueliang Hu [2] [6] [7]
5Mingyue Jiang [8] [10]
6Jing Liu [4] [6] [10]
7Geguang Pu [7] [8]
8Jeff W. Sanders (Jeffrey W. Sanders) [8]
9Tao Sun [7]
10Zheng Wang [7]
11Ling Yin [6]
12Xiao Yu [7]
13Kao Zhang [2] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)