Yuanjie Si
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2013–2013
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICFEM | Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. | Yuanjie Si, Jun Sun, Yang Liu, Ting Wang |
| 2013 | ISSTA | Combining model checking and testing with an application to reliability prediction and distribution. | Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang |