Contents

Trade-Off Costs of Software Non-Functional Requirements ZHANG Xuan, WANG Xu, LI Tong, BAI Chuan and KANG Yan-Ni 2017,28(5):1247-1270 [Abstract(4051)]  [View PDF(6687)2.02 M]

Overlapping Deep Web Data Source Selection Based on Stratified Sampling JIANG Jun-Yan, PENG Zhi-Yong, WU Xiao-Ying, PENG Cheng-Chen and WANG Min 2017,28(5):1271-1295 [Abstract(3654)]  [View PDF(5155)2.01 M]

Congested Link Loss Rate Range Inference Algorithm in IP Network CHEN Yu, ZHOU Wei, DUAN Zhe-Min, QIAN Ye-Kui and ZHAO Xin 2017,28(5):1296-1314 [Abstract(3403)]  [View PDF(5664)888.88 K]

Inter-Process Asynchronous Communication in Autonomous Vehicle Based on Shared Memory CHEN Cun-Tong, ZHAO Jun-Qiao, YE Chen, DENG Rong, GUAN Lin-Ting and LI De-Yi 2017,28(5):1315-1325 [Abstract(4447)]  [View PDF(9390)2.34 M]

Special Issue's Articles

形式化方法与应用专题前言 董威,赵建华,吕鸣松 2017,28(5):1049-1050 [Abstract(4124)]  [View PDF(8671)353.21 K]

Automatic Approach of Generating Summaries for Common Loops and Its Application ZHAI Juan, TANG Zhen-Hao, LI Bin, ZHAO Jian-Hua and LI Xuan-Dong 2017,28(5):1051-1069 [Abstract(5006)]  [View PDF(7768)1.07 M]

Temporal Definability of Regular Model Classes WANG Shan-Xia, MA Ming-Hui, CHEN Wu and DENG Hui-Wen 2017,28(5):1070-1079 [Abstract(4455)]  [View PDF(7290)615.63 K]

Coverability Problem of Asynchronous Multi-Process Timed Automata LIU Li and LI Guo-Qiang 2017,28(5):1080-1090 [Abstract(4447)]  [View PDF(7780)627.50 K]

Diagnosability of Discrete-Event Systems with Uncertain Observations WEN Xi-Ming, YU Quan, CHANG Liang and WANG Ju 2017,28(5):1091-1106 [Abstract(4790)]  [View PDF(7910)898.71 K]

Convergence-Oriented Static Approach for Simplifying Execution Traces of Concurrent Programs CHANG Xi, XUE Jian-Xin, ZHANG Zhuo and MAO Xiao-Guang 2017,28(5):1107-1117 [Abstract(4819)]  [View PDF(6707)684.44 K]

Safety Verification of Trajectory Planning for Multiple Robots LIU Tao, WANG Shu-Ling and ZHAN Nai-Jun 2017,28(5):1118-1127 [Abstract(5452)]  [View PDF(7979)587.08 K]

Self-Adaptive Statistical Model Checking Approach for CPS DU De-Hui, ZAN Hui, JIANG Kai-Qiang and CHENG Bei 2017,28(5):1128-1143 [Abstract(5078)]  [View PDF(9288)1.23 M]

Co-Verification Approach to Control Software Program for CPS ZHANG Yu, DONG Yun-Wei, FENG Wen-Long and HUANG Meng-Xing 2017,28(5):1144-1166 [Abstract(5104)]  [View PDF(9741)1.03 M]

Specification and Runtime Verification for Activity-Oriented Context-Aware Applications LI Xuan-Song, TAO Xian-Ping, LÜ Jian and SONG Wei 2017,28(5):1167-1182 [Abstract(5023)]  [View PDF(7795)685.17 K]

Survey on Formal Method of Trustworthy Construction for Communication-Based Train Control Systems CHEN Ming-Song, BAO Yong-Xiang, SUN Hai-Ying, MIAO Wei-Kai, CHEN Xiao-Hong and ZHOU Ting-Liang 2017,28(5):1183-1203 [Abstract(5871)]  [View PDF(13729)923.66 K]

Formal Verification of Memory Management System in Spacecraft Using Event-B QIAO Lei, YANG Meng-Fei, TAN Yan-Liang, PU Ge-Guang and YANG Hua 2017,28(5):1204-1220 [Abstract(5155)]  [View PDF(8787)2.33 M]

Partial Evaluator for peC and Its Application to Compiler Validation GUO De-Gui, WANG Guan-Cheng, LÜ Shuai and LIU Lei 2017,28(5):1221-1232 [Abstract(4541)]  [View PDF(7466)700.98 K]

Key Translations of the Trustworthy Compiler L2C and Its Design and Implementation SHANG Shu, GAN Yuan-Ke, SHI Gang, WANG Sheng-Yuan and DONG Yuan 2017,28(5):1233-1246 [Abstract(5112)]  [View PDF(8460)772.48 K]