Παρακολούθηση
Liang Zou
Liang Zou
Tencent
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tencent.com
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1472010
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
862015
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
772014
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
762013
Formal verification of Simulink/Stateflow diagrams
L Zou, N Zhan, S Wang, M Fränzle
Automated Technology for Verification and Analysis: 13th International …, 2015
712015
Abstraction of elementary hybrid systems by variable transformation
J Liu, N Zhan, H Zhao, L Zou
International Symposium on Formal Methods, 360-377, 2015
472015
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
412014
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
382017
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
332017
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
322015
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
202015
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
122017
Formal analysis and verification of chinese train control system
D Guo, J Lv, S Wang, T Tang, N Zhan, D Zhou, L Zou
Scientia Sinica Informationis 45 (3), 417, 2015
92015
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
Automatic stability and safety verification for delay differential equations
L Zou, M Fränzle, N Zhan, PN Mosaad
Proceedings of International Conference on Computer Aided Verification, 338-355, 2015
12015
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
2015
A Refinement Calculus for Hybrid Systems
B Gu, L Zou
2014 19th International Conference on Engineering of Complex Computer …, 2014
2014
A Calculus for Hybrid CSP
L Jiang, L Jidong, Q Zhao, Z Naijun, Z Hengjun, Z Chaochen, Z Liang
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–18