Hansheng Wei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2018–2019
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICA3PP | ParaMoC: A Parallel Model Checker for Pushdown Systems. | Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang |
| 2019 | ICST | SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. | Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang |
| 2019 | KSEM | Automated Mining and Checking of Formal Properties in Natural Language Requirements. | Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei |
| 2018 | ISPA | Efficient Parallel CTL Model-Checking for Pushdown Systems. | Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi |
| 2018 | ISPA | Parallel Model Checking on Pushdown Systems. | Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi |