| 2020 | Towards Generating SPARK from Event-B Models. | Sanjeevan Sritharan, Thai Son Hoang |
| 2020 | Tight Error Analysis in Fixed-Point Arithmetic. | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
| 2020 | A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. | Mohsen Safari, Marieke Huisman |
| 2020 | Synthesizing Clock-Efficient Timed Automata. | Neda Saeedloei, Feliks Kluzniak |
| 2020 | Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. | Sander de Putter, Anton Wijs |
| 2020 | Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. | Malte Mues, Till Schallau, Falk Howar |
| 2020 | Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. | Tim Meywerk, Marcel Walter, Daniel Groe, Rolf Drechsler |
| 2020 | Detection of Polluting Test Objectives for Dataflow Criteria. | Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre |
| 2020 | Fast and Effective Well-Definedness Checking. | Michael Leuschel |
| 2020 | Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. | Milad Kazemi, Sadegh Soudjani |
| 2020 | Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. | Stphane Jacquet, Sylvain Hall |
| 2020 | Meeduse: A Tool to Build and Run Proved DSLs. | Akram Idani |
| 2020 | Algebra-Based Loop Synthesis. | Andreas Humenberger, Nikolaj S. Bjrner, Laura Kovcs |
| 2020 | History-Based Specification and Verification of Java Collections in KeY. | Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw |
| 2020 | Active Objects with Deterministic Behaviour. | Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun |
| 2020 | Formal Methods for GPGPU Programming: Is the Demand Met? | Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman |
| 2020 | Grey-Box Learning of Register Automata. | Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits |
| 2020 | An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2020 | Chain of Events: Modular Process Models for the Law. | Sren Debois, Hugo A. Lpez, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt |
| 2020 | Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. | Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2020 | PALM: A Technique for Process ALgebraic Specification Mining. | Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi |
| 2020 | Formal Verification of Executable Complementation and Equivalence Checking for Bchi Automata. | Julian Brunner |
| 2019 | Visualization and Abstractions for Execution Paths in Model-Based Software Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2019 | A Multi-target Code Generator for High-Level B. | Fabian Vu, Dominik Hansen, Philipp Krner, Michael Leuschel |
| 2019 | Resource Sharing via Capability-Based Multiparty Session Types. | Adriana Laura Voinea, Ornela Dardha, Simon J. Gay |