Journal: Science in China Series F: Information Sciences

Volume 55, Issue 12

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