Yakoub Nemouchi

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