| 2008 |
|---|
| 5 | EE | Junhua Ding,
Lian Mo,
Xudong He:
An approach for specification construction using property-preserving refinement patterns.
SAC 2008: 797-803 |
| 2004 |
|---|
| 4 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Approach to Designing Secure Software Architectures.
HASE 2004: 289-290 |
| 3 | | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Integrating Security Administration into Software Architectures Design.
SEKE 2004: 416-420 |
| 2002 |
|---|
| 2 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Method for Analyzing Software Architecture Models in SAM.
COMPSAC 2002: 645-652 |
| 1 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Formal Analysis of Real-Time Systems with SAM.
ICFEM 2002: 275-286 |
