| emsoft | participants

Naijun Zhan

Program Committees:
2019, 2020, 2021, and 2024
.

EMSOFT 2024: 24th International Conference on Embedded Software

Modelling and Analysis of the LatestTime Message Synchronization Policy in ROS

Chenhao Wu, Ruoxiang Li, Naijun Zhan, and Nan Guan

    EMSOFT 2021: 21st International Conference on Embedded Software

    Learning Nondeterministic Real-Time Automata

    Jie An, Bohua Zhan, Naijun Zhan, and Miaomiao Zhang

    EMSOFT 2020: 20th International Conference on Embedded Software

    Safety Verification for Random Ordinary Differential Equations

    Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, and Bican Xia

    EMSOFT 2018: 18th International Conference on Embedded Software

    The Opacity of Real-Time Automata

    Lingtai Wang, Naijun Zhan, and Jie An

    EMSOFT 2013: 13th International Conference on Embedded Software

    Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover

    Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, and Shengchao Qin

    EMSOFT 2011: 11th International Conference on Embedded Software

    Computing Semi-Algebraic Invariants for Polynomial Dynamical Systems

    Jiang Liu, Naijun Zhan, and Hengjun Zhao