Chenfeng Wei

According to our database, Chenfeng Wei authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

LiDARDustX: A LiDAR Dataset for Dusty Unstructured Road Environments.

Chenfeng Wei, Qi Wu, Si Zuo, Jiahua Xu, Boyang Zhao, Zeyu Yang, Guotao Xie, Shenhong Wang

CoRR, May, 2025

ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution).

Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2025

2024

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning.

Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro

CoRR, 2024

LiSD: An Efficient Multi-Task Learning Framework For Lidar Segmentation and Detection.

Jiahua Xu, Si Zuo, Chenfeng Wei, Wei Zhou

Proceedings of the IEEE International Conference on Image Processing, 2024