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
-
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL
Yan, F., Foster, S. D. & Habli, I., 16 Mar 2023, (Accepted/In press) 27th International Conference on Engineering of Complex Computer Systems. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
Foster, S. D. & Wolff, B., 16 Mar 2023, (Accepted/In press) The 27th Internation Conference on Engineering of Complex Computer Systems (ICECCS 2023). IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Formally Verified Animation for RoboChart using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 16 Mar 2023.Research output: Working paper › Preprint
File
Projects
- 2 Finished
-
CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
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., Timmis, J., Woodcock, J., De Oliveira Salazar Ribeiro, P. F., Foster, S. D., Li, W. & Miyazawa, A.
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?
Alvaro Miyazawa (Presenter), Pedro Fernando De Oliveira Salazar Ribeiro (Presenter), Simon David Foster (Presenter) & Wei Li (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. D. (Creator) & Nemouchi, Y. (Creator), Zenodo, 19 Jul 2019
Dataset