Naijun Zhan
Title
Cited by
Cited by
Year
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
1102011
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
892010
Discovering non-linear ranking functions by solving semi-algebraic systems
Y Chen, B Xia, L Yang, N Zhan, C Zhou
International Colloquium on Theoretical Aspects of Computing, 34-49, 2007
802007
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
732009
Formal Verification of Simulink/Stateflow Diagrams
N Zhan, S Wang, H Zhao
Springer, 2017
65*2017
A model of component-based programming
X Chen, J He, Z Liu, N Zhan
International Conference on Fundamentals of Software Engineering, 191-206, 2007
582007
Recent advances in program verification through computer algebra
L Yang, C Zhou, N Zhan, B Xia
Frontiers of Computer Science in China 4 (1), 1-16, 2010
562010
Barrier certificates revisited
L Dai, T Gan, B Xia, N Zhan
Journal of Symbolic Computation 80, 62-86, 2017
552017
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
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
502013
Generating polynomial invariants with DISCOVERER and QEPCAD
Y Chen, B Xia, L Yang, N Zhan
Formal Methods and Hybrid Real-Time Systems, 67-82, 2007
492007
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
472013
Program verification by using DISCOVERER
L Yang, N Zhan, B Xia, C Zhou
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
432005
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
International conference on computer aided verification, 187-207, 2019
42*2019
Formal verification of simulink/stateflow diagrams
L Zou, N Zhan, S Wang, M Fränzle
International Symposium on Automated Technology for Verification and …, 2015
402015
An improved HHL prover: an interactive theorem prover for hybrid systems
S Wang, N Zhan, L Zou
International Conference on Formal Engineering Methods, 382-399, 2015
372015
Abstraction of elementary hybrid systems by variable transformation
J Liu, N Zhan, H Zhao, L Zou
International Symposium on Formal Methods, 360-377, 2015
332015
Symbolic decision procedure for termination of linear programs
B Xia, L Yang, N Zhan, Z Zhang
Formal Aspects of computing 23 (2), 171-190, 2011
332011
Modelling with relational calculus of object and component systems-rCOS
Z Chen, AH Hannousse, D Van Hung, I Knoll, X Li, Z Liu, Y Liu, Q Nan, ...
The Common Component Modeling Example, 116-145, 2008
332008
A higher-order duration calculus
Z Chaochen, DP Guelev, Z Naijun
Millennial Perspectives in Computer Science, 407-416, 1999
30*1999
Formal verification of a descent guidance control program of a lunar lander
H Zhao, M Yang, N Zhan, B Gu, L Zou, Y Chen
International Symposium on Formal Methods, 733-748, 2014
282014
The system can't perform the operation now. Try again later.
Articles 1–20