Research output per year
Research output per year
Search results
-
2024
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 -
2021
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Foster, S. D., Nemouchi, Y., Gleirscher, M., Wei, R. & Kelly, T., Dec 2021, In: Formal Aspects of Computing. 33, 6, p. 855-884Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 11 Jun 2019, In: Archive of Formal Proofs. 168 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile