| 2020 | A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. Mohsen Safari, Marieke Huisman |
| 2020 | Active Objects with Deterministic Behaviour. Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun |
| 2020 | Algebra-Based Loop Synthesis. Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács |
| 2020 | An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2020 | Automatic Generation of Guard-Stable Floating-Point Code. Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz |
| 2020 | Chain of Events: Modular Process Models for the Law. Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt |
| 2020 | Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. Tim Meywerk, Marcel Walter, Daniel Große, 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 Methods for GPGPU Programming: Is the Demand Met? Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman |
| 2020 | Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. Milad Kazemi, Sadegh Soudjani |
| 2020 | Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. Julian Brunner |
| 2020 | Grey-Box Learning of Register Automata. Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits |
| 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 | Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings Brijesh Dongol, Elena Troubitsyna |
| 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 | Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. Sander de Putter, Anton Wijs |
| 2020 | Meeduse: A Tool to Build and Run Proved DSLs. Akram Idani |
| 2020 | Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif |
| 2020 | PALM: A Technique for Process ALgebraic Specification Mining. Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi |
| 2020 | Philosophers May Dine - Definitively! Safouan Taha, Burkhart Wolff, Lina Ye |
| 2020 | Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. Stéphane Jacquet, Sylvain Hallé |
| 2020 | Synthesizing Clock-Efficient Timed Automata. Neda Saeedloei, Feliks Kluzniak |
| 2020 | Tight Error Analysis in Fixed-Point Arithmetic. Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
| 2020 | Towards Generating SPARK from Event-B Models. Sanjeevan Sritharan, Thai Son Hoang |