Yakoub Nemouchi

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 11

Top Venues

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. J. Syst. Softw. 213 (2024)
Yakoub Nemouchi, Sriharsha Etigowni, Alexander J. Zolan, Richard Macwan
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL. VSTTE (2023)
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects Comput. 33 (6) (2021)
Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. CoRR (2020)
Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. FormaliSE@ICSE (2020)
Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019)
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. IFM (2019)
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. CoRR (2019)
Mario Gleirscher, Simon Foster, Yakoub Nemouchi
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. SEFM (2019)
Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
Testing the IPC Protocol for a Real-Time Operating System. VSTTE (2015)
Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
Formal API Specification of the PikeOS Separation Kernel. NFM (2015)
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014)
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF (2013)

Yakoub Nemouchi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yakoub Nemouchi