| 2022 | A Program Slicer for Java (Tool Paper). Carlos Galindo, Sergio Pérez, Josep Silva |
| 2022 | A Query Language for Language Analysis. Matteo Cimini |
| 2022 | A Unifying Approach for Control-Flow-Based Loop Abstraction. Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl |
| 2022 | Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. Junaid Rasheed, Michal Konecný |
| 2022 | BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. Bernard Serbinowski, Taylor T. Johnson |
| 2022 | CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang |
| 2022 | Constrained Training of Recurrent Neural Networks for Automata Learning. Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler |
| 2022 | Cooperation Between Automatic and Interactive Software Verifiers. Dirk Beyer, Martin Spiessl, Sven Umbricht |
| 2022 | Field-Sensitive Program Slicing. Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva |
| 2022 | Information Exchange Between Over- and Underapproximating Software Analyses. Jan Haltermann, Heike Wehrheim |
| 2022 | Information Flow Control-by-Construction for an Object-Oriented Language. Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |
| 2022 | Neural Network Verification Using Residual Reasoning. Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz |
| 2022 | Runtime Enforcement for IEC 61499 Applications. Yliès Falcone, Irman Faqrizal, Gwen Salaün |
| 2022 | Runtime Verification with Imperfect Information Through Indistinguishability Relations. Angelo Ferrando, Vadim Malvone |
| 2022 | SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). Namrata Jain, Kosuke Kaneko, Subodh Sharma |
| 2022 | SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. Malte Mues, Falk Howar, Simon Dierl |
| 2022 | Safety Controller Synthesis for a Mobile Manufacturing Cobot. Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law |
| 2022 | Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings Bernd-Holger Schlingloff, Ming Chai |
| 2022 | Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe |
| 2022 | Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications. Lukas Miedema, Clemens Grelck |
| 2022 | Timely Specification Repair for Alloy 6. Jorge Cerqueira, Alcino Cunha, Nuno Macedo |
| 2022 | Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson |
| 2022 | Weighted Games for User Journeys. Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen |