| 2026 | ITP | Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. | Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff |
| 2023 | ICECCS | Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. | Simon Foster, Burkhart Wolff |
| 2023 | ICECCS | Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. | Fang Yan, Simon Foster, Ibrahim Habli |
| 2022 | ICFEM | Formally Verified Animation for RoboChart Using Interaction Trees. | Kangfeng Ye, Simon Foster, Jim Woodcock |
| 2022 | MODELSWARD | Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. | Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei |
| 2021 | CONCUR | Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. | Simon Foster, Chung-Kil Hur, Jim Woodcock |
| 2021 | FM | Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. | Simon Foster, Jonathan Julin Huerta y Munive, Mario Gleirscher, Georg Struth |
| 2020 | ICECCS | Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. | Simon Foster, Mario Gleirscher, Radu Calinescu |
| 2020 | ICSE | Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. | Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor |
| 2019 | IFM | Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. | Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly |
| 2019 | SEFM | Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. | Mario Gleirscher, Simon Foster, Yakoub Nemouchi |
| 2017 | SEFM | Formalising Cosimulation Models. | Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti |
| 2016 | ICTAC | Unifying Heterogeneous State-Spaces with Lenses. | Simon Foster, Frank Zeyda, Jim Woodcock |
| 2016 | ISoLA | Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Ren A. Nilsson, Carl Gamble, Simon Foster |
| 2016 | ISoLA | Heterogeneous Semantics and Unifying Theories. | Jim Woodcock, Simon Foster, Andrew Butterfield |
| 2016 | LREC | The PsyMine Corpus - A Corpus annotated with Psychiatric Disorders and their Etiological Factors. | Tilia Ellendorff, Simon Foster, Fabio Rinaldi |
| 2014 | ISoLA | Contracts in CML. | Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen |
| 2013 | ICTAC | Unifying Theories of Programming in Isabelle. | Simon Foster, Jim Woodcock |
| 2012 | CADE | Automated Analysis of Regular Algebra. | Simon Foster, Georg Struth |
| 2012 | ICTAC | Correctness of Object Oriented Models by Extended Type Inference. | Simon Foster, Ondrej Rypacek, Georg Struth |
| 2012 | MPC | Dependently Typed Programming Based on Automated Theorem Proving. | Alasdair Armstrong, Simon Foster, Georg Struth |