Satisfiability verification of engineering data safety rules of balise based on ROBDD. - Tongdian Wang; Huibing Zhao; Linfu Zhu (ITSC, 2016)

Interaction analysis and optimization of multi-antenna in dual-channel balise. - Linfu Zhu; Huibing Zhao; Tongdian Wang; Zhiwang Zhong (ITSC, 2016)

Analysis of configuration data errors in Communication-based Train Control systems. - Tongdian Wang; Wei Wang 279; Enrico Zio; Tao Tang; Datian Zhou (Simul. Model. Pract. Theory, 2019)

Research on safety verification methods of static data of train control systems based on deep association rules. - Tongdian Wang; Qingyang Xu (J. Supercomput., 2024)