Concepedia

Naijun Zhan

NZ

28

Publications

785

Citations

18

H-Index

2008

Active since

Affiliations

Institute of Software(Current)

Chinese Academy of Sciences

University of Chinese Academy of Sciences

Carl von Ossietzky Universität Oldenburg

Peking University

Naijun Zhan is an author at Institute of Software specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringAutomated ReasoningVerificationHybrid SystemsComputational ComplexityMathematical Programming

Publications per year

2008–2023

28

Publications

28

Computing semi-algebraic invariants for polynomial dynamical systems

Jiang Liu, Naijun Zhan, Hengjun Zhao · 2011 · 115 citations

Semi-algebraic Invariants, Formal Methods, Algebraic Analysis +4

Barrier certificates revisited

Liyun Dai, Ting Gan, Bican Xia et al. · Journal of Symbolic Computation · 2016 · 71 citations

Public Key Infrastructure, Engineering, Barrier Certificates +9

Refinement and verification in component-based model-driven design

Zhenbang Chen, Zhiming Liu, Anders P. Ravn et al. · Science of Computer Programming · 2008 · 56 citations

Architectural Design, Engineering, Automated Reasoning +12

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties

Xue Bai, Martin Fränzle, Naijun Zhan · IEEE Transactions on Automatic Control · 2019 · 50 citations

Numerical Analysis, Mathematical Programming, Reachability Analysis +14

Learning Nondeterministic Real-Time Automata

Jie An, Bohua Zhan, Naijun Zhan et al. · ACM Transactions on Embedded Computing Systems · 2021 · 46 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +18

Rows per page

1–5 of 28