Yibo Dong

According to our database, Yibo Dong authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

2025

Revisiting Assumptions Ordering in CAR-Based Model Checking.

Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2025

CAR-DT artifact.

Yibo Dong, Yu Chen

Dataset, April, 2025

Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal.

Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu

Proceedings of the Theoretical Aspects of Software Engineering, 2025

Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores.

Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman

Proceedings of the Model Checking Software - 31st International Symposium, 2025

Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation.

Yibo Dong, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang, Jianwen Li, Chengyu Zhang, Geguang Pu

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

2023

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023