Runtime Verification with Multi-valued Formula Rewriting. - Lin Zhao 020; Tao Tang 004; Jinzhao Wu; Tianhua Xu (TASE, 2010)

Safety Monitoring for ETCS with 4-valued LTL. - Xian Li; Ming Chai; Lin Zhao 020; Tao Tang 004; Tianhua Xu (ISADS, 2011)

Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. - Yupeng Liu; Tao Tang 004; Jintao Liu; Lin Zhao 020; Tianhua Xu (ISADS, 2011)

Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata. - Jintao Liu; Tao Tang 004; Lin Zhao 020; Tianhua Xu; Wei Zheng (ISORC Workshops, 2012)

Component Based Design of Fault Tolerant Devices in Cyber Physical System. - Tianhua Xu; Zhiming Liu 001; Tao Tang 004; Wei Zheng; Lin Zhao 020 (ISORC Workshops, 2012)

Monitor-based temporal properties checking of train control systems with quantitative constraints. - Lin Zhao 020; Ming Chai; Yang Liu (ITSC, 2014)