| 2006 |
|---|
| 4 | | Weixiang Sun,
Tianjun Shi,
Gonzalo Argote-Garcia,
Yi Deng,
Xudong He:
Achieving a Better Middleware Design through Formal Modeling and Analysis.
SEKE 2006: 463-468 |
| 2004 |
|---|
| 3 | 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 |
|---|
| 2 | EE | Tianjun Shi,
Xudong He:
A Methodology for Dependability and Performability Analysis in SAM.
DSN 2003: 679-688 |
| 2002 |
|---|
| 1 | | Tianjun Shi,
Xudong He:
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM.
WICSA 2002: 63-77 |
