Test Program Generation for a Microprocessor - A Case-Study. - Achim D. Brucker; Abderrahmane Feliachi; Yakoub Nemouchi; Burkhart Wolff (TAP@STAF, 2013)

Formal Specification of a Generic Separation Kernel. - Freek Verbeek; Sergey Tverdyshev; Oto Havle; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Yakoub Nemouchi; Abderrahmane Feliachi; Burkhart Wolff; Julien Schmaltz (Arch. Formal Proofs, 2014)

Formal API Specification of the PikeOS Separation Kernel. - Freek Verbeek; Oto Havle; Julien Schmaltz; Sergey Tverdyshev; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Burkhart Wolff; Yakoub Nemouchi (NFM, 2015)

Testing the IPC Protocol for a Real-Time Operating System. - Achim D. Brucker; Oto Havle; Yakoub Nemouchi; Burkhart Wolff (VSTTE, 2015)

Model-based Testing of Operating System-Level Security Mechanisms. (test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d'exploitation). - Yakoub Nemouchi (2016)

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. - Yakoub Nemouchi; Simon Foster 001; Mario Gleirscher; Tim Kelly (IFM, 2019)

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. - Mario Gleirscher; Simon Foster 001; Yakoub Nemouchi (SEFM, 2019)

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. - Simon Foster 001; Frank Zeyda; Yakoub Nemouchi; Pedro Ribeiro 002; Burkhart Wolff (Arch. Formal Proofs, 2019)

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle. - Yakoub Nemouchi; Simon Foster 001; Mario Gleirscher; Tim Kelly (CoRR, 2019)

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study. - Simon Foster 001; Yakoub Nemouchi; Colin O'Halloran; Karen Stephenson; Nick Tudor (FormaliSE@ICSE, 2020)

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. - Simon Foster 001; Yakoub Nemouchi; Mario Gleirscher; Ran Wei; Tim Kelly (Formal Aspects Comput., 2021)

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL. - Yakoub Nemouchi; Sriharsha Etigowni; Alexander J. Zolan; Richard Macwan (VSTTE, 2023)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. - Ran Wei; Simon Foster 001; Haitao Mei; Fang Yan 004; Ruizhe Yang; Ibrahim Habli; Colin O'Halloran; Nick Tudor; Tim Kelly; Yakoub Nemouchi (J. Syst. Softw., 2024)