| 2008 |
|---|
| 9 | EE | Rujuan Liu,
Guilan Dai,
Changjun Hu,
Chongchong Zhao:
A Verification Method for Temporal Consistency of Service Flow.
COMPSAC 2008: 1187-1192 |
| 2007 |
|---|
| 8 | EE | Xiaoying Bai,
Yongbo Wang,
Guilan Dai,
Wei-Tek Tsai,
Yinong Chen:
A Framework for Contract-Based Collaborative Verification and Validation of Web Services.
CBSE 2007: 258-273 |
| 7 | EE | Xiaoying Bai,
Dezheng Xu,
Guilan Dai:
Dynamic Reconfigurable Testing of Service-Oriented Architecture.
COMPSAC (1) 2007: 368-378 |
| 6 | EE | Guilan Dai,
Xiaoying Bai,
Yongbo Wang,
Fengjun Dai:
Contract-Based Testing for Web Services.
COMPSAC (1) 2007: 517-526 |
| 5 | EE | Guilan Dai,
Xiaoying Bai,
Chongchong Zhao:
A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S.
GCC 2007: 346-353 |
| 4 | EE | Guilan Dai,
Xiaoying Bai,
Chongchong Zhao:
A Framework for Model Checking Web Service Compositions Based on BPEL4WS.
ICEBE 2007: 165-172 |
| 2006 |
|---|
| 3 | EE | Dezheng Xu,
Xiaoying Bai,
Guilan Dai:
A Tuple-Space-Based Coordination Architecture for Test Agents in the MAST Framework.
SOSE 2006: 57-66 |
| 1999 |
|---|
| 2 | | Guilan Dai,
Baowen Xu:
An Ada-based Object-Oriented Modeling Language.
SIGPLAN Notices 34(12): 47-56 (1999) |
| 1 | | Guilan Dai,
Baowen Xu:
A Comparison of Real/time Object-Oriented Modeling Methods ROOM and OCTOPUS.
SIGPLAN Notices 34(12): 67-71 (1999) |
