| 2022 | A Dialogue Interface for Low Code Program Evolution. Luís Carvalho |
| 2022 | A Policy Language to Capture Compliance of Data Protection Requirements. Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka |
| 2022 | A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. Oisín Sheridan, Rosemary Monahan, Matt Luckcuck |
| 2022 | Certified Verification of Relational Properties. Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2022 | Conservative Time Discretization: A Comparative Study. Marcelo Forets, Christian Schilling |
| 2022 | Empowering the Event-B Method Using External Theories. Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2022 | Extending Data Flow Coverage to Test Constraint Refinements. Alexander Kolchin, Stepan Potiyenko |
| 2022 | Formal Specification and Verification of JDK's Identity Hash Map Implementation. Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl |
| 2022 | HyperPCTL Model Checking by Probabilistic Decomposition. Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour |
| 2022 | Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings Maurice H. ter Beek, Rosemary Monahan |
| 2022 | Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao |
| 2022 | Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund |
| 2022 | Learning Finite State Models fromRecurrent Neural Networks. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
| 2022 | Machine-Assisted Proofs for Institutions in Coq. Conor Reynolds, Rosemary Monahan |
| 2022 | Modeling Explanations in Autonomous Vehicles. Akhila Bairy |
| 2022 | Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. Michael Leuschel |
| 2022 | Probabilistic Model Checking of BPMN Processes at Runtime. Yliès Falcone, Gwen Salaün, Ahang Zuo |
| 2022 | Reachability Analysis and Simulation for Hybridised Event-B Models. Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2022 | Reusing Predicate Precision in Value Analysis. Marie-Christine Jakobs |
| 2022 | SNITCH: A Platform for Information Flow Control. Eduardo Geraldo |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments. Alen Arslanagic, Pavle Subotic, Jorge A. Pérez |
| 2022 | Simple Dependent Types for OSTRICH. Joana Parreira |
| 2022 | Studying Users' Willingness to Use a Formally Verified Password Manager. Carolina Carreira |
| 2022 | Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. Neda Saeedloei, Feliks Kluzniak |
| 2022 | Verified Password Generation from Password Composition Policies. Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes |
| 2022 | Verifying Autonomous Systems. Louise A. Dennis |