2007 |
5 | EE | Tun Li,
Sikun Li,
Jinshan Yu,
Yang Guo:
A Novel Collaborative Verification Environment for SoC Co-Verification.
CSCWD 2007: 145-150 |
2006 |
4 | 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 |
3 | 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 |
2 | 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 |
1 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Verifying Web Services Composition: A Transformation-Based Approach.
PDCAT 2005: 546-548 |