| 2022 | Declassification Predicates for Controlled Information Release. | Graeme Smith |
| 2022 | On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. | Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
| 2022 | Theorem Proving for Maude Specifications Using Lean. | Rubn Rubio, Adrin Riesco |
| 2022 | Canonical Narrowing for Variant-Based Conditional Rewrite Theories. | Ral Lpez-Rueda, Santiago Escobar |
| 2022 | A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. | Ran Li, Huibiao Zhu, Richard Banach |
| 2022 | TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. | Paul Kogel, Verena Kls, Sabine Glesner |
| 2022 | A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. | Ke Jiang, Tianwei Zhang, David Sann, Yongwang Zhao, Yang Liu |
| 2022 | PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. | Alex James, Alwen Tiu, Nisansala Yatapanage |
| 2022 | SMT-Based Model Checking of Industrial Simulink Models. | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
| 2022 | Bridging Formal Methods and Machine Learning with Global Optimisation. | Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao |
| 2022 | Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. | Imane Haur, Jean-Luc Bchennec, Olivier H. Roux |
| 2022 | Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. | Vctor Garca, Santiago Escobar, Kazuhiro Ogata |
| 2022 | Program Slicing Techniques with Support for Unconditional Jumps. | Carlos Galindo, Sergio Prez, Josep Silva |
| 2022 | Generation of a Reversible Semantics for Erlang in Maude. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | Creusot: A Foundry for the Deductive Verification of Rust Programs. | Xavier Denis, Jacques-Henri Jourdan, Claude March |
| 2022 | Invited talk: Formal Verification of Quantum Protocols. | Yuxin Deng |
| 2022 | Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. | Robert J. Colvin |
| 2022 | Non-linear Optimization Methods for Learning Regular Distributions. | Wenjing Chu, Shuo Chen, Marcello M. Bonsangue |
| 2022 | Refined Modularization for Bounded Model Checking Through Precondition Generation. | Marko Kleine Bning, Johannes Meuer, Carsten Sinz |
| 2022 | Modular Analysis of Tree-Topology Models. | Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci |
| 2020 | Algebraic Approach for Confidence Evaluation of Assurance Cases. | Yoriyuki Yamagata, Yutaka Matsuno |
| 2020 | Formalising Privacy-Preserving Constraints in Microservices Architecture. | Inna Vistbakka, Elena Troubitsyna |
| 2020 | Automated Temporal Verification of Integrated Dependent Effects. | Yahui Song, Wei-Ngan Chin |
| 2020 | Parallel Chopped Symbolic Execution. | Shikhar Singh, Sarfraz Khurshid |
| 2020 | PAC Learning of Deterministic One-Clock Timed Automata. | Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan |