Zhengheng Yuan

According to our database, Zhengheng Yuan authored at least 5 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.

Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin

IEEE Trans. Intell. Transp. Syst., 2018

2017

An adaptive scheduling algorithm for heterogeneous Hadoop systems.

Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2015

Hybrid Lustre.

Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen

Proceedings of the Perspectives of System Informatics, 2015

Decomposing Automatic Train Control Verification System with Projection.

Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2013

Unified Modeling of Active and Reactive Components for Real-Time Systems.

Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013