LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. - Yibo Dong 001; Xiaoyu Zhang; Yicong Xu; Chang Cai; Yu Chen; Weikai Miao; Jianwen Li; Geguang Pu (ESEC/SIGSOFT FSE, 2023)

Revisiting Assumptions Ordering in CAR-Based Model Checking. - Yibo Dong 001; Yu Chen; Jianwen Li; Geguang Pu; Ofer Strichman (CoRR, 2024)

Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal. - Yibo Dong 001; Yu Chen; Jianwen Li; Geguang Pu (TASE, 2025)