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 -
2020
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study
Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 7 Oct 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2019
Evolution of Formal Model-based Assurance Cases for Autonomous Robots
Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sept 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile -
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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