A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems Jingwen XuYanhong HuangShengchao Qin Regular Paper 30 November 2021 Pages: 1231 - 1247
MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels Gen ZhangPeng-Fei WangKai Lu Regular Paper 30 November 2021 Pages: 1248 - 1268
Trace Semantics and Algebraic Laws for Total Store Order Memory Model Li-Li XiaoHui-Biao ZhuQi-Wen Xu Regular Paper 30 November 2021 Pages: 1269 - 1290
Symbolic Reasoning About Quantum Circuits in Coq Wen-Jun ShiQin-Xiang CaoYuan Feng Regular Paper 30 November 2021 Pages: 1291 - 1306
HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller Ke LiuJing-Yi WangRui-Long Deng Regular Paper 30 November 2021 Pages: 1307 - 1324
AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel Ying-Jie WangLiang-Ze YinWei Dong Regular Paper 30 November 2021 Pages: 1325 - 1341
Verifying Contextual Refinement with Ownership Transfer Zhao-Hui LiXin-Yu Feng Regular Paper 30 November 2021 Pages: 1342 - 1366
Verification of Real Time Operating System Exception Management Based on SPARCv8 Zhi MaLei QiaoJin-Kun Zhang Regular Paper 30 November 2021 Pages: 1367 - 1387
Activity Diagram Synthesis Using Labelled Graphs and the Genetic Algorithm Chun-Hui WangZhi JinWen-Pin Jiao Regular Paper 30 November 2021 Pages: 1388 - 1406
A Unified Shared-Private Network with Denoising for Dialogue State Tracking Qing-Bin LiuShi-Zhu HeJun Zhao Regular Paper 30 November 2021 Pages: 1407 - 1419
Pre-Train and Learn: Preserving Global Information for Graph Neural Networks Dan-Hao ZhuXin-Yu DaiJia-Jun Chen Regular Paper 30 November 2021 Pages: 1420 - 1430
CDM: Content Diffusion Model for Information-Centric Networks Bo ChenLiang LiuHua-Dong Ma Regular Paper 30 November 2021 Pages: 1431 - 1451