| 2022 | A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu |
| 2022 | A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. Ran Li, Huibiao Zhu, Richard Banach |
| 2022 | Bridging Formal Methods and Machine Learning with Global Optimisation. Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao |
| 2022 | Canonical Narrowing for Variant-Based Conditional Rewrite Theories. Raúl López-Rueda, Santiago Escobar |
| 2022 | Creusot: A Foundry for the Deductive Verification of Rust Programs. Xavier Denis, Jacques-Henri Jourdan, Claude Marché |
| 2022 | Declassification Predicates for Controlled Information Release. Graeme Smith |
| 2022 | Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. Zeming Wei, Xiyue Zhang, Meng Sun |
| 2022 | Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings Adrián Riesco, Min Zhang |
| 2022 | Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. Imane Haur, Jean-Luc Béchennec, Olivier H. Roux |
| 2022 | Formally Verified Animation for RoboChart Using Interaction Trees. Kangfeng Ye, Simon Foster, Jim Woodcock |
| 2022 | Generation of a Reversible Semantics for Erlang in Maude. Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | Machine-Checked Executable Semantics of Stateflow. Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan |
| 2022 | Model Checking B Models via High-Level Code Generation. Fabian Vu, Dominik Brandt, Michael Leuschel |
| 2022 | Modular Analysis of Tree-Topology Models. Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci |
| 2022 | Non-linear Optimization Methods for Learning Regular Distributions. Wenjing Chu, Shuo Chen, Marcello M. Bonsangue |
| 2022 | On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
| 2022 | On Probabilistic Extension of the Interaction Theory. Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang |
| 2022 | PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. Alex James, Alwen Tiu, Nisansala Yatapanage |
| 2022 | Program Slicing Techniques with Support for Unconditional Jumps. Carlos Galindo, Sergio Pérez, Josep Silva |
| 2022 | Refined Modularization for Bounded Model Checking Through Precondition Generation. Marko Kleine Büning, Johannes Meuer, Carsten Sinz |
| 2022 | RoboCert: Property Specification in Robotics. Matt Windsor, Ana Cavalcanti |
| 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 | Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. Robert J. Colvin |
| 2022 | TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. Paul Kogel, Verena Klös, Sabine Glesner |
| 2022 | Theorem Proving for Maude Specifications Using Lean. Rubén Rubio, Adrián Riesco |
| 2022 | Trace Refinement in B and Event-B. Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed |