Search the dblp DataBase

Publications of Author

1. Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu
   Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. [Citation Graph (0, 0)][DBLP]
   APWeb, 2006, pp:275-284 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   EUC, 2006, pp:732-741 [Conf]
   
3. Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
   Verifying Web Services Composition: A Transformation-Based Approach. [Citation Graph (0, 0)][DBLP]
   PDCAT, 2005, pp:546-548 [Conf]
   
4. Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
   Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. [Citation Graph (0, 0)][DBLP]
   SAINT, 2006, pp:116-122 [Conf]
   
5. 
   A Novel Collaborative Verification Environment for SoC Co-Verification. [Citation Graph (, )][DBLP]