| 2018 | A Formally Verified Motion Planner for Autonomous Vehicles. Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff |
| 2018 | A Fragment of Linear Temporal Logic for Universal Very Weak Automata. Keerthi Adabala, Rüdiger Ehlers |
| 2018 | A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. Swen Jacobs, Mouhammad Sakr |
| 2018 | Accelerated Model Checking of Parametric Markov Chains. Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
| 2018 | Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Shuvendu K. Lahiri, Chao Wang |
| 2018 | Bisimilarity Distances for Approximate Differential Privacy. Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2018 | Bounded Synthesis of Reactive Programs. Carsten Gerstacker, Felix Klein, Bernd Finkbeiner |
| 2018 | Bounded Synthesis of Register Transducers. Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem |
| 2018 | Continuous-Time Markov Decisions Based on Partial Exploration. Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský |
| 2018 | DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
| 2018 | EVE: A Tool for Temporal Equilibrium Analysis. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2018 | Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. Bernard Boigelot, Isabelle Mainz |
| 2018 | EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
| 2018 | Formal Specification for Deep Neural Networks. Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
| 2018 | Information Leakage in Arbiter Protocols. Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood |
| 2018 | MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. Bernd Finkbeiner, Christopher Hahn, Tobias Hans |
| 2018 | Maximum Realizability for Linear Temporal Logic Specifications. Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu |
| 2018 | Modular Verification of Concurrent Programs via Sequential Model Checking. Dan Rasin, Orna Grumberg, Sharon Shoham |
| 2018 | Neural State Classification for Hybrid Systems. Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2018 | Optimal Proofs for Linear Temporal Logic on Lasso Words. David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
| 2018 | Owl: A Library for ω-Words, Automata, and LTL. Jan Kretínský, Tobias Meggendorfer, Salomon Sickert |
| 2018 | PSense: Automatic Sensitivity Analysis for Probabilistic Programs. Zixin Huang, Zhenbang Wang, Sasa Misailovic |
| 2018 | Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Anthony W. Lin, Rupak Majumdar |
| 2018 | Quantifiers on Demand. Arie Gurfinkel, Sharon Shoham, Yakir Vizel |
| 2018 | Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka |
| 2018 | Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo |
| 2018 | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. Jaroslav Bendík, Ivana Cerná, Nikola Benes |
| 2018 | Robustness Testing of Intermediate Verifiers. Yuting Chen, Carlo A. Furia |
| 2018 | Round-Bounded Control of Parameterized Systems. Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2018 | Signal Convolution Logic. Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
| 2018 | Simulation Algorithms for Symbolic Automata. Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar |
| 2018 | Synthesis in pMDPs: A Tale of 1001 Parameters. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2018 | Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. Pushpak Jagtap, Sadegh Soudjani, Majid Zamani |
| 2018 | Verifying Rust Programs with SMACK. Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
| 2018 | What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |