Παρακολούθηση
Naijun Zhan
Naijun Zhan
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ios.ac.cn - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1382010
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
1312011
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
952007
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
91*2019
Formal Verification of Simulink/Stateflow Diagrams
N Zhan, S Wang, H Zhao
Springer, 2017
91*2017
Barrier certificates revisited
L Dai, T Gan, B Xia, N Zhan
Journal of Symbolic Computation 80, 62-86, 2017
812017
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
782009
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
742014
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
742013
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
732015
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
702010
Formal verification of Simulink/Stateflow diagrams
L Zou, N Zhan, S Wang, M Fränzle
Automated Technology for Verification and Analysis: 13th International …, 2015
652015
A model of component-based programming
X Chen, J He, Z Liu, N Zhan
International Symposium on Fundamentals of Software Engineering …, 2007
592007
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
522019
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
512007
Program verification by using DISCOVERER
L Yang, N Zhan, B Xia, C Zhou
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
492005
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
442017
Symbolic decision procedure for termination of linear programs
B Xia, L Yang, N Zhan, Z Zhang
Formal Aspects of computing 23, 171-190, 2011
422011
Formal verification of a descent guidance control program of a lunar lander
H Zhao, M Yang, N Zhan, B Gu, L Zou, Y Chen
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
402014
Abstraction of elementary hybrid systems by variable transformation
J Liu, N Zhan, H Zhao, L Zou
International Symposium on Formal Methods, 360-377, 2015
392015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20