Formal Modeling and Verification of Blockchain System. - Zhangbo Duan; Hongliang Mao; Zhidong Chen; Xiaomin Bai; Kai Hu 004; Jean-Pierre Talpin (ICCMS, 2018)

Formal Modeling and Verification of Smart Contracts. - Xiaomin Bai; Zijing Cheng; Zhangbo Duan; Kai Hu 004 (ICSCA, 2018)

Template-based AADL automatic code generation. - Kai Hu 004; Zhangbo Duan; Jiye Wang; Lingchao Gao; Lihong Shang (Frontiers Comput. Sci., 2019)