Unified Modeling of Active and Reactive Components for Real-Time Systems. - Zhucheng Shao; Jing Liu 012; Xiaohong Chen 007; Zuohua Ding; Zhengheng Yuan (TASE, 2013)

Decomposing Automatic Train Control Verification System with Projection. - Jing Xu; Xiaohong Chen 001; Tingliang Zhou; Zhengheng Yuan; Kezhen Huang (APSEC, 2015)

Hybrid Lustre. - Zhengheng Yuan; Tingliang Zhou; Jing Liu 012; Juan Luo; Yi Zhang; Xiaohong Chen 007 (Ershov Memorial Conference, 2015)

An adaptive scheduling algorithm for heterogeneous Hadoop systems. - Jiazhen Han; Zhengheng Yuan; Yiheng Han; Cheng Peng; Jing Liu 012; Guangli Li (ICIS, 2017)

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. - Zhengheng Yuan; Xiaohong Chen 007; Jing Liu 012; Yijun Yu; Haiying Sun; Tingliang Zhou; Zhi Jin (IEEE Trans. Intell. Transp. Syst., 2018)