Jinyu Kai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2014–2016
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SERA | Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. | Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao |
| 2015 | SNPD | Survivability prediction of web system based on log statistics. | Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao |
| 2014 | SNPD | A requirements description language pLSC for probabilistic branches and three-stage events. | Jinyu Kai, Huaikou Miao, Honghao Gao |