Zhangbo Duan

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Rapid Prototyping

Code Generation

Colored Petri Nets

Top Venues

Frontiers Comput. Sci.

Publications

Kai Hu, Zhangbo Duan, Jiye Wang, Lingchao Gao, Lihong Shang
Template-based AADL automatic code generation. Frontiers Comput. Sci. 13 (4) (2019)
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin
Formal Modeling and Verification of Blockchain System. ICCMS (2018)
Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu
Formal Modeling and Verification of Smart Contracts. ICSCA (2018)