Zhangbo Duan is an author at Beihang University specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceBlockchainCryptographyVerificationData SecuritySoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2017–2018
4
4
Formal Modeling and Verification of Smart Contracts
Xiaomin Bai, Zijing Cheng, Zhangbo Duan et al. · 2018 · 99 citations
Inter-Blockchain Communication
Zhidong Chen, Zhuo Yu, Zhangbo Duan et al. · DEStech Transactions on Computer Science and Engineering · 2017 · 29 citations
Formal Modeling and Verification of Blockchain System
Zhangbo Duan, Hongliang Mao, Zhidong Chen et al. · 2018 · 18 citations
Blockchain Consensus Protocol, Engineering, Formal Modeling +14
Template-based AADL automatic code generation
Kai Hu, Zhangbo Duan, Jiye Wang et al. · Frontiers of Computer Science · 2018 · 16 citations
Rows per page
1–4 of 4