Research output per year
Research output per year
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Assurance Case Process of RoboChart Supported by Formal Verification
Yan, F., Foster, S. D. & Habli, I., 2022, (Unpublished).Research output: Contribution to conference › Poster
File -
Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases
Yan, F., Foster, S. D., Habli, I. & Wei, R., 6 Feb 2022, 10th International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 252-263 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
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)