| 2019 | Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. | Yang Liu, Lei Ma, Jianjun Zhao |
| 2019 | Probably Approximate Safety Verification of Hybrid Dynamical Systems. | Bai Xue, Martin Frnzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran |
| 2018 | Modeling and Verification of Component Connectors. | Xiyue Zhang |
| 2018 | CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. | Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun |
| 2018 | PAR: A Practicable Formal Method and Its Supporting Platform. | Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng |
| 2018 | UTP Semantics for BigrTiMo. | Wanling Xie, Huibiao Zhu, Shengchao Qin |
| 2018 | Type Capabilities for Object-Oriented Programming Languages. | Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke |
| 2018 | Formalization of Symplectic Geometry in HOL-Light. | Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li |
| 2018 | Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols. | Kailong Wang |
| 2018 | Deriving Mode Logic for Autonomous Resilient Systems. | Inna Vistbakka, Amin Majd, Elena Troubitsyna |
| 2018 | Model Checking of C++ Programs Under the x86-TSO Memory Model. | Vladimr Still, Jiri Barnat |
| 2018 | Behaviour-Driven Formal Model Development. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
| 2018 | Strongly Typed Numerical Computations. | Matthieu Martel |
| 2018 | A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. | Diego Marmsoler |
| 2018 | Formalising Performance Guarantees in Meta-Reinforcement Learning. | Amanda Mahony |
| 2018 | Security Analysis of Smart Home Implementations. | Kulani Mahadewa |
| 2018 | Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2018 | Service-Oriented Design and Verification of Hybrid Control Systems. | Timm Liebrenz |
| 2018 | Principled Greybox Fuzzing. | Yuekang Li |
| 2018 | Developing Reliable Component-Based Software in Mediator. | Yi Li |
| 2018 | Analysis on Strategies of Superposition Refinement of Event-B Specifications. | Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2018 | The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. | Teck Ping Khoo, Jun Sun |
| 2018 | Model Based Testing of Cyber-Physical Systems. | Teck Ping Khoo |
| 2018 | Combining Deep Learning and Probabilistic Model Checking in Sports Analytics. | Kan Jiang |
| 2018 | Engineering a Theory of Concurrent Programming. | Ian J. Hayes |