Shawkat Sabah Khairullah

According to our database¹, Shawkat Sabah Khairullah authored at least 4 papers between 2019 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

A Survey on Formal Verification Approaches for Dependable Systems.

[BibT_eX]

[DOI]

CoRR, 2022

2020

Self-repairing hardware architecture for safety-critical cyber-physical-systems.

[BibT_eX]

[DOI]

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

2019

A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices.

[BibT_eX]

[DOI]

CoRR, 2019

Reliability and Safety Modeling of a Digital Feed Water Control System.

[BibT_eX]

[DOI]

CoRR, 2019