Shawkat Sabah Khairullah

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Safety Critical

Embedded Devices

Formal Verification

Top Venues

IET Cyper-Phys. Syst.: Theory & Appl.

Publications

Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
A Survey on Formal Verification Approaches for Dependable Systems. CoRR (2022)
Shawkat Sabah Khairullah, Carl R. Elks
Self-repairing hardware architecture for safety-critical cyber-physical-systems. IET Cyper-Phys. Syst.: Theory & Appl. 5 (1) (2020)
Shawkat Sabah Khairullah, Ahmed A. Mostfa
Reliability and Safety Modeling of a Digital Feed Water Control System. CoRR (2019)
Shawkat Sabah Khairullah
A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices. CoRR (2019)
Shawkat Sabah Khairullah, Carl R. Elks
A Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems. CoRR (2019)