Volume 27,Issue 3,2016 Table of Contents

Other Issues:  
  
Contents

  • Online Web News Extraction via Tag Path Feature Fusio
  • WU Gong-Qing, HU Jun, LI Li, XU Zhe-Hao, LIU Peng-Cheng, HU Xue-Gang and WU Xin-Dong
  • 2016,27(3):714-735 [Abstract(1992)]  [View PDF(1584)2.39 M]
  • Special Issue's Articles

  • 软件形式化方法与应用专题前言
  • 詹乃军,王戟,李宣东
  • 2016,27(3):495-496 [Abstract(2487)]  [View PDF(2103)364.87 K]
  • Formalization of Geometric Algebra Theories in Higher-Order Logic
  • MA Sha, SHI Zhi-Ping, LI Li-Ming, GUAN Yong, ZHANG Jie and Xiaoyu SONG
  • 2016,27(3):497-516 [Abstract(2877)]  [View PDF(1987)476.76 K]
  • Termination Analysis of Non-Linear Loops over Closed and Bounded Connected Domain
  • LI Yi and FENG Yong
  • 2016,27(3):517-526 [Abstract(2581)]  [View PDF(1181)1.11 M]
  • Modeling Urban Traffic Control Systems from the Perspective of Real Time Calculus
  • SUN Jing-Hao, GUAN Nan, DENG Qing-Xu, ZHANG Xin and YANG Feng-Yuan
  • 2016,27(3):527-546 [Abstract(2560)]  [View PDF(1761)3.09 M]
  • Interrupt Data Race Detection Based on Shared Variable Access Order Pattern
  • CHEN Rui, YANG Meng-Fei and GUO Xiang-Ying
  • 2016,27(3):547-561 [Abstract(2300)]  [View PDF(1787)1.69 M]
  • Equipment Collaboration in General Test Languages of Safety Critical Syst
  • LÜ Jiang-Hua, GAO Shi-Wei, MA Shi-Long, SUN Bo and LI Xian-Jun
  • 2016,27(3):562-579 [Abstract(2251)]  [View PDF(1321)1.93 M]
  • Refinement Checking Based on Simulation Relations
  • WANG Ting, CHEN Tie-Ming and LIU Yang
  • 2016,27(3):580-592 [Abstract(2442)]  [View PDF(1416)1.44 M]
  • Test Generation Approach Guided by Linear Fitting for Condition/Decision Coverage Crit
  • TANG En-Yi, ZHOU Yan, OU Jian-Sheng and CHEN Xin
  • 2016,27(3):593-610 [Abstract(2378)]  [View PDF(1882)2.13 M]
  • Time-Predictable Multi-Threaded Code Generation with Synchronous Languages
  • YANG Zhi-Bin, ZHAO Yong-Wang, HUANG Zhi-Qiu, HU Kai, MA Dian-Fu, Jean-Paul BODEVEIX and Mamoun FILALI
  • 2016,27(3):611-632 [Abstract(2502)]  [View PDF(1625)2.35 M]
  • Tool for Analyzing Interference Problems in Aspect-Oriented Designs
  • CHEN Xin, HUANG Chao, ZHANG Yi-Fan and Mei Yi-Ming
  • 2016,27(3):633-644 [Abstract(2441)]  [View PDF(1340)1.41 M]
  • Barrier Certificate Generation for Safety Verification of Continuous Systems for a Bounded Time
  • GAN Ting and XIA Bi-Can
  • 2016,27(3):645-654 [Abstract(2321)]  [View PDF(1433)1.20 M]
  • Formal Evaluation of Scheduling Strategies for Smart Building Air-Conditioning Systems under Uncertain Environment
  • CHEN Ming-Song, GU Fan, XU Si-Yuan and CHEN Xiao-Hong
  • 2016,27(3):655-669 [Abstract(2811)]  [View PDF(1636)3.01 M]
  • Checking Satisfiability of Two-Dimensional Logic PPTLSL
  • LU Xu, DUAN Zhen-Hua and TIAN Cong
  • 2016,27(3):670-681 [Abstract(2431)]  [View PDF(1232)1.37 M]
  • Survey on Formal Models to Reason about Infinite Data Values
  • SONG Fu and WU Zhi-Lin
  • 2016,27(3):682-690 [Abstract(2810)]  [View PDF(1688)1.04 M]
  • Review Articles

  • Survey on Learning-to-Rank Based Recommendation Algorithms
  • HUANG Zhen-Hua, ZHANG Jia-Wen, TIAN Chun-Qi, SUN Sheng-Li and XIANG Yang
  • 2016,27(3):691-713 [Abstract(5424)]  [View PDF(8923)2.43 M]
  • Research on Green Network Theory and Technology
  • ZHANG Guo-Qiang, XU Zi-Qu and LIU Zhen
  • 2016,27(3):736-759 [Abstract(3817)]  [View PDF(1803)2.61 M]
  • Introduction to Public Key Cryptanalysis
  • XIAO Ren-Yi
  • 2016,27(3):760-767 [Abstract(3742)]  [View PDF(2462)948.75 K]