Tianjun Shi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

3 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)

2 Tianjun Shi, Xudong He: A Methodology for Dependability and Performability Analysis in SAM. DSN 2003: 679-688

1 Tianjun Shi, Xudong He: Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. WICSA 2002: 63-77

Selection of 4 from 4 records - Tianjun Shi has 6 coauthors

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
3		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)
2		Tianjun Shi, Xudong He: A Methodology for Dependability and Performability Analysis in SAM. DSN 2003: 679-688
1		Tianjun Shi, Xudong He: Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. WICSA 2002: 63-77