| 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 | 147 | 2010 |
| 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 | 86 | 2015 |
| 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 | 77 | 2014 |
| 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 | 76 | 2013 |
| Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle Automated Technology for Verification and Analysis: 13th International …, 2015 | 71 | 2015 |
| Abstraction of elementary hybrid systems by variable transformation J Liu, N Zhan, H Zhao, L Zou International Symposium on Formal Methods, 360-377, 2015 | 47 | 2015 |
| 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 | 41 | 2014 |
| 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 | 37 | 2017 |
| 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 | 33 | 2017 |
| 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 | 32 | 2015 |
| 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 | 20 | 2015 |
| 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 | 12 | 2017 |
| 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 | 9 | 2015 |
| 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 | 1 | 2018 |
| 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 | 1 | 2015 |
| 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 | | |
Naijun ZhanSchool of Computer Science, Peking UniversityEmail verificata su ios.ac.cn