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 | 69 | 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 | 37 | 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 | 22 | 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 | 18 | 2018 |
AUTO2, a saturation-based heuristic prover for higher-order logic B Zhan Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016 | 17 | 2016 |
Learning real-time automata J An, L Wang, B Zhan, N Zhan, M Zhang Science China Information Sciences 64 (9), 192103, 2021 | 15 | 2021 |
ARCH-COMP20 category report: Hybrid systems theorem proving S Mitsch, JJ Huerta y Munive, X Jin, B Zhan, S Wang, N Zhan ARCH20 74, 141-161, 2019 | 13 | 2019 |
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 | 12 | 2022 |
Efficient verification of imperative programs using auto2 B Zhan Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 12 | 2018 |
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 | 11* | 2022 |
Combinatorial proofs in bordered Heegaard Floer homology B Zhan Algebraic & Geometric Topology 16 (5), 2571-2636, 2016 | 11 | 2016 |
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 | 9 | 2023 |
Functional Algorithms, Verified T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ... | 9 | 2021 |
Quantum hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Archive of Formal Proofs, 2019 | 9 | 2019 |
Formalization of the fundamental group in untyped set theory using auto2 B Zhan Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 9 | 2017 |
HHLPy: practical verification of hybrid systems using Hoare logic H Sheng, A Bentkamp, B Zhan International Symposium on Formal Methods, 160-178, 2023 | 8 | 2023 |
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 | 8 | 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 | 8 | 2020 |
Design of point-and-click user interfaces for proof assistants B Zhan, Z Ji, W Zhou, C Xiang, J Hou, W Sun Formal Methods and Software Engineering: 21st International Conference on …, 2019 | 8 | 2019 |
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 | 7 | 2021 |