| 2018 | Engineering Software for Modular Formalisation and Verification of STV Algorithms. | Milad K. Ghale |
| 2018 | Checking Activity Transition Systems with Back Transitions Against Assertions. | Cunjing Ge, Jiwei Yan, Jun Yan, Jian Zhang |
| 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 | Formalising Extended Finite State Machine Transition Merging. | Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick |
| 2018 | Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2018 | Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems. | Dileepa Fernando |
| 2018 | Modeling and Verifying NDN Access Control Using CSP. | Yuan Fei, Huibiao Zhu |
| 2018 | Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing. | Xiaoning Du |
| 2018 | The Foul Adversary: Formal Models. | Naipeng Dong, Tim Muller |
| 2018 | Capabilities: Effects for Free. | Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich |
| 2018 | Towards Trustworthy AI for Autonomous Systems. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Martin Oxenham |
| 2018 | Towards Dependable and Explainable Machine Learning Using Automated Reasoning. | Hadrien Bride, Jie Dong, Jin Song Dong, Zh Hu |
| 2018 | Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. | Nils Berg, Thomas Gthel, Armin Danziger, Sabine Glesner |
| 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 Bning |
| 2017 | Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
| 2017 | Inconsistency Analysis of Time-Based Security Policy and Firewall Policy. | Yi Yin, Yuichiro Tateiwa, Yun Wang, Yoshiaki Katayama, Naohisa Takahashi |
| 2017 | Towards Customizable CPS: Composability, Efficiency and Predictability. | Wang Yi |
| 2017 | Learning Types for Binaries. | Zhiwu Xu, Cheng Wen, Shengchao Qin |
| 2017 | Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. | Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng |
| 2017 | Nested Timed Automata with Diagonal Constraints. | Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen |
| 2017 | Improving Probability Estimation Through Active Probabilistic Model Learning. | Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin |
| 2017 | Policy Dependent and Independent Information Flow Analyses. | Manuel Tws, Heike Wehrheim |
| 2017 | Formal Analysis of Linear Control Systems Using Theorem Proving. | Adnan Rashid, Osman Hasan |
| 2017 | Assertion Generation Through Active Learning. | Long H. Pham, Lyly Tran Thi, Jun Sun |
| 2017 | Parameterized Complexity of Resilience Decision for Database Debugging. | Dongjing Miao, Zhipeng Cai |