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(6279)]  [View PDF(5298)2.39 M]

Special Issue's Articles

软件形式化方法与应用专题前言 詹乃军,王戟,李宣东 2016,27(3):495-496 [Abstract(4806)]  [View PDF(6609)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(5750)]  [View PDF(8159)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(5034)]  [View PDF(5284)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(4983)]  [View PDF(6607)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(5013)]  [View PDF(7566)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(4564)]  [View PDF(5958)1.93 M]

Refinement Checking Based on Simulation Relations WANG Ting, CHEN Tie-Ming and LIU Yang 2016,27(3):580-592 [Abstract(4829)]  [View PDF(5528)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(4842)]  [View PDF(7273)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(4852)]  [View PDF(6546)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(4698)]  [View PDF(5710)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(5036)]  [View PDF(5862)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(5078)]  [View PDF(7023)3.01 M]

Checking Satisfiability of Two-Dimensional Logic PPTLSL LU Xu, DUAN Zhen-Hua and TIAN Cong 2016,27(3):670-681 [Abstract(5030)]  [View PDF(5696)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(5243)]  [View PDF(5976)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(9716)]  [View PDF(20217)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(6418)]  [View PDF(6715)2.61 M]

Introduction to Public Key Cryptanalysis XIAO Ren-Yi 2016,27(3):760-767 [Abstract(6612)]  [View PDF(9161)948.75 K]