Artykuły udostępnione publicznie: - Naijun ZhanWięcej informacji
Niedostępny w żadnym miejscu: 1
基于 AADL 的中国高速铁路控制系统中的移动授权场景建模与验证
E Ahmad, YW Dong, B Larson, JD Lü, T Tang, NJ Zhan
Science China Information Sciences 58, 1-20, 2015
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
Dostępne w jakimś miejscu: 81
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
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
Formal Verification of Simulink/Stateflow Diagrams
N Zhan, S Wang, H Zhao
Springer, 2017
Upoważnienia: National Natural Science Foundation of China
Barrier certificates revisited
L Dai, T Gan, B Xia, N Zhan
Journal of Symbolic Computation 80, 62-86, 2017
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
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
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
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
Upoważnienia: UK Engineering and Physical Sciences Research Council
Formal verification of Simulink/Stateflow diagrams
L Zou, N Zhan, S Wang, M Fränzle
Automated Technology for Verification and Analysis: 13th International …, 2015
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China …
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
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China …
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
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
Abstraction of elementary hybrid systems by variable transformation
J Liu, N Zhan, H Zhao, L Zou
International Symposium on Formal Methods, 360-377, 2015
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
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
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
The opacity of real-time automata
L Wang, N Zhan, J An
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
MARS: a toolchain for modelling, analysis and verification of hybrid systems
M Chen, X Han, T Tang, S Wang, M Yang, N Zhan, H Zhao, L Zou
Provably Correct Systems, 39-58, 2017
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
Automatic verification of stability and safety for delay differential equations
L Zou, M Fränzle, N Zhan, PN Mosaad
International Conference on Computer Aided Verification, 338-355, 2015
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China …
Hybrid annex: An AADL extension for continuous behavior and cyber-physical interaction modeling
E Ahmad, BR Larson, SC Barrett, N Zhan, Y Dong
Proceedings of the 2014 ACM SIGAda annual conference on High integrity …, 2014
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
E Ahmad, Y Dong, BR Larson, J Lü, T Tang, N Zhan
Sci. China Inf. Sci. 58 (11), 1-20, 2015
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China
Safe over-and under-approximation of reachable sets for delay differential equations
B Xue, PN Mosaad, M Fränzle, M Chen, Y Li, N Zhan
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China …
Robust invariant sets generation for state-constrained perturbed polynomial systems
B Xue, Q Wang, N Zhan, M Fränzle
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China …
Under-approximating reach sets for polynomial continuous systems
B Xue, M Fränzle, N Zhan
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
Upoważnienia: Chinese Academy of Sciences, National Natural Science Foundation of China …
Automatically generating SystemC code from HCSP formal models
G Yan, L Jiao, S Wang, L Wang, N Zhan
ACM Transactions on Software Engineering and Methodology (TOSEM) 29 (1), 1-39, 2020
Upoważnienia: National Natural Science Foundation of China
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy