Shawkat Sabah Khairullah

According to our database, Shawkat Sabah Khairullah authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

2025

Design and Simulation of a Dependable Architecture Using Triple Modular Redundancy for Embedded Cyber-Physical Systems.

Hamed A. Mahmood, Shawkat Sabah Khairullah

J. Electron. Test., February, 2025

2024

Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation.

Shawkat Sabah Khairullah

J. Electron. Test., August, 2024

2022

A Survey on Formal Verification Approaches for Dependable Systems.

Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah

CoRR, 2022

2021

A survey on Dependable Digital Systems using FPGAs: Current Methods and Challenges.

Farah Natiq Kassab bashi, Shawkat Sabah Khairullah

CoRR, 2021

2020

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

Shawkat Sabah Khairullah, Carl R. Elks

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

2019

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

Shawkat Sabah Khairullah

CoRR, 2019

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

Shawkat Sabah Khairullah, Ahmed A. Mostfa

CoRR, 2019