Simon Foster

University of York — United Kingdom

Computer Science · Physical Sciences

17h-index762citations89works2.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(53), Logic, programming, and type systems(39), Logic, Reasoning, and Knowledge(21), Software Reliability and Analysis Research(18), Safety Systems Engineering in Autonomy(15)

Publications89 total

Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software
Lecture notes in computer science·2025
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
ACM Transactions on Software Engineering and Methodology·2024· 1 citedOpen Access
Formal Verification of BDI Agents
Lecture notes in computer science·2024· 1 citedOpen Access
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Journal of Automated Reasoning·2024· 3 citedOpen Access
Brownian Motion in Isabelle/HOL
arXiv (Cornell University)·2024Open Access
ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
Journal of Systems and Software·2024· 9 citedOpen Access
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
arXiv (Cornell University)·2024Open Access
Formally verified animation for RoboChart using interaction trees
Journal of Logical and Algebraic Methods in Programming·2023· 6 citedOpen Access
Checking and Automating Confidentiality Theory in Isabelle/UTP
arXiv (Cornell University)·2023· 1 citedOpen Access
Automated Model-Based Assurance Case Management Using Constrained Natural Language
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2023· 8 cited
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
2023
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL
2023· 4 cited
Formally Verified Animation for RoboChart using Interaction Trees
arXiv (Cornell University)·2023Open Access
UTP, Circus, and Isabelle
Lecture notes in computer science·2023· 7 cited
Formally Verified Animation for RoboChart Using Interaction Trees
Lecture notes in computer science·2022· 7 cited
Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases
2022· 3 cited
Access: Assurance Case Centric Engineering of Safety-Critical Systems
SSRN Electronic Journal·2022Open Access
Probabilistic modelling and verification using RoboChart and PRISM
Software & Systems Modeling·2021· 26 citedOpen Access
Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM
ITNOW·2021· 3 citedOpen Access
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
arXiv (Cornell University)·2021Open Access
page 1 of 5Next →

Frequent Co-authors

Jim Woodcock(22), Ana Cavalcanti(12), Frank Zeyda(9), Yakoub Nemouchi(8), Kangfeng Ye(8), Georg Struth(6), Mario Gleirscher(5), Tim Kelly(5), Peter Gorm Larsen(4), Alvaro Miyazawa(3), Ran Wei(3), John Fitzgerald(3), Paul Brack(3), K. G. Upul Wijayantha(3), Paul Adcock(3), Sandra E. Dann(3), C. O'Halloran(3), Nick Tudor(3), James Baxter(2), Jonathan Julián Huerta y Munive(2)