Jinshan Yu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2007
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CSCWD | A Novel Collaborative Verification Environment for SoC Co-Verification. | Tun Li, Sikun Li, Jinshan Yu, Yang Guo |
| 2006 | APWEB | Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. | Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu |
| 2006 | EUC | Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. | Jinshan Yu, Tun Li, Yang Guo, QingPing Tan |
| 2005 | PDCAT | Verifying Web Services Composition: A Transformation-Based Approach. | Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu |