Junhua Ding

	2009
13		Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li: Modular Analysis of Software Architecture Model. Software Engineering Research and Practice 2009: 17-23
	2008
12		Junhua Ding, M. N. H. Tabrizi: Modeling and Model Checking of a Clinical Diagnostic Algorithm. ICNSC 2008: 78-83
11		Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He: Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC 2008: 376-381
10		Junhua Ding, Lian Mo, Xudong He: An approach for specification construction using property-preserving refinement patterns. SAC 2008: 797-803
	2006
9		Peter J. Clarke, Junhua Ding, Djuradj Babich, Brian A. Malloy: A Tool to Automatically Map Implementation-based Testing Techniques to Classes. International Journal of Software Engineering and Knowledge Engineering 16(4): 585-614 (2006)
8		Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng: A formal model-based approach for developing an interoperable mobile agent system. Multiagent and Grid Systems 2(4): 401-412 (2006)
	2005
7		Peter J. Clarke, Junhua Ding, Brian A. Malloy: A Tool to Map Testing Techniques to Classes. ITCC (2) 2005: 821-822
6		Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He: Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE 2005: 560-565
	2004
5		Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao: Modeling and analyzing security protocols in SAM: A case study. IASTED Conf. on Software Engineering and Applications 2004: 115-121
4		Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng: Formally analyzing software architectural specifications using SAM . Journal of Systems and Software 71(1-2): 11-29 (2004)
	2003
3		Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding: A Formal Architectural Model for Logical Agent Mobility. IEEE Trans. Software Eng. 29(1): 31-45 (2003)
	2002
2		Xudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278
	1998
1		Hwan Dong, Junhua Ding, Xin Li, Jian Lu: On Open Communication Frameworks for Software Agents. TOOLS (27) 1998: 188-195

Coauthor Index

1	Venkata Atluri	[13]
2	Djuradj Babich	[9]
3	Peter J. Clarke	[6] [7] [8] [9]
4	Zhengfan Dai	[5]
5	Yi Deng	[2] [3] [4] [6] [8]
6	Hwan Dong	[1]
7	Zhijiang Dong	[11] [13]
8	Yujian Fu	[11] [13]
9	Shu Gao	[5]
10	Xudong He	[2] [4] [5] [6] [8] [10] [11] [13]
11	Sha Li	[13]
12	Xin Li	[1]
13	Jian Lu	[1]
14	Brian A. Malloy	[7] [9]
15	Lian Mo	[10]
16	Tianjun Shi	[4]
17	M. N. H. Tabrizi	[12]
18	Dianxiang Xu	[3] [6] [8]
19	Jianwen Yin	[3]
20	Huiqun Yu	[4]

Colors in the list of coauthors