A High-Precision Approach of Traffic Anomaly Based on Fractal and Binary Symbolic. - Meiyu Sun; Xinjun Lv (SKG, 2013)

Enhancing the Formal Verification of Train Control Systems based on Decomposition. - Tengfei Li 002; Junfeng Sun; Xinjun Lv; Xiang Chen; Jing Liu 012; Haiying Sun (COMPSAC, 2023)