Naijun Zhan - Concepedia

Author

Naijun Zhan

Institute of Software ORCID

Also Known As

FrÃ¤nzle, Martin, NAIJUN ZHAN, NaiJun ZHAN, NaiJun Zhan, Naijun Zhan, Zhan Naijun, Zhan, Naijun

244

Publications

2.2K

Citations

H-Index

Concepts

All Affiliations

Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences Carl von Ossietzky Universität Oldenburg Peking University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	18	509
2	Computer Science	10	11	280
3	Systems Engineering	9	9	263
4	Computer Engineering	3	3	59
5	Social Sciences	1	1	56

Naijun Zhan

Publications

785

Citations

H-Index

Page 1

	Year	Citations
Computing semi-algebraic invariants for polynomial dynamical systems Jiang Liu, Naijun Zhan, Hengjun Zhao Semi-algebraic InvariantsFormal MethodsAlgebraic AnalysisSai GenerationSymbolic Dynamic	2011	115
Barrier certificates revisited Liyun Dai, Ting Gan, Bican Xia, Journal of Symbolic Computation Public Key InfrastructureEngineeringBarrier CertificatesInformation SecuritySoftware Certification	2016	71
Refinement and verification in component-based model-driven design Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Science of Computer Programming Architectural DesignEngineeringAutomated ReasoningComponent-based Software EngineeringComponent-based Model-driven Design	2008	56
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties Xue Bai, Martin Fränzle, Naijun Zhan IEEE Transactions on Automatic Control Numerical AnalysisMathematical ProgrammingReachability AnalysisEngineeringReachability Problem	2019	50
Learning Nondeterministic Real-Time Automata Jie An, Bohua Zhan, Naijun Zhan, ACM Transactions on Embedded Computing Systems Artificial IntelligenceEngineeringMachine LearningResidual Real-time AutomataComputational Complexity	2021	46
The Opacity of Real-Time Automata Lingtai Wang, Naijun Zhan, Jie An IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	2018	42
Reachability Analysis for Solvable Dynamical Systems Ting Gan, Mingshuai Chen, Yangjia Li, IEEE Transactions on Automatic Control Reachability AnalysisEngineeringReachability ProblemDiscrete Dynamical SystemFormal Methods	2017	39
Recent advances in program verification through computer algebra Yang Lu, Chaochen Zhou, Naijun Zhan, Frontiers of Computer Science in China Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerification	2010	35
Symbolic decision procedure for termination of linear programs Bican Xia, Yang Lu, Naijun Zhan, Formal Aspects of Computing	2009	25
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL Ehsan Ahmad, Yunwei Dong, Brian Larson, Science China Information Sciences Railway TrafficEngineeringRail TransportAutomationProcess Control	2015	25

Page 1