Shenghua Feng

6 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×4 AAAI ×1 POPL ×1

Frequent coauthors

Naijun Zhan

×5

Jie An

×2

Fanjiang Xu

×2

Tianqi Zhao

×1

Qinxiang Cao

×1

Minghui Zhou

×1

Yongzhi Cao

×1

Junfeng Zhao

×1

Haiyan Zhao

×1

Hao Wang

×1

Zhenjiang Hu

×1

Tengshun Yang

×1

Papers

Exact Moment Estimation of Stochastic Differential Dynamics
FM 2026 · Shenghua Feng,
Jie An
,
Naijun Zhan
,
Fanjiang Xu
Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel
FM 2026 ·
Tianqi Zhao
,
Qinxiang Cao
, Shenghua Feng,
Minghui Zhou
,
Naijun Zhan
,
Yongzhi Cao
,
Junfeng Zhao
,
Haiyan Zhao
,
Hao Wang
,
Zhenjiang Hu
Piecewise Analysis of Probabilistic Programs via 𝑘-Induction
POPL 2026 ·
Tengshun Yang
, Shenghua Feng,
Hongfei Fu
,
Naijun Zhan
,
Jingyu Ke
,
Shiyang Wu
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
AAAI 2026 · Shenghua Feng,
Jie An
,
Fanjiang Xu
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
FM 2024 ·
Hao Wu
, Shenghua Feng,
Ting Gan
,
Jie Wang
,
Bican Xia
,
Naijun Zhan
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
FM 2024 ·
Han Su
, Shenghua Feng,
Sinong Zhan
,
Naijun Zhan