| 2019 | A Note on Game Theory and Verification. Patricia Bouyer |
| 2019 | Adaptive Online First-Order Monitoring. Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2019 | An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. Martin Kölbl, Stefan Leue |
| 2019 | Approximate Automata for Omega-Regular Languages. Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | Are Parametric Markov Chains Monotonic? Jip Spel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza |
| 2019 | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. Ezio Bartocci, Laura Kovács, Miroslav Stankovic |
| 2019 | BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. Pavel Parízek |
| 2019 | Can We Trust Autonomous Systems? Boundaries and Risks. Joseph Sifakis |
| 2019 | Chain-Free String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku |
| 2019 | Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. Dirk Beyer, Thomas Lemberger |
| 2019 | DEQ: Equivalence Checker for Deterministic Register Automata. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
| 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism. Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan |
| 2019 | Efficient Information-Flow Verification Under Speculative Execution. Roderick Bloem, Swen Jacobs, Yakir Vizel |
| 2019 | Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. Jesko Hecking-Harbusch, Niklas O. Metzger |
| 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 | Generic Emptiness Check for Fun and Profit. Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek |
| 2019 | KLUZZER: Whitebox Fuzzing on Top of LLVM. Hoang M. Le |
| 2019 | Lazy Abstraction-Based Controller Synthesis. Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
| 2019 | Model Checking Data Flows in Concurrent Network Updates. Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
| 2019 | Multi-head Monitoring of Metric Temporal Logic. Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2019 | New Optimizations and Heuristics for Determinization of Büchi Automata. Christof Löding, Anton Pirogov |
| 2019 | Parametric Timed Model Checking for Guaranteeing Timed Opacity. Étienne André, Jun Sun |
| 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 | Program Repair for Hyperproperties. Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2019 | Reactive Synthesis of Graphical User Interface Glue Code. Rüdiger Ehlers, Keerthi Adabala |
| 2019 | Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. Jan Kretínský, Alexander Manta, Tobias Meggendorfer |
| 2019 | Synthesizing Efficient Low-Precision Kernels. Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
| 2019 | Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
| 2019 | Truth Assignments as Conditional Autarkies. Benjamin Kiesl, Marijn J. H. Heule, Armin Biere |
| 2019 | Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. Hussein Sibai, Navid Mokhlesi, Sayan Mitra |
| 2019 | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková |