Hansheng Wei

According to our database, Hansheng Wei authored at least 6 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Parallel computational tree logic model-checking on pushdown systems.

Xin Ye, Jianqi Shi, Yanhong Huang, Qin Li, Hansheng Wei, Xinyu Chen

Concurr. Comput. Pract. Exp., 2022

2019

Automated Mining and Checking of Formal Properties in Natural Language Requirements.

Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei

Proceedings of the Knowledge Science, Engineering and Management, 2019

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective.

Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ParaMoC: A Parallel Model Checker for Pushdown Systems.

Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

2018

Parallel Model Checking on Pushdown Systems.

Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Efficient Parallel CTL Model-Checking for Pushdown Systems.

Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018