Liang Zou
Liang Zou
Tencent
Verified email at tencent.com
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
792010
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
442013
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
432013
Formal verification of simulink/stateflow diagrams
L Zou, N Zhan, S Wang, M Fršnzle
International Symposium on Automated Technology for Verification and†…, 2015
342015
Abstraction of elementary hybrid systems by variable transformation
J Liu, N Zhan, H Zhao, L Zou
International Symposium on Formal Methods, 360-377, 2015
282015
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
252014
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
242015
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
232015
Adding Formal Meanings to AADL with Hybrid Annex
E Ahmad, Y Dong, S Wang, N Zhan, L Zou
Formal Aspects of Component Software: 11th International Symposium, FACS†…, 2015
122015
Adding formal meanings to AADL with hybrid annex
E Ahmad, Y Dong, S Wang, N Zhan, L Zou
International Conference on Formal Aspects of Component Software, 228-247, 2014
122014
Automatic loop summarization via path dependency analysis
X Xie, B Chen, L Zou, Y Liu, W Le, X Li
IEEE Transactions on Software Engineering 45 (6), 537-557, 2017
112017
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
82017
Formal analysis and verification of chinese train control system
DQ GUO, SL WANG, T TANG, NJ ZHAN, DT ZHOU, L ZOU
SCIENTIA SINICA Informationis 45 (3), 417-438, 2015
42015
Loopster: Static loop termination analysis
X Xie, B Chen, L Zou, SW Lin, Y Liu, X Li
Proceedings of the 2017 11th Joint Meeting on Foundations of Software†…, 2017
32017
Detecting missing checks for identifying insufficient attack protections
L Situ, L Zou, L Wang, Y Liu, B Mao, X Li
Proceedings of the 40th International Conference on Software Engineering†…, 2018
12018
A refinement calculus for hybrid systems
B Gu, L Zou
2014 19th International Conference on Engineering of Complex Computer†…, 2014
2014
Automatic Stability and Safety Verification for Delay Differential Equations
L Zou, M Fršnzle, N Zhan, PN Mosaad
The system can't perform the operation now. Try again later.
Articles 1–17