| 2022 | VM Migration and Live-Update for Reliable Embedded Hypervisor. | Siran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang |
| 2022 | COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. | Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Prez |
| 2022 | KCL: A Declarative Language for Large-Scale Configuration and Policy Management. | Xiaodong Du, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong |
| 2022 | On-The-Fly Bisimilarity Checking for Fresh-Register Automata. | Mohamed H. Bandukara, Nikos Tzevelekos |
| 2021 | CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum. | Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang |
| 2021 | Formal Analysis of 5G AKMA. | Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao |
| 2021 | ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. | Yongjie Xu, Fu Song, Taolue Chen |
| 2021 | Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. | Lili Xiao, Huibiao Zhu |
| 2021 | Predicting and Monitoring Bug-Proneness at the Feature Level. | Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li |
| 2021 | DeepGlobal: A Global Robustness Verifiable FNN Framework. | Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun |
| 2021 | Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2021 | A Distributed Simplex Architecture for Multi-agent Systems. | Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka |
| 2021 | Mutation Testing of Reinforcement Learning Systems. | Yuteng Lu, Weidi Sun, Meng Sun |
| 2021 | Verifying the Correctness of Distributed Systems via Mergeable Parallelism. | Teng Long, Xingtao Ren, Qing Wang, Chao Wang |
| 2021 | $\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. | Ruiqi Hu, Meilun Li, Zhikun She |
| 2021 | Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. | Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun |
| 2021 | API Usage Pattern Search Based on Model Checking. | Xue-er Ding, Jun Niu, Jia Wang |
| 2021 | MC/DC Test Cases Generation Based on BDDs. | Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 2021 | Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. | Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan |
| 2021 | AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism. | Jin-Fu Chen, Bo Liu, Saihua Cai, Weijia Wang, Shengran Wang |
| 2020 | Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory. | Yangxi Zhou, Yan Zhu, Liangyu Chen |
| 2020 | Learning Safe Neural Network Controllers with Barrier Certificates. | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock |
| 2020 | Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang |
| 2020 | Probably Approximately Correct Interpolants Generation. | Bai Xue, Naijun Zhan |
| 2020 | Symbolic Model Checking with Sentential Decision Diagrams. | Lieuwe Vinkhuijzen, Alfons Laarman |