Learning Software Engineering through Experience of ACM-ICPC Training and Practicing Exercises. - Jie-ao Zhu; Mian Sun; Xue Liu; Hao Li (ICFCE, 2011)

Design and implementation of automatic verification for PLC systems. - Mo Xia; Mian Sun; Guiming Luo; Xibin Zhao (ICCI*CC, 2013)

Formal Modeling and Verification for MVB. - Mo Xia; Kueiming Lo; Shuangjia Shao; Mian Sun (J. Appl. Math., 2013)

Modeling and model checking by modular approach. - Mo Xia; Guiming Luo; Mian Sun (ICSE Companion, 2014)

A copy detection algorithm for game character concept design based on pose features. - Mian Sun; Li Li 014; Shanqing Zhang; Jianfeng Lu 005; Xiaoqing Feng; Chin-Chen Chang 001 (ACM TUR-C, 2019)