| 2020 | A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu |
| 2020 | Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Dang Van Hung, Oleg Sokolsky |
| 2020 | Boosting Sequential Consistency Checking Using Saturation. Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
| 2020 | Complexity of Verification and Synthesis of Threshold Automata. A. R. Balasubramanian, Javier Esparza, Marijana Lazic |
| 2020 | Context-Aware Temporal Logic for Probabilistic Systems. Mahmoud Elfar, Yu Wang, Miroslav Pajic |
| 2020 | DG: Analysis and Slicing of LLVM Bitcode. Marek Chalupa |
| 2020 | DeepAbstract: Neural Network Abstraction for Accelerating Verification. Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr |
| 2020 | Dependency-Based Compositional Synthesis. Bernd Finkbeiner, Noemi Passing |
| 2020 | Eliminating Message Counters in Threshold Automata. Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger |
| 2020 | Explainable Reactive Synthesis. Tom Baumeister, Bernd Finkbeiner, Hazem Torfah |
| 2020 | Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
| 2020 | First-Order Timed Runtime Verification Using BDDs. Klaus Havelund, Doron Peled |
| 2020 | From Checking to Inference: Actual Causality Computations as Optimization Problems. Amjad Ibrahim, Alexander Pretschner |
| 2020 | Minimal Witnesses for Probabilistic Timed Automata. Simon Jantsch, Florian Funke, Christel Baier |
| 2020 | Model Checking Branching Properties on Petri Nets with Transits. Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog |
| 2020 | Multi-head Monitoring of Metric Dynamic Logic. Martin Raszyk, David A. Basin, Dmitriy Traytel |
| 2020 | NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. Manish Goyal, Parasara Sridhar Duggirala |
| 2020 | On (I/O)-Aware Good-For-Games Automata. Rachel Faran, Orna Kupferman |
| 2020 | Parallel Graph-Based Stateless Model Checking. Magnus Lång, Konstantinos Sagonas |
| 2020 | Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
| 2020 | Practical "Paritizing" of Emerson-Lei Automata. Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet |
| 2020 | Probabilistic Hyperproperties of Markov Decision Processes. Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2020 | Probabilistic Hyperproperties with Nondeterminism. Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang |
| 2020 | RTAMT: Online Robustness Monitors from STL. Dejan Nickovic, Tomoya Yamaguchi |
| 2020 | RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms. Vladimir Herdt, Daniel Große, Rolf Drechsler |
| 2020 | ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu |
| 2020 | Robust Controller Synthesis for Duration Calculus. Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |
| 2020 | Robustness Verification for Classifier Ensembles. Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers |
| 2020 | Urgent Partial Order Reduction for Extended Timed Automata. Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba |
| 2020 | Verification of Indefinite-Horizon POMDPs. Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2020 | Verification of a Generative Separation Kernel. Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu |
| 2020 | Verified Textbook Algorithms - A Biased Survey. Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck |
| 2020 | Verifying Recurrent Neural Networks Using Invariant Inference. Yuval Jacoby, Clark W. Barrett, Guy Katz |