| 2008 |
|---|
| 12 | EE | Junhua Ding,
M. N. H. Tabrizi:
Modeling and Model Checking of a Clinical Diagnostic Algorithm.
ICNSC 2008: 78-83 |
| 11 | EE | Yujian Fu,
Zhijiang Dong,
Junhua Ding,
Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
QSIC 2008: 376-381 |
| 10 | EE | Junhua Ding,
Lian Mo,
Xudong He:
An approach for specification construction using property-preserving refinement patterns.
SAC 2008: 797-803 |
| 2006 |
|---|
| 9 | 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) |
| 8 | EE | 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 | 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 |
