| 2009 |
|---|
| 11 | EE | Feng Liu,
Otmane Aït Mohamed,
Xiaoyu Song,
QingPing Tan:
A case study on system-level modeling by aspect-oriented programming.
ISQED 2009: 345-349 |
| 2007 |
|---|
| 10 | EE | Gang Chen,
Xiaoyu Song,
Feng Liu,
QingPing Tan,
Fei He:
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".
ACM Trans. Design Autom. Electr. Syst. 12(4): (2007) |
| 2006 |
|---|
| 9 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Feng Liu,
Jinshan Yu:
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.
APWeb 2006: 275-284 |
| 8 | EE | Jinshan Yu,
Tun Li,
Yang Guo,
QingPing Tan:
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.
EUC 2006: 732-741 |
| 7 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.
SAINT 2006: 116-122 |
| 2005 |
|---|
| 6 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Verifying Web Services Composition.
ER (Workshops) 2005: 354-363 |
| 5 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Model Transformation Based Verification of Web Services Composition.
GCC 2005: 71-76 |
| 4 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Setup Algorithm of Web Service Composition.
ICA3PP 2005: 139-148 |
| 3 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Verifying web services composition based on hierarchical colored petri nets.
IHIS 2005: 47-54 |
| 2 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Transformation-Driven Development of Composite Web Services.
ISPA Workshops 2005: 637-646 |
| 1 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Verifying Web Services Composition: A Transformation-Based Approach.
PDCAT 2005: 546-548 |
