Automated Requirements Validation for ATP Software via Specification Review and Testing. - Weikai Miao; Geguang Pu; Yinbo Yao; Ting Su 001; Danzhu Bao; Yang Liu 003; Shuohao Chen; Kunpeng Xiong (ICFEM, 2016)

Trusted Industrial Digital Infrastructure for Equipment Manufacturing Innovation and Development. - Xuan Huang; Lijun Wei; Yuhan Yang; Danzhu Bao; Wentao Xu; Rongfeng Dai; Jing Wu 006; Chengnian Long (ICBCT, 2023)