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
742010
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
422013
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
412013
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
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
242014
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
Abstraction of elementary hybrid systems by variable transformation
J Liu, N Zhan, H Zhao, L Zou
International Symposium on Formal Methods, 360-377, 2015
232015
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
212015
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
102015
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
102014
Automatic loop summarization via path dependency analysis
X Xie, B Chen, L Zou, Y Liu, W Le, X Li
IEEE Transactions on Software Engineering, 2017
82017
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
22017
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