Decomposing Automatic Train Control Verification System with Projection
Xu, Jing, Chen, Xiaohong, Zhou, Tingliang, Yuan, Zhengheng, Huang, Kezhen
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)
Get full text
Conference Proceeding
Journal Article
An adaptive scheduling algorithm for heterogeneous Hadoop systems
Jiazhen Han, Zhengheng Yuan, Yiheng Han, Cheng Peng, Jing Liu, Guangli Li
Published in 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) (01.05.2017)
Published in 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) (01.05.2017)
Get full text
Conference Proceeding
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
Yuan, Zhengheng, Chen, Xiaohong, Liu, Jing, Yu, Yijun, Sun, Haiying, Zhou, Tingliang, Jin, Zhi
Published in IEEE transactions on intelligent transportation systems (01.11.2018)
Published in IEEE transactions on intelligent transportation systems (01.11.2018)
Get full text
Journal Article
Unified Modeling of Active and Reactive Components for Real-Time Systems
Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01.07.2013)
Get full text
Conference Proceeding