Concepedia

Yakoub Nemouchi

YN

Statistics

Publications

3

Citations

52

H-Index

3

Active since

2019

Affiliations

University of York(Current)

Yakoub Nemouchi is an author at University of York specializing in formal methods, formal verification, and formal specification.

ORCID

Top concepts

Publications per year

2019–2021

3

Publications

3

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Simon Foster, Yakoub Nemouchi, Mario Gleirscher et al. · Formal Aspects of Computing · 2021 · 26 citations · Full text

Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming

Simon Foster, Frank Zeyda, Yakoub Nemouchi et al. · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 2019 · 14 citations · Full text

, , +21

Formal Model-Based Assurance Cases in Isabelle/SACM

Simon Foster, Yakoub Nemouchi, C. O'Halloran et al. · 2020 · 12 citations

, , +16

1–3 of 3