Volume 28,Issue 5,2017 Table of Contents

Other Issues:  
  
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(1300)]  [View PDF(891)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(1578)]  [View PDF(976)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(1046)]  [View PDF(822)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(1320)]  [View PDF(1707)2.34 M]
  • Special Issue's Articles

  • 形式化方法与应用专题前言
  • 董威,赵建华,吕鸣松
  • 2017,28(5):1049-1050 [Abstract(1493)]  [View PDF(1610)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(1954)]  [View PDF(1159)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(1658)]  [View PDF(1178)615.63 K]
  • Coverability Problem of Asynchronous Multi-Process Timed Automata
  • LIU Li and LI Guo-Qiang
  • 2017,28(5):1080-1090 [Abstract(1657)]  [View PDF(1373)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(1810)]  [View PDF(1186)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(1963)]  [View PDF(1044)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(2080)]  [View PDF(1329)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(1945)]  [View PDF(1349)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(1774)]  [View PDF(1369)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(2106)]  [View PDF(1250)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(1988)]  [View PDF(2684)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(1880)]  [View PDF(1188)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(1739)]  [View PDF(1582)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(1908)]  [View PDF(1233)772.48 K]