Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software
Attala, Z., Cavalcanti, A. L. C., Foster, S. D., Yan, F. & Woodcock, J., 17 Feb 2025, (Accepted/In press).Research output: Contribution to conference › Paper › peer-review
-
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
Foster, S. D., Hur, C.-K. & Woodcock, J., 29 Apr 2025, In: ACM Transactions on Software Engineering and Methodology. 34, 4, 40 p., 108.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Wei, R., Foster, S. D., Mei, H., Yan, F., Yang, R., Habli, I., O'Halloran, C., Tudor, N., Kelly, T. & Nemouchi, Y., 1 Jul 2024, In: Journal of Systems and Software. 213, 0164-1212, 23 p., 112034.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 2 Finished
-
CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
Foster, S. D. (Principal investigator)
1/06/18 → 31/07/21
Project: Research project (funded) › Research
-
A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C. (Principal investigator), Timmis, J. (Co-investigator), Woodcock, J. (Co-investigator), Foster, S. D. (Researcher), Li, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)
1/09/15 → 30/06/21
Project: Research project (funded) › Research
Activities
- 1 Public engagement and outreach (general)
-
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 2018Activity: Other › Public engagement and outreach (general)
Datasets
-
Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material
Gleirscher, M. (Creator), Foster, S. (Creator) & Nemouchi, Y. (Creator), Zenodo, 19 Jul 2019
Dataset