| 2022 | Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. | Neda Saeedloei, Feliks Kluzniak |
| 2022 | Machine-Assisted Proofs for Institutions in Coq. | Conor Reynolds, Rosemary Monahan |
| 2022 | Simple Dependent Types for OSTRICH. | Joana Parreira |
| 2022 | Learning Finite State Models fromRecurrent Neural Networks. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
| 2022 | Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. | Michael Leuschel |
| 2022 | Extending Data Flow Coverage to Test Constraint Refinements. | Alexander Kolchin, Stepan Potiyenko |
| 2022 | Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. | Nicklas S. Johansen, Lasse B. Kr, Andreas L. Madsen, Kristian . Nielsen, Jir Srba, Rasmus G. Tollund |
| 2022 | Reusing Predicate Precision in Value Analysis. | Marie-Christine Jakobs |
| 2022 | Verified Password Generation from Password Composition Policies. | Miguel Grilo, Joo Campos, Joo F. Ferreira, Jos Bacelar Almeida, Alexandra Mendes |
| 2022 | SNITCH: A Platform for Information Flow Control. | Eduardo Geraldo |
| 2022 | Conservative Time Discretization: A Comparative Study. | Marcelo Forets, Christian Schilling |
| 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 | Probabilistic Model Checking of BPMN Processes at Runtime. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2022 | Verifying Autonomous Systems. | Louise A. Dennis |
| 2022 | A Dialogue Interface for Low Code Program Evolution. | Lus Carvalho |
| 2022 | Studying Users' Willingness to Use a Formally Verified Password Manager. | Carolina Carreira |
| 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 | Certified Verification of Relational Properties. | Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2022 | A Policy Language to Capture Compliance of Data Protection Requirements. | Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka |
| 2022 | Modeling Explanations in Autonomous Vehicles. | Akhila Bairy |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments. | Alen Arslanagic, Pavle Subotic, Jorge A. Prez |
| 2022 | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2022 | Reachability Analysis and Simulation for Hybridised Event-B Models. | Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2020 | Automatic Generation of Guard-Stable Floating-Point Code. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Csar A. Muoz |
| 2020 | Philosophers May Dine - Definitively! | Safouan Taha, Burkhart Wolff, Lina Ye |