SIMON FOSTER

Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL
YAN, F., Ballenghien, B., FOSTER, S. D., CAVALCANTI, A. L. C., BAXTER, J. & Wolff, B., 29 Jul 2026, 17th International Conference on Interactive Theorem Proving (ITP 2026). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 21 p. 10
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Formal Evidence Generation for Assurance Cases for Robotic Software Models
Yan, F., Foster, S., Cavalcanti, A., Habli, I. & Baxter, J., 3 Feb 2026, arXiv.
Research output: Working paper › Preprint

File
Verifying Numerical Methods with Isabelle/HOL
Bryant, D., Munive, J. H. Y. & FOSTER, S., 20 Nov 2026, Proceedings of the 24th International Conference on Software Engineering and Formal Methods (ICFEM 2026). Springer Nature Switzerland, (Lecture Notes in Computer Science; vol. 2026).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
FOSTER, S. (Principal investigator)
EPSRC
1/06/18 → 31/07/21
Project: Research project (funded) › Research
A Calculus for Software Engineering of Mobile and Autonomous Robots
CAVALCANTI, A. (Principal investigator), TIMMIS, J. (Co-investigator), WOODCOCK, J. (Co-investigator), FOSTER, S. (Researcher), LI, W. (Researcher), MIYAZAWA, A. (Researcher) & Ribeiro, P. (Researcher)
EPSRC
1/09/15 → 30/06/21
Project: Research project (funded) › Research

RoboScience: can using robots add up to a safer world?
Miyazawa, A. (Presenter), De Oliveira Salazar Ribeiro, P. F. (Presenter), Foster, S. D. (Presenter) & Li, W. (Presenter)
16 May 2018
Activity: Other › Public engagement and outreach (general)

Collaborations and top research areas from the last five years