| 2018 | 20 Years of Real Real Time Model Validation. Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
| 2018 | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot |
| 2018 | A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. Cosimo Laneve |
| 2018 | A Weakness Measure for GR(1) Formulae. Davide Giacomo Cavezza, Dalal Alrajeh, András György |
| 2018 | A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. Robert J. Colvin, Graeme Smith |
| 2018 | An Algebraic Approach for Reasoning About Information Flow. Arthur Américo, Mário S. Alvim, Annabelle McIver |
| 2018 | Approximate Partial Order Reduction. Chuchu Fan, Zhenqi Huang, Sayan Mitra |
| 2018 | Combining Tools for Optimization and Analysis of Floating-Point Computations. Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock |
| 2018 | CompoSAT: Specification-Guided Coverage for Model Finding. Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi |
| 2018 | Compositional Reasoning for Shared-Variable Concurrent Programs. Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | Deadlock Detection for Actor-Based Coroutines. Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
| 2018 | Disruptive Innovations for the Development and the Deployment of Fault-Free Software. Thierry Lecomte |
| 2018 | Dynamic Symbolic Verification of MPI Programs. Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare |
| 2018 | Encoding Fairness in a Synchronous Concurrent Program Algebra. Ian J. Hayes, Larissa A. Meinicke |
| 2018 | Evidential and Continuous Integration of Software Verification Tools. Tewodros A. Beyene, Harald Ruess |
| 2018 | FSM Inference from Long Traces. Florent Avellaneda, Alexandre Petrenko |
| 2018 | Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao |
| 2018 | Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink |
| 2018 | Formal Specification and Verification of Dynamic Parametrized Architectures. Alessandro Cimatti, Ivan Stojic, Stefano Tonetta |
| 2018 | Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen |
| 2018 | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. César A. Muñoz, Anthony Narkawicz, Aaron Dutle |
| 2018 | IPL: An Integration Property Language for Multi-model Cyber-physical Systems. Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan |
| 2018 | Interlocking Design Automation Using Prover Trident. Arne Borälv |
| 2018 | Model-Based Testing for Avionics Systems. Jörg Brauer, Uwe Schulze |
| 2018 | Modular Verification of Programs with Effects and Effect Handlers in Coq. Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet |
| 2018 | Multi-robot LTL Planning Under Uncertainty. Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova |
| 2018 | Object-Oriented Security Proofs. Ernie Cohen |
| 2018 | On Software Safety, Security, and Abstract Interpretation. Daniel Kästner, Laurent Mauborgne, Christian Ferdinand |
| 2018 | Operational Semantics of a Weak Memory Model with Channel Synchronization. Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |
| 2018 | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2018 | Processing Text for Privacy: An Information Flow Perspective. Natasha Fernandes, Mark Dras, Annabelle McIver |
| 2018 | Producing Explanations for Rich Logics. Simon Busard, Charles Pecheur |
| 2018 | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
| 2018 | Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang |
| 2018 | SDN-Actors: Modeling and Verification of SDN Programs. Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva |
| 2018 | Statistical Model Checking of LLVM Code. Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez |
| 2018 | Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE. Signe Geisler, Anne E. Haxthausen |
| 2018 | The Compound Interest in Relaxing Punctuality. Thomas Ferrère |
| 2018 | Timed Epistemic Knowledge Bases for Social Networks. Raúl Pardo, César Sánchez, Gerardo Schneider |
| 2018 | Timed Vacuity. Hana Chockler, Shibashis Guha, Orna Kupferman |
| 2018 | To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. Sander de Putter, Anton Wijs |
| 2018 | Towards 'Verifying' a Water Treatment System. Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu |
| 2018 | Variant Analysis with QL. Pavel Avgustinov, Kevin Backhouse, Man Yue Mo |
| 2018 | Vector Barrier Certificates and Comparison Systems. Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer |
| 2018 | Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow |
| 2018 | View Abstraction for Systems with Component Identities. Gavin Lowe |
| 2018 | Z3 and SMT in Industrial R&D. Nikolaj S. Bjørner |