Zhengheng Yuan

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

Xiaohong Chen, Haiying Sun, Zhi Jin, 2018, IEEE Transactions on Intelligent Transportation Systems.

An adaptive scheduling algorithm for heterogeneous Hadoop systems

Cheng Peng, Guangli Li, Jing Liu, 2017, 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS).

Decomposing Automatic Train Control Verification System with Projection

Jing Xu, Xiaohong Chen, Zhengheng Yuan, 2015, 2015 Asia-Pacific Software Engineering Conference (APSEC).

Hybrid Lustre

Yi Zhang, Jing Liu, Juan Luo, 2015, Ershov Memorial Conference.

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

Zuohua Ding, Jing Liu, Xiaohong Chen, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.