Shaoxian Shu

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 5

Top Topics

Ranking Algorithm

Multi Robot Coordination

Controller Synthesis

Autonomic Systems

Top Venues

Publications

Liang Sun, Peng Wu, Shaoxian Shu
Research on Directed Grey-box Fuzzing Technology Based on Target (S). SEKE (2023)
Liang Sun, Wenfeng Lin, Shaoxian Shu, Liuying Li
An Interactive Ranking Algorithm for Program Static Analysis. QRS Companion (2021)
Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong
Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE (2020)
Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong
Security Controller Synthesis for ROS-based Robot. QRS Companion (2020)
Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong
Synthesizing Secure Reactive Controller for Unmanned Aerial System. DSA (2019)
Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker
Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. 55 (12) (2012)