Items where authors include "Nemouchi, Yakoub"

Article

Wei, Ran, Foster, Simon David orcid.org/0000-0002-9889-9514, Mei, Haitao et al. (7 more authors) (2024) ACCESS : Assurance Case Centric Engineering of Safety-critical Systems. Journal of Systems and Software. 112034. ISSN 0164-1212

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. pp. 855-884. ISSN 1433-299X

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

Book Section

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Foster, Simon David orcid.org/0000-0002-9889-9514 and Nemouchi, Yakoub (2019) Evolution of Formal Model-based Assurance Cases for Autonomous Robots. In: Software Engineering and Formal Methods. Lecture Notes in Computer Science . Springer , NOR , pp. 87-104.

Monograph

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub and Zeyda, Frank Theory of Designs in Isabelle/UTP. Working Paper. (Unpublished)

Proceedings Paper

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, O'Halloran, Colin et al. (2 more authors) (2020) Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study. In: FormaliSE '20:Proceedings of the 8th International Conference on Formal Methods in Software Engineering. UNSPECIFIED. ACM .

Nemouchi, Yakoub, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (1 more author) (2019) Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. In: Integrated Formal Methods:Proceedings of the 15th International Conference. UNSPECIFIED. LNCS . Springer , pp. 379-398.