| 2018 | A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. Diego Marmsoler |
| 2018 | Analysis on Strategies of Superposition Refinement of Event-B Specifications. Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2018 | Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols. Kailong Wang |
| 2018 | Behaviour-Driven Formal Model Development. Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
| 2018 | CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun |
| 2018 | Capabilities: Effects for Free. Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich |
| 2018 | Checking Activity Transition Systems with Back Transitions Against Assertions. Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang |
| 2018 | Combining Deep Learning and Probabilistic Model Checking in Sports Analytics. Kan Jiang |
| 2018 | Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2018 | Deriving Mode Logic for Autonomous Resilient Systems. Inna Vistbakka, Amin Majd, Elena Troubitsyna |
| 2018 | Developing Reliable Component-Based Software in Mediator. Yi Li |
| 2018 | Engineering Software for Modular Formalisation and Verification of STV Algorithms. Milad K. Ghale |
| 2018 | Engineering a Theory of Concurrent Programming. Ian J. Hayes |
| 2018 | Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings Jing Sun, Meng Sun |
| 2018 | Formalising Extended Finite State Machine Transition Merging. Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick |
| 2018 | Formalising Performance Guarantees in Meta-Reinforcement Learning. Amanda Mahony |
| 2018 | Formalization of Symplectic Geometry in HOL-Light. Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li |
| 2018 | Model Based Testing of Cyber-Physical Systems. Teck Ping Khoo |
| 2018 | Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems. Dileepa Fernando |
| 2018 | Model Checking of C++ Programs Under the x86-TSO Memory Model. Vladimír Still, Jiri Barnat |
| 2018 | Modeling and Verification of Component Connectors. Xiyue Zhang |
| 2018 | Modeling and Verifying NDN Access Control Using CSP. Yuan Fei, Huibiao Zhu |
| 2018 | PAR: A Practicable Formal Method and Its Supporting Platform. Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng |
| 2018 | Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner |
| 2018 | Principled Greybox Fuzzing. Yuekang Li |
| 2018 | Security Analysis of Smart Home Implementations. Kulani Mahadewa |
| 2018 | Service-Oriented Design and Verification of Hybrid Control Systems. Timm Liebrenz |
| 2018 | Strongly Typed Numerical Computations. Matthieu Martel |
| 2018 | The Foul Adversary: Formal Models. Naipeng Dong, Tim Muller |
| 2018 | The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. Teck Ping Khoo, Jun Sun |
| 2018 | The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher |
| 2018 | Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing. Xiaoning Du |
| 2018 | Towards Dependable and Explainable Machine Learning Using Automated Reasoning. Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu |
| 2018 | Towards Trustworthy AI for Autonomous Systems. Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham |
| 2018 | Type Capabilities for Object-Oriented Programming Languages. Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke |
| 2018 | UTP Semantics for BigrTiMo. Wanling Xie, Huibiao Zhu, Shengchao Qin |
| 2018 | Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning |
| 2018 | Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong |