F. Yan, S. Foster, I. Habli. Automated Compositional Verification of Robotic State Machines using Isabelle/HOL. ICECCS 2023 (to appear).
Kangfeng Ye, Simon Foster, Jim Woodcock. Formally Verified Animation for RoboChart Using Interaction Trees. ICFEM 2022.
Simon Foster, Chung-Kil Hur, Jim Woodcock. Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. CONCUR 2021.
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. FM 2021.
S. Foster, Y. Nemouchi, M. Gleirscher, R. Wei, T. Kelly. Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing, June 2021.
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda. Unifying semantic foundations for automated verification tools in Isabelle/UTP. Science of Computer Programming, October 2020.
S. Foster, J. Baxter. Automated Algebraic Reasoning for Collections and Local Variables with Lenses. 18th Intl. Conf. on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). LNCS 12062. Springer. October 2020.
S. Foster. Hybrid Relations in Isabelle/UTP. In Proc. 7th Intl. Symp. on Unifying Theories of Programming (UTP 2019). LNCS 11885. October 2019.
S. Foster, A. Cavalcanti, S. Canham, J. Woodcock, F. Zeyda. Unifying theories of reactive design contracts. Theoretical Computer Science journal, volume 802. September 2019.
Simon Foster, Frank Zeyda, and Jim Woodcock. Unifying Heterogeneous State-Spaces with Lenses. Proc. 13th Intl. Colloquium on Theoretical Aspects of Computing (ICTAC 2016).
Frank Zeyda, Simon Foster, and Leo Freitas. An Axiomatic Value Model for Isabelle/UTP. Proc. 6th Intl. UTP Symposium, 2016.
Simon Foster, Frank Zeyda, and Jim Woodcock. Isabelle/UTP: A Mechanised Theory Engineering Framework. Proc. 5th Intl. UTP Symposium, 2014.