| 2018 | Timed Epistemic Knowledge Bases for Social Networks. | Ral Pardo, Csar Snchez, Gerardo Schneider |
| 2018 | Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika brahm, Joost-Pieter Katoen |
| 2018 | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. | Csar A. Muoz, Anthony Narkawicz, Aaron Dutle |
| 2018 | Multi-robot LTL Planning Under Uncertainty. | Claudio Menghi, Sergio Garca, Patrizio Pelliccione, Jana Tumova |
| 2018 | View Abstraction for Systems with Component Identities. | Gavin Lowe |
| 2018 | Modular Verification of Programs with Effects and Effect Handlers in Coq. | Thomas Letan, Yann Rgis-Gianas, Pierre Chifflier, Guillaume Hiet |
| 2018 | Statistical Model Checking of LLVM Code. | Axel Legay, Dirk Nowotka, Danny Bgsted Poulsen, Louis-Marie Traonouez |
| 2018 | Disruptive Innovations for the Development and the Deployment of Fault-Free Software. | Thierry Lecomte |
| 2018 | 20 Years of Real Real Time Model Validation. | Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
| 2018 | A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. | Cosimo Laneve |
| 2018 | Dynamic Symbolic Verification of MPI Programs. | Dhriti Khanna, Subodh Sharma, Csar Rodrguez, Rahul Purandare |
| 2018 | On Software Safety, Security, and Abstract Interpretation. | Daniel Kstner, Laurent Mauborgne, Christian Ferdinand |
| 2018 | Encoding Fairness in a Synchronous Concurrent Program Algebra. | Ian J. Hayes, Larissa A. Meinicke |
| 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 Ferrre |
| 2018 | Processing Text for Privacy: An Information Flow Perspective. | Natasha Fernandes, Mark Dras, Annabelle McIver |
| 2018 | Operational Semantics of a Weak Memory Model with Channel Synchronization. | Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |
| 2018 | Approximate Partial Order Reduction. | Chuchu Fan, Zhenqi Huang, Sayan Mitra |
| 2018 | A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. | Robert J. Colvin, Graeme Smith |
| 2018 | Object-Oriented Security Proofs. | Ernie Cohen |
| 2018 | Formal Specification and Verification of Dynamic Parametrized Architectures. | Alessandro Cimatti, Ivan Stojic, Stefano Tonetta |
| 2018 | Timed Vacuity. | Hana Chockler, Shibashis Guha, Orna Kupferman |
| 2018 | A Weakness Measure for GR(1) Formulae. | Davide Giacomo Cavezza, Dalal Alrajeh, Andrs Gyrgy |
| 2018 | Producing Explanations for Rich Logics. | Simon Busard, Charles Pecheur |
| 2018 | Model-Based Testing for Avionics Systems. | Jrg Brauer, Uwe Schulze |