Hongshu Wang

According to our database, Hongshu Wang authored at least 9 papers between 2000 and 2026.

Collaborative distances:

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

2026

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair.

Hongshu Wang, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Aït-Ameur, Jin Song Dong

CoRR, May, 2026

2025

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging.

Yunrui Pei, Hongshu Wang, Wenjie Zhang, Yun Lin, Weiyu Kong, Jin Song Dong

CoRR, August, 2025

PAT-Agent: Autoformalization for Model Checking.

Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

TraceWalker: Synthesizing Interactive Debugging Progresses via Dataflow and Control-flow Inference.

Yunrui Pei, Yuk Kwan Wong, Chenyang Zhang, Hongshu Wang, Wenjie Zhang, Yun Lin

Proceedings of the 32nd Asia-Pacific Software Engineering Conference, 2025

2022

Adversarial Based Unsupervised Domain Adaptation for Bearing Fault Diagnosis.

Hongshu Wang, Rui Yang

Proceedings of the 27th International Conference on Automation and Computing, 2022

2017

Estimating Leaf Area Density of Individual Trees Using the Point Cloud Segmentation of Terrestrial LiDAR Data and a Voxel-Based Model.

Shihua Li, Leiyu Dai, Hongshu Wang, Yong Wang, Ze He, Sen Lin

Remote. Sens., 2017

2014

Urban land cover classification using aerial LiDAR and CCD images.

Shihua Li, Zhaoyu Li, Hongshu Wang, Jingxian Wang, Liang Li

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2010

A Neighborhood Correlated Empirical Weighted Algorithm for Fictitious Play.

Hongshu Wang, Chunyan Yu, Liqiao Wu

Proceedings of the Life System Modeling and Intelligent Computing, 2010

2000

A Statistical Method for Assessment of 3-D Medical Image Registration.

Hongshu Wang, David Dagan Feng, Sung-Cheng Huang

Proceedings of the Visualisation 2000, 2000