Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Naijun Zhan
conf.researchr.org general profile
FM 2026 profile
Internetware 2026 profile
PLDI 2026 profile
Not registered as user
Name:
Naijun Zhan
Country:
China
Affiliation:
Peking University; Zhongguancun Laboratory
Contributions
2026
Internetware
Presenter of Formal Design of Safety-critical Cyber-Physical Systems within the Keynotes-track
PLDI
Author of Path-Sensitive Abstract Interpretation for WCET Estimation within the PLDI Research Papers-track
FM
Author of Exact Moment Estimation of Stochastic Differential Dynamics within the Research Track-track
Author of Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel within the Industry Day-track
Share
x
Wed 7 Oct 03:03