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

Special Issue's Articles

软件形式化方法与应用专题前言 詹乃军,王戟,李宣东 2016,27(3):495-496 [Abstract(4718)]  [View PDF(5216)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(5623)]  [View PDF(6245)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(4967)]  [View PDF(4070)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(4842)]  [View PDF(5061)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(4889)]  [View PDF(6025)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(4501)]  [View PDF(4608)1.93 M]

Refinement Checking Based on Simulation Relations WANG Ting, CHEN Tie-Ming and LIU Yang 2016,27(3):580-592 [Abstract(4762)]  [View PDF(4296)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(4732)]  [View PDF(6108)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(4776)]  [View PDF(5109)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(4631)]  [View PDF(4398)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(4960)]  [View PDF(4617)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(5021)]  [View PDF(5483)3.01 M]

Checking Satisfiability of Two-Dimensional Logic PPTLSL LU Xu, DUAN Zhen-Hua and TIAN Cong 2016,27(3):670-681 [Abstract(4972)]  [View PDF(4445)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(5183)]  [View PDF(4709)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(9403)]  [View PDF(17940)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(6343)]  [View PDF(5338)2.61 M]

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