| 2026 | AAAI | Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions. | Shenghua Feng, Jie An, Fanjiang Xu |
| 2026 | FM | Exact Moment Estimation of Stochastic Differential Dynamics. | Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu |
| 2026 | FM | Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel. | Tianqi Zhao, Qinxiang Cao, Shenghua Feng, Minghui Zhou, Naijun Zhan, Yongzhi Cao, Junfeng Zhao, Haiyan Zhao, Hao Wang, Zhenjiang Hu |
| 2024 | FM | Switching Controller Synthesis for Hybrid Systems Against STL Formulas. | Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan |
| 2024 | FM | On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. | Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan |
| 2020 | CAV | Unbounded-Time Safety Verification of Stochastic Differential Dynamics. | Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan |
| 2019 | CAV | Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. | Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Frnzle, Bai Xue |