| 2019 | Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2019 | BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. | Pavel Parzek |
| 2019 | DEQ: Equivalence Checker for Deterministic Register Automata. | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
| 2019 | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. | Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasarkov, Tatiana Zbonckov |
| 2019 | New Optimizations and Heuristics for Determinization of Bchi Automata. | Christof Lding, Anton Pirogov |
| 2019 | KLUZZER: Whitebox Fuzzing on Top of LLVM. | Hoang M. Le |
| 2019 | Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. | Jan Kretnsk, Alexander Manta, Tobias Meggendorfer |
| 2019 | An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. | Martin Klbl, Stefan Leue |
| 2019 | Truth Assignments as Conditional Autarkies. | Benjamin Kiesl, Marijn J. H. Heule, Armin Biere |
| 2019 | Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. | Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem |
| 2019 | Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. | Manfred Jaeger, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
| 2019 | Synthesizing Efficient Low-Precision Kernels. | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
| 2019 | Lazy Abstraction-Based Controller Synthesis. | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
| 2019 | Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. | Jesko Hecking-Harbusch, Niklas O. Metzger |
| 2019 | Model Checking Data Flows in Concurrent Network Updates. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2019 | Reactive Synthesis of Graphical User Interface Glue Code. | Rdiger Ehlers, Keerthi Adabala |
| 2019 | Approximate Automata for Omega-Regular Languages. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan |
| 2019 | A Note on Game Theory and Verification. | Patricia Bouyer |
| 2019 | Program Repair for Hyperproperties. | Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2019 | Efficient Information-Flow Verification Under Speculative Execution. | Roderick Bloem, Swen Jacobs, Yakir Vizel |
| 2019 | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2019 | Generic Emptiness Check for Fun and Profit. | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek |
| 2019 | Parametric Timed Model Checking for Guaranteeing Timed Opacity. | tienne Andr, Jun Sun |
| 2019 | Chain-Free String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Luks Holk, Petr Janku |