| 2021 | Behind Clint and Hoare's goto Proof Rule. | Wei Chen |
| 2021 | A wp Characterization of Jump Statements. | Wei Chen |
| 2020 | Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2020 | Neuron Activation Frequency Based Test Case Prioritization. | Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan, Jun Yan |
| 2020 | The Scheme of Security Requirement Acquisition Based on Knowledge Graph. | Yu Zhang, Xiaohong Li |
| 2020 | Characterising Probabilistic Alternating Simulation for Concurrent Games. | Chenyi Zhang, Jun Pang |
| 2020 | Automatic Tagging for Open Source Software by Utilizing Package Dependency Information. | Liu Yang, Li Wang, Zhigang Hu, Yanwen Wang, Jun Long |
| 2020 | WLeidenRDF: RDF Data Query Method based on Semantic-Enhanced Graph-Clustering Algorithm. | Liu Yang, Zhou Chen, Yiqing Feng, Zhifang Liao, Zhigang Hu, Jun Long |
| 2020 | AT-ROP: Using static analysis and binary patch technology to defend against ROP attacks based on return instruction. | Shenglin Xu, Peidai Xie, Yongjun Wang |
| 2020 | Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. | Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao |
| 2020 | RKC-H: A Rich Knowledge Based Model for Multi-turn Dialogue Generation. | Feifei Xu, Guanqun Ding, Wenkai Zhang, Shanlin Zhou |
| 2020 | An Axiomatic Approach to BigrTiMo. | Wanling Xie, Huibiao Zhu, Shengchao Qin |
| 2020 | Feature-oriented Design of Visual Analytics System for Interpretable Deep Learning based Intrusion Detection. | Chunyuan Wu, Aijuan Qian, Xiaoju Dong, Yanling Zhang |
| 2020 | A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. | Jianlin Wang, Chao Peng, Zhenbing Zeng |
| 2020 | A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. | Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda |
| 2020 | A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection. | Gaigai Tang, Lianxiao Meng, Huiqiang Wang, Shuangyin Ren, Qiang Wang, Lin Yang, Weipeng Cao |
| 2020 | Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic. | Yao Li, Wenbing Tang, Bochen Chen, Zuohua Ding |
| 2020 | Real-time MTL with durations as SMT with applications to schedulability analysis. | Andr de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
| 2020 | A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. | Chunyan Mu |
| 2020 | Droidlens: Robust and Fine-Grained Detection for Android Code Smells. | Chen-Guang Mao, Hao Wang, Gao-Jie Han, Xiaofang Zhang |
| 2020 | A Novel Data-Driven Approach for Generating Verified Loop Invariants. | Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang |
| 2020 | An Empirical Study in Software Verification Tools. | Mengmeng Jiang, Xiaohong Li, Xiaofei Xie, Yao Zhang |
| 2020 | Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. | Daisuke Ishii, Saito Fujii |
| 2020 | Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. | Robert Husk, Filip Zavoral, Jan Kofron |
| 2020 | Defect Report Severity Prediction Based on Genetic Algorithms and Convolutional Neural Network. | Shiming Guo, Xin Chen, Dongjin Yu |