Yakoub Nemouchi

According to our database, Yakoub Nemouchi authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.

Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi

J. Syst. Softw., 2024

2023

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL.

Yakoub Nemouchi, Sriharsha Etigowni, Alexander J. Zolan, Richard Macwan

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

2021

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

Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly

Formal Aspects Comput., 2021

2020

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

CoRR, 2019

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

Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff

Arch. Formal Proofs, 2019

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.

Mario Gleirscher, Simon Foster, Yakoub Nemouchi

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2016

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

PhD thesis, 2016

2015

Testing the IPC Protocol for a Real-Time Operating System.

Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Formal API Specification of the PikeOS Separation Kernel.

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

2013

Test Program Generation for a Microprocessor - A Case-Study.

Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff

Proceedings of the Tests and Proofs - 7th International Conference, 2013