| 2026 | A HOL Theorem Proving Interface for C. | Yiyuan Cao, Jiayi Zhuang, Jinkai Fan, Di Wang, Zhenjiang Hu |
| 2026 | Scenario Matching Problem in Distributed Systems. | Puneet Bhateja |
| 2026 | First Steps in a Paraconsistent Transition Systems Toolkit. | Rodrigo Alves, Juliana Cunha, Alexandre Madeira |
| 2025 | COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation. | Hongbin Zhang, Shihao Gao, Yang Liu, Mingjie Xing, Yanjun Wu, Chen Zhao |
| 2025 | Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk). | Min Zhang |
| 2025 | FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models. | Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li, Min Zhou |
| 2025 | A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms. | Chengxi Yang, Shushu Wu, Qinxiang Cao |
| 2025 | Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs. | Ziyun Xu, Hao Wang, Meng Sun |
| 2025 | Failure Divergence Refinement for Event-B. | Sebastian Stock, Michael Leuschel, Atif Mashkoor |
| 2025 | Mining Diamonds in Labelled Transition Systems. | P. H. M. van Spaendonck, Kevin H. J. Jilissen |
| 2025 | Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning. | Graeme Smith |
| 2025 | Robust Deep Reinforcement Learning Using Formal Verification. | Avraham Raviv, Shaiel Vistuch, Boaz Gurevich, Erel Dekel, Hillel Kugler |
| 2025 | Machine-Checked Compositional Specification and Proofs for Embedded Systems. | Karl Palmskog, Mattias Nyberg, Dilian Gurov |
| 2025 | A Cross-Domain Data Sharing Scheme Based on Federated Blockchain. | Honglin Mao, Jie Zhang, Yao Zhang, Xiaohong Li |
| 2025 | Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2025 | Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. | Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang |
| 2025 | Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification. | Wenda Leng, Meihua Liu, Yufeng Jin |
| 2025 | State Significance-Guided Fuzzing for Stateful Protocol Program. | Kunpeng Jian, Yanyan Zou, Chen Wang, Ning Li, Menghao Li, Wei Huo |
| 2025 | A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq. | Leo Alexander Gummersbach, Kim Vllinger, Andrei Aleksandrov |
| 2025 | Dependent Assertion Logic for Modular Software Verification. | Lukas Grtz |
| 2025 | Portability of Optimizations from SC to TSO. | Akshay Gopalakrishnan, Clark Verbrugge |
| 2025 | CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection. | Richard A. Dubniczky, Krisztofer Zoltn Horvt, Tams Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi |
| 2025 | Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal. | Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu |
| 2025 | SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses. | Shuhao Chen, Menghua Jiang, Yin Chen |
| 2025 | A Coherent Index for Dichotomy in Version-Controlled Repositories. | Laurent Bulteau, Pierre-Yves David, Florian Horn, Euxane Tran-Girard |