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
-
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, 23 p., 112034.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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 -
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