| 2008 |
|---|
| 9 | EE | Junhua Ding,
Lian Mo,
Xudong He:
An approach for specification construction using property-preserving refinement patterns.
SAC 2008: 797-803 |
| 2006 |
|---|
| 8 | EE | 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) |
| 2005 |
|---|
| 7 | EE | 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 | EE | 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 | EE | 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 | EE | Xudong He,
Junhua Ding,
Yi Deng:
Model checking software architecture specifications in SAM.
SEKE 2002: 271-278 |
| 1998 |
|---|
| 1 | EE | Hwan Dong,
Junhua Ding,
Xin Li,
Jian Lu:
On Open Communication Frameworks for Software Agents.
TOOLS (27) 1998: 188-195 |
