Personal information

No personal information available

Activities

Collapse all

Employment (1)

National Renewable Energy Laboratory: Golden, Colorado, US

Employment
Source: Self-asserted source
Yakoub Nemouchi

Works (10)

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

2024 | Book chapter
DOI: 10.1007/978-3-031-66064-1_5
Contributors: Yakoub Nemouchi; Sriharsha Etigowni; Alexander Zolan; Richard Macwan
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

ACCESS: Assurance Case Centric Engineering of Safety–critical Systems

Journal of Systems and Software
2024-07 | Journal article
DOI: 10.1016/j.jss.2024.112034
Part of ISSN: 0164-1212
Contributors: Ran Wei; Simon Foster; Haitao Mei; Fang Yan; Ruizhe Yang; Ibrahim Habli; Colin O’Halloran; Nick Tudor; Tim Kelly; Yakoub Nemouchi
Source: Self-asserted source
Yakoub Nemouchi

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

Formal Aspects of Computing
2021-12 | Journal article
DOI: 10.1007/s00165-021-00537-4
Part of ISSN: 0934-5043
Part of ISSN: 1433-299X
Contributors: Simon Foster; Yakoub Nemouchi; Mario Gleirscher; Ran Wei; Tim Kelly
Source: Self-asserted source
Yakoub Nemouchi

Formal Model-Based Assurance Cases in Isabelle/SACM

Proceedings of the 8th International Conference on Formal Methods in Software Engineering
2020-10-07 | Conference paper
DOI: 10.1145/3372020.3391559
Contributors: Simon Foster; Yakoub Nemouchi; Colin O'Halloran; Karen Stephenson; Nick Tudor
Source: Self-asserted source
Yakoub Nemouchi

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

Software Engineering and Formal Methods
2019 | Book chapter
DOI: 10.1007/978-3-030-30446-1_5
Part of ISBN: 9783030304454
Part of ISBN: 9783030304461
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Mario Gleirscher; Simon Foster; Yakoub Nemouchi
Source: Self-asserted source
Yakoub Nemouchi

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

Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
2019 | Conference paper
DOI: 10.1007/978-3-030-34968-4\_21
Source: Self-asserted source
Yakoub Nemouchi

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

Arch. Formal Proofs
2019 | Journal article
URI:

https://www.isa-afp.org/entries/UTP.html
Contributors: Yakoub Nemouchi
Source: Self-asserted source
Yakoub Nemouchi

Formal API Specification of the PikeOS Separation Kernel

Lecture Notes in Computer Science
2015 | Book chapter
DOI: 10.1007/978-3-319-17524-9_26
Part of ISBN: 9783319175232
Part of ISBN: 9783319175249
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Freek Verbeek; Oto Havle; Julien Schmaltz; Sergey Tverdyshev; Holger Blasum; Bruno Langenstein; Werner Stephan; Burkhart Wolff; Yakoub Nemouchi
Source: Self-asserted source
Yakoub Nemouchi

Testing the IPC Protocol for a Real-Time Operating System

Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
2015 | Conference paper
DOI: 10.1007/978-3-319-29613-5\_3
Source: Self-asserted source
Yakoub Nemouchi

Test Program Generation for a Microprocessor

Tests and Proofs
2013 | Book chapter
DOI: 10.1007/978-3-642-38916-0_5
Part of ISBN: 9783642389153
Part of ISBN: 9783642389160
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Achim D. Brucker; Abderrahmane Feliachi; Yakoub Nemouchi; Burkhart Wolff
Source: Self-asserted source
Yakoub Nemouchi
How many people are using ORCID?