Liang Zou

Liang Zou

Tencent - Haitian / China
Others
AD Scientific Index ID: 4464355
腾讯
person_outline Liang Zou's MOST POPULAR ARTICLES
1-) A calculus for hybrid CSPJ Liu, J Lv, Z Quan, N Zhan, H Zhao, C Zhou, L ZouAsian Symposium on Programming Languages and Systems, 1-15, 20101172010
2-) An improved HHL prover: an interactive theorem prover for hybrid systemsS Wang, N Zhan, L ZouFormal Methods and Software Engineering: 17th International Conference on …, 2015752015
3-) Verifying Chinese train control system under a combined scenario by theorem provingL Zou, J Lv, S Wang, N Zhan, T Tang, L Yuan, Y LiuVerified Software: Theories, Tools, Experiments: 5th International …, 2014762014
4-) Verifying simulink diagrams via a hybrid hoare logic proverL Zou, N Zhany, S Wang, M Fränzle, S Qin2013 Proceedings of the International Conference on Embedded Software …, 2013762013
5-) Formal verification of Simulink/Stateflow diagramsL Zou, N Zhan, S Wang, M FränzleAutomated Technology for Verification and Analysis: 13th International …, 2015712015