Anticipatory active monitoring for safety- and security-critical software. - Wei Dong 006; Changzhi Zhao; Shaoxian Shu; Martin Leucker (Sci. China Inf. Sci., 2012)

Synthesizing Secure Reactive Controller for Unmanned Aerial System. - Wei Lu; Shaoxian Shu; Rao Shi; Rui Li 050; Wei Dong 006 (DSA, 2019)

Security Controller Synthesis for ROS-based Robot. - Xudong Zhao 006; Shaoxian Shu; Yutian Lan; Haining Feng; Wei Dong 006 (QRS Companion, 2020)

Controller Synthesis for ROS-based Multi-Robot Collaboration. - Xudong Zhao 006; Rui Li 050; Wanwei Liu; Hao Shi 007; Shaoxian Shu; Wei Dong 006 (SEKE, 2020)

An Interactive Ranking Algorithm for Program Static Analysis. - Liang Sun; Wenfeng Lin; Shaoxian Shu; Liuying Li (QRS Companion, 2021)

Research on Directed Grey-box Fuzzing Technology Based on Target (S). - Liang Sun; Peng Wu; Shaoxian Shu (SEKE, 2023)