Shenghua Feng

According to our database, Shenghua Feng authored at least 15 papers between 2018 and 2026.

Collaborative distances:

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

2026

Piecewise Analysis of Probabilistic Programs via 𝑘-Induction.

Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu

Proc. ACM Program. Lang., 2026

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

Proceedings of the Formal Methods - 27th International Symposium, 2026

Exact Moment Estimation of Stochastic Differential Dynamics.

Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu

Proceedings of the Formal Methods - 27th International Symposium, 2026

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions.

Shenghua Feng, Jie An, Fanjiang Xu

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2024

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

Proceedings of the Formal Methods - 26th International Symposium, 2024

Switching Controller Synthesis for Hybrid Systems Against STL Formulas.

Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan

Proceedings of the Formal Methods - 26th International Symposium, 2024

A Unified Framework for Quantitative Analysis of Probabilistic Programs.

Shenghua Feng, Tengshun Yang, Mingshuai Chen, Naijun Zhan

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Lower Bounds for Possibly Divergent Probabilistic Programs.

Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

Proc. ACM Program. Lang., April, 2023

Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

CoRR, 2023

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.

Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan

CoRR, 2023

2022

Differential Games Based on Invariant Sets Generation.

Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng

Proceedings of the American Control Conference, 2022

2021

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.

Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan

IEEE Trans. Autom. Control., 2021

2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics.

Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.

Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan

CoRR, 2018