- Joshua Schneider, David Basin, Frederik Brix, Srdjan Krstic and Dmitriy Traytel. Adaptive Online First-Order Monitoring
- Anastasiia Izycheva, Eva Darulova and Helmut Seidl. Synthesizing Efficient Low-Precision Kernels
- Jesko Hecking-Harbusch and Niklas Metzger. Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
- Anton Pirogov and Christof Löding. New Optimizations and Heuristics for Determinization of Büchi Automata
- Borzoo Bonakdarpour and Bernd Finkbeiner. Program Repair for Hyperproperties
- Pavel Parizek. BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
- Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards and Jakob Haahr Taankvist. Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
- Jan Kretinsky, Alexander Manta and Tobias Meggendorfer. Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
- Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin. Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
- Étienne André and Jun Sun. Parametric Timed Model Checking for Guaranteeing Timed Opacity
- Ezio Bartocci, Laura Kovacs and Miroslav Stankovic. Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Rüdiger Ehlers and Keerthi Adabala. Reactive Synthesis of Graphical User Interface Glue Code
- Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah. Approximate Automata for Omega-regular Languages
- Jip Spel, Sebastian Junges and Joost-Pieter Katoen. Are Parametric Markov Chains Monotonic?
- Dirk Beyer and Thomas Lemberger. Conditional Testing: Off-the-Shelf Combination of Test-Case Generators
- Tomas Brazdil, Krishnendu Chatterjee, Antonin Kucera, Petr Novotný and Dominik Velan. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
- Martin Raszyk, David Basin, Srdjan Krstic and Dmitriy Traytel. Multi-Head Monitoring of Metric Temporal Logic
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Petr Janků and Lukas Holik. Chain Free String Constraints (Best paper award)
- Juraj Major, František Blahoudek, Miriama Sasaráková, Jan Strejček and Tatiana Zbončáková. LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL
- Siham Khoussi, Ayoub Nouri, Junxiao Shi, Lotfi Benmohamed, James J. Filliben, Abdella Battou and Saddek Bensalem. Performance Evaluation of NDN Data Plane Using Statistical Model Checking
- Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch and Ernst-Ruediger Olderog. Model Checking Data Flows in Concurrent Network Updates
- Andrzej Murawski, Steven Ramsay and Nikos Tzevelekos. DEQ : Equivalence Checker for Deterministic Register Automata
- Martin Kölbl and Stefan Leue. An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
- Hoang M. Le. KLUZZER: Whitebox Fuzzing on top of LLVM
- Hussein Sibai, Navid Mokhlesi and Sayan Mitra. Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification
- Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller and Jan Strejček. Generic Emptiness Check for Fun and Profit
- Roderick Bloem, Swen Jacobs and Yakir Vizel. Efficient Information-Flow Verification under Speculative Execution