| Formal verification of quantum algorithms using quantum Hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 91 | 2019 |
| Learning one-clock timed automata J An, M Chen, B Zhan, N Zhan, M Zhang International Conference on Tools and Algorithms for the Construction and …, 2020 | 43 | 2020 |
| Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structure B Zhan, S Kimmel, A Hassidim Proceedings of the 3rd Innovations in Theoretical Computer Science …, 2012 | 21 | 2012 |
| Verifying asymptotic time complexity of imperative programs in Isabelle B Zhan, MPL Haslbeck Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 19 | 2018 |
| Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow X Xu, S Wang, B Zhan, X Jin, JP Talpin, N Zhan Theoretical computer science 903, 1-25, 2022 | 18 | 2022 |
| Learning real-time automata J An, L Wang, B Zhan, N Zhan, M Zhang Science China Information Sciences 64 (9), 192103, 2021 | 18 | 2021 |
| HHLPy: practical verification of hybrid systems using Hoare logic H Sheng, A Bentkamp, B Zhan International Symposium on Formal Methods, 160-178, 2023 | 16 | 2023 |
| ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. S Mitsch, X Jin, B Zhan, S Wang, N Zhan ARCH@ ADHS, 120-132, 2021 | 16 | 2021 |
| AUTO2, a saturation-based heuristic prover for higher-order logic B Zhan Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016 | 16 | 2016 |
| Efficient verification of imperative programs using auto2 B Zhan Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 14 | 2018 |
| Active learning of one-clock timed automata using constraint solving R Xu, J An, B Zhan International Symposium on Automated Technology for Verification and …, 2022 | 12 | 2022 |
| Formal analysis of 5G authentication and key management for applications (AKMA) T Yang, S Wang, B Zhan, N Zhan, J Li, S Xiang, Z Xiang, B Mao Journal of Systems Architecture 126, 102478, 2022 | 12* | 2022 |
| Functional Algorithms, Verified T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ... Verlag nicht ermittelbar, 2021 | 12 | 2021 |
| Semantics foundation for cyber-physical systems using higher-order UTP X Xu, JP Talpin, S Wang, B Zhan, N Zhan ACM Transactions on Software Engineering and Methodology 32 (1), 1-48, 2023 | 11 | 2023 |
| A denotational semantics of Simulink with higher-order UTP X Xu, B Zhan, S Wang, JP Talpin, N Zhan Journal of Logical and Algebraic Methods in Programming 130, 100809, 2023 | 11 | 2023 |
| Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow QQ Lin, SL Wang, BH Zhan, B Gu Journal of Computer Science and Technology 35, 1324-1342, 2020 | 11 | 2020 |
| Quantum hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Archive of Formal Proofs, 2019 | 11 | 2019 |
| Combinatorial proofs in bordered Heegaard Floer homology B Zhan Algebraic & Geometric Topology 16 (5), 2571-2636, 2016 | 11 | 2016 |
| A generalized hybrid Hoare logic N Zhan, X Jin, B Zhan, S Wang, D Guelev arXiv preprint arXiv:2303.15020, 2023 | 10 | 2023 |
| Formal verification of consensus in the taurus distributed database S Gao, B Zhan, D Liu, X Sun, Y Zhi, DN Jansen, L Zhang Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 10 | 2021 |
