PPaperPicks

Naijun Zhan

11 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×6AAAI ×1ACL ×1OOPSLA ×1PLDI ×1POPL ×1

Frequent coauthors

Shenghua Feng
×5
Jie An
×4
Hao Wu
×3
Yue Fang
×2
Zhi Jin
×2
Hongshen Chen
×2
Xiao-hong Chen
×2
Jie Wang
×2
Bican Xia
×2
Ting Gan
×2
Fanjiang Xu
×1
Tianqi Zhao
×1

Papers

  1. Exact Moment Estimation of Stochastic Differential Dynamics
    FM 2026 ·
    Shenghua Feng
    ,
    Jie An
    , Naijun Zhan,
    Fanjiang Xu
  2. 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
  3. Path-Sensitive Abstract Interpretation for WCET Estimation
    PLDI 2026 ·
    Shangshang Xiao
    ,
    Mengxia Sun
    ,
    Wei Zhang
    , Naijun Zhan,
    Lei Ju
  4. Piecewise Analysis of Probabilistic Programs via 𝑘-Induction
    POPL 2026 ·
    Tengshun Yang
    ,
    Shenghua Feng
    ,
    Hongfei Fu
    , Naijun Zhan,
    Jingyu Ke
    ,
    Shiyang Wu
  5. RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
    AAAI 2026 ·
    Yue Fang
    ,
    Zhi Jin
    ,
    Jie An
    ,
    Hongshen Chen
    ,
    Xiao-hong Chen
    , Naijun Zhan
  6. Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
    ACL 2025 ·
    Yue Fang
    ,
    Zhi Jin
    ,
    Jie An
    ,
    Hongshen Chen
    ,
    Xiao-hong Chen
    , Naijun Zhan
  7. HpC: A Calculus for Hybrid and Mobile Systems
    OOPSLA 2025 ·
    Xiong Xu
    ,
    Jean-Pierre Talpin
    ,
    Shuling Wang
    ,
    Hao Wu
    ,
    Bohua Zhan
    ,
    Xinxin Liu
    , Naijun Zhan
  8. Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets
    FM 2024 ·
    Hao Wu
    ,
    Jie Wang
    ,
    Bican Xia
    ,
    Xiakun Li
    , Naijun Zhan,
    Ting Gan
  9. 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
  10. Switching Controller Synthesis for Hybrid Systems Against STL Formulas
    FM 2024 ·
    Han Su
    ,
    Shenghua Feng
    ,
    Sinong Zhan
    , Naijun Zhan
  11. The Opacity of Timed Automata
    FM 2024 ·
    Jie An
    ,
    Qiang Gao
    ,
    Lingtai Wang
    , Naijun Zhan,
    Ichiro Hasuo