Zhengheng Yuan

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Real Time Embedded

Scheduling Algorithm

Formal Verification

Top Venues

Ershov Memorial Conference

Publications

Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. IEEE Trans. Intell. Transp. Syst. 19 (11) (2018)
Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li
An adaptive scheduling algorithm for heterogeneous Hadoop systems. ICIS (2017)
Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
Hybrid Lustre. Ershov Memorial Conference (2015)
Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang
Decomposing Automatic Train Control Verification System with Projection. APSEC (2015)
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE (2013)