2663 | -- | 2674 | Minxue Pan, You Li, Lei Bu, Xuandong Li. Loop reduction techniques for reachability analysis of linear hybrid automata |
2675 | -- | 2693 | Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He. The stochastic semantics and verification for periodic control systems |
2694 | -- | 2707 | Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou. An evaluation framework for energy aware buildings using statistical model checking |
2708 | -- | 2722 | Ziyou Wang, Minghui Zhou, Hong Mei. Towards a degradation-based mechanism for adaptive overload control |
2723 | -- | 2737 | Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker. Anticipatory active monitoring for safety- and security-critical software |
2738 | -- | 2756 | Jianmin Jiang, Shi Zhang, Ping Gong, Zhong Hong, Houguang Yue. Modeling and analyzing mixed communications in service-oriented trustworthy software |
2757 | -- | 2773 | Haibo Mi, Huaimin Wang, Yangfan Zhou, Michael R. Lyu, Hua Cai. Localizing root causes of performance anomalies in cloud computing systems by analyzing request trace logs |
2774 | -- | 2784 | Yanxiang He, Wei Wu, Yong Chen. An efficient method for detecting concurrency errors in object-oriented programs |
2785 | -- | 2799 | Yuhua Qi, Xiaoguang Mao, Yanjun Wen, Ziying Dai, Bin Gu. More efficient automatic repair of large-scale programs using weak recompilation |
2800 | -- | 2815 | Yuming Zhou, Hareton Leung, Qinbao Song, Jianjun Zhao, Hongmin Lu, Lin Chen, Baowen Xu. An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems |
2816 | -- | 2825 | Qinghua Zheng, Zhijiang Ou, Ting Liu, Zijiang Yang, Yuqiao Hou, Chao Zheng. Software structure evaluation based on the interaction and encapsulation of methods |
2826 | -- | 2840 | Chunrong Fang, Zhenyu Chen, Baowen Xu. Comparing logic coverage criteria on test case prioritization |
2841 | -- | 2848 | Qiulei Dong, Zhaopeng Gu, Zhanyi Hu. Automatic real-time SLAM relocalization based on a hierarchical bipartite graph model |
2849 | -- | 2864 | Shihong Yue, Teresa Wu, Lijun Cui, Huaxiang Wang. Clustering mechanism for electric tomography imaging |
2865 | -- | 2880 | Haikun Liu, Hai Jin, Xiaofei Liao, Bo Ma, Cheng-Zhong Xu. VMckpt: lightweight and live virtual machine checkpointing |
2881 | -- | 2887 | Ning Li, XinWei Zha, Qian Lan. Secure quantum report with authentication based on six-particle cluster state and entanglement swapping |
2888 | -- | 2898 | Xiaofeng Ai, Xiaohai Zou, YongZhen Li, Jianhua Yang, ShunPing Xiao. Bistatic scattering centres of cone-shaped targets and target length estimation |
2899 | -- | 2907 | Fuping Sun, Shuai Liu, Xinhui Zhu, Baohong Men. Research and progress of Beidou satellite navigation system |
2908 | -- | 2914 | Zhang Xiong, Hao Sheng, Wenge Rong, Dave E. Cooper. Intelligent transportation systems for smart cities: a progress review |