Folgen
Bohua Zhan
Titel
Zitiert von
Zitiert von
Jahr
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
682019
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
352020
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
222012
Verifying asymptotic time complexity of imperative programs in Isabelle
B Zhan, MPL Haslbeck
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
182018
AUTO2, a saturation-based heuristic prover for higher-order logic
B Zhan
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016
172016
Learning real-time automata
J An, L Wang, B Zhan, N Zhan, M Zhang
Science China Information Sciences 64 (9), 192103, 2021
142021
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
132019
Efficient verification of imperative programs using auto2
B Zhan
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
122018
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
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
112022
Combinatorial proofs in bordered Heegaard Floer homology
B Zhan
Algebraic & Geometric Topology 16 (5), 2571-2636, 2016
112016
Functional Algorithms, Verified
T Nipkow, J Blanchette, M Eberl, A Gómez-Londoño, P Lammich, ...
92021
Quantum hoare logic
J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan
Archive of Formal Proofs, 2019
92019
Formalization of the fundamental group in untyped set theory using auto2
B Zhan
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
92017
HHLPy: practical verification of hybrid systems using Hoare logic
H Sheng, A Bentkamp, B Zhan
International Symposium on Formal Methods, 160-178, 2023
82023
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
82023
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
82023
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
82020
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
82019
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
72021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20