Naijun Zhan

Cited by

	All	Since 2019
Citations	2961	1767
h-index	30	22
i10-index	75	57

400

200

100

300

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 1 8 5 13 5 8 11 37 38 72 41 73 97 114 111 152 250 97 208 225 271 283 380 392

Public access

View all

81 articles

1 article

available

not available

Based on funding mandates

Co-authors

Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASVerified email at ios.ac.cn
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Bohua ZhanInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Liang ZouTencentVerified email at tencent.com
ting ganSchool of Computer Science, Wuhan UniversityVerified email at whu.edu.cn
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaVerified email at swu.edu.cn
Jie AnInstitute of Software, Chinese Academy of Sciences, Beijing, ChinaVerified email at iscas.ac.cn
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
Lijun ZhangInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of SciencesVerified email at math.bas.bg
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Mingsheng YingUniversity of Technology SyeneyVerified email at uts.edu.au
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Stefan MitschSchool of Computing, DePaul UniversityVerified email at depaul.edu
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Eun-Young KangUniversity of Southern DenmarkVerified email at mmmi.sdu.dk

Naijun Zhan

School of Computer Science, Peking University

Verified email at ios.ac.cn - Homepage

Formal Methods Real-time embedded and hybrid systems Program Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A calculus for hybrid CSP J Liu, J Lv, Z Quan, N Zhan, H Zhao, C Zhou, L Zou Asian Symposium on Programming Languages and Systems, 1-15, 2010	145	2010
Computing semi-algebraic invariants for polynomial dynamical systems J Liu, N Zhan, H Zhao Proceedings of the ninth ACM international conference on Embedded software …, 2011	140	2011
Formal verification of quantum algorithms using quantum Hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	110*	2019
Discovering non-linear ranking functions by solving semi-algebraic systems Y Chen, B Xia, L Yang, N Zhan, C Zhou Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007	97	2007
Formal Verification of Simulink/Stateflow Diagrams N Zhan, S Wang, H Zhao Springer, 2017	94*	2017
Barrier certificates revisited L Dai, T Gan, B Xia, N Zhan Journal of Symbolic Computation 80, 62-86, 2017	87	2017
An improved HHL prover: an interactive theorem prover for hybrid systems S Wang, N Zhan, L Zou Formal Methods and Software Engineering: 17th International Conference on …, 2015	85	2015
Refinement and verification in component-based model-driven design Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan Science of Computer Programming 74 (4), 168-196, 2009	80	2009
Verifying Chinese train control system under a combined scenario by theorem proving L Zou, J Lv, S Wang, N Zhan, T Tang, L Yuan, Y Liu Verified Software: Theories, Tools, Experiments: 5th International …, 2014	76	2014
Verifying simulink diagrams via a hybrid hoare logic prover L Zou, N Zhany, S Wang, M Fränzle, S Qin 2013 Proceedings of the International Conference on Embedded Software …, 2013	76	2013
Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle Automated Technology for Verification and Analysis: 13th International …, 2015	70	2015
Recent advances in program verification through computer algebra L Yang, C Zhou, N Zhan, B Xia Frontiers of Computer Science in China 4, 1-16, 2010	70	2010
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007	62	2007
Inner-approximating reachable sets for polynomial systems with time-varying uncertainties B Xue, M Fränzle, N Zhan IEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019	58	2019
Generating polynomial invariants with DISCOVERER and QEPCAD Y Chen, B Xia, L Yang, N Zhan Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007	50	2007
Reachability analysis for solvable dynamical systems T Gan, M Chen, Y Li, B Xia, N Zhan IEEE Transactions on Automatic Control 63 (7), 2003-2018, 2017	49	2017
Program verification by using DISCOVERER L Yang, N Zhan, B Xia, C Zhou Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005	48	2005
Finding polynomial loop invariants for probabilistic programs Y Feng, L Zhang, DN Jansen, N Zhan, B Xia Automated Technology for Verification and Analysis: 15th International …, 2017	46	2017
Abstraction of elementary hybrid systems by variable transformation J Liu, N Zhan, H Zhao, L Zou International Symposium on Formal Methods, 360-377, 2015	45	2015
The opacity of real-time automata L Wang, N Zhan, J An IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018	44	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors