Enhanced resilient sensor attack detection using fusion interval and measurement history. - Kang Yang; Rui Wang 024; Yu Jiang 001; Chenxia Luo; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (CODES+ISSS, 2018)

Runtime Verification of Robots Collision Avoidance Case Study. - Chenxia Luo; Rui Wang 024; Yu Jiang 001; Kang Yang; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (COMPSAC (1), 2018)

Sensor attack detection using history based pairwise inconsistency. - Kang Yang; Rui Wang 024; Yu Jiang 001; Houbing Song; Chenxia Luo; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (Future Gener. Comput. Syst., 2018)