Static application security testing for crypto-currency ecosystems. - Shu Wang; Bingzhou Zheng (CASCON, 2014)

Accurate and Consistent Graph Model Generation from Text with Large Language Models. - Boqi Chen; Ou Wei; Bingzhou Zheng; Gunter Mussbacher (CoRR, 2025)

MCeT: Behavioral Model Correctness Evaluation using Large Language Models. - Khaled Ahmed 004; Jialing Song; Boqi Chen; Ou Wei; Bingzhou Zheng (CoRR, 2025)