| 2008 |
|---|
| 7 | EE | Zuohua Ding,
Zhenbang Chen,
Jing Liu:
A Rigorous Model of Service Component Architecture.
Electr. Notes Theor. Comput. Sci. 207: 33-48 (2008) |
| 2007 |
|---|
| 6 | EE | Zhenbang Chen,
Abdel Hakim Hannousse,
Dang Van Hung,
Istvan Knoll,
Xiaoshan Li,
Zhiming Liu,
Yang Liu,
Qu Nan,
Joseph C. Okika,
Anders P. Ravn,
Volker Stolz,
Lu Yang,
Naijun Zhan:
Modelling with Relational Calculus of Object and Component Systems - rCOS.
CoCoME 2007: 116-145 |
| 5 | EE | Zhenbang Chen,
Xiaoshan Li,
Zhiming Liu,
Volker Stolz,
Lu Yang:
Harnessing rCOS for Tool Support - The CoCoME Experience.
Formal Methods and Hybrid Real-Time Systems 2007: 83-114 |
| 4 | EE | Zhenbang Chen,
Zhiming Liu,
Volker Stolz,
Lu Yang,
Anders P. Ravn:
A Refinement Driven Component-Based Design.
ICECCS 2007: 277-289 |
| 3 | EE | Wei Dong,
Zhenbang Chen,
Ji Wang:
A Contract-based Approach to Specifying and Verifying Safety Critical Systems.
Electr. Notes Theor. Comput. Sci. 176(2): 89-103 (2007) |
| 2006 |
|---|
| 2 | EE | Zhenbang Chen,
Ji Wang,
Wei Dong,
Zhichang Qi,
Wing Lok Yeung:
An Interface Theory Based Approach to Verification of Web Services.
COMPSAC (2) 2006: 139-144 |
| 1 | EE | Zhenbang Chen,
Ji Wang,
Wei Dong,
Zhichang Qi:
Towards Formal Interfaces for Web Services with Transactions.
SITIS 2006: 292-304 |
