| Self‐repairing hardware architecture for safety‐critical cyber‐physical‐systems SS Khairullah, CR Elks IET Cyber‐Physical Systems: Theory & Applications 5 (1), 92-99, 2020 | 15 | 2020 |
| Design and implementation of a Reliable and Secure Controller for Smart Home Applications based on PLC SS Khairullah, AN Sharkawy Journal of Robotics and Control (JRC) 3 (5), 614-621, 2022 | 13 | 2022 |
| A Bio-Inspired, Self-Healing, Resilient Architecture for Digital Instrumentation and Control Systems and Embedded Devices SS Khairullah, CR Elks Nuclear Technology 202 (2-3), 141-152, 2018 | 13 | 2018 |
| Forward and inverse kinematics solution of a 3-DOF articulated robotic manipulator using artificial neural network AN Sharkawy, SS Khairullah International Journal of Robotics and Control Systems 3 (2), 330-353, 2023 | 11 | 2023 |
| TOWARD BIOLOGICALLY INSPIRED SELF HEALING DIGITAL EMBEDDED DEVICES: BIO-SYMPLE SS Khairullah, T Bakker, CR Elks 10th Int. Topical Meeting on Nuclear Plant Instrumentation, Control, and …, 2017 | 9 | 2017 |
| Realization of a 16-bit MIPS RISC pipeline processor SS Khairullah 2022 International Congress on Human-Computer Interaction, Optimization and …, 2022 | 8 | 2022 |
| Toward Biologically-Inspired Self-Healing, Resilient Architectures for Digital Instrumentation and Control Systems and Embedded Devices SS Khairullah Virginia Commonwealth University, 2018 | 5 | 2018 |
| Design and analysis of fault-tolerant sequential logic circuits for safety-critical applications SS Khairullah, FN Qassabbashi, JA Kareem Bulletin of Electrical Engineering and Informatics 13 (1), 413-421, 2024 | 2 | 2024 |
| Reliability and Safety Modeling of a Digital Feed-Water Control System SS Khairullah, AA Mostfa Journal of University of Babylon for Pure and Applied Sciences JUBPAS, May …, 2020 | 2 | 2020 |
| Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation SS Khairullah Journal of Electronic Testing 40 (4), 509-523, 2024 | 1 | 2024 |
| A survey on formal verification approaches for dependable systems FH Khlaif, SS Khairullah arXiv preprint arXiv:2204.12913, 2022 | 1 | 2022 |
| Design and Simulation of a Dependable Architecture Using Triple Modular Redundancy for Embedded Cyber-Physical Systems HA Mahmood, SS Khairullah Journal of Electronic Testing, 1-12, 2025 | | 2025 |
| A Survey on Formal Verification Approaches for Dependable Systems F Hameedi Khlaif, S Sabah Khairullah arXiv e-prints, arXiv: 2204.12913, 2022 | | 2022 |
| Realization of Dependable Digital Systems for Safety-Critical Computer Systems using FPGAs SS Khairullah, CR Elks IOP Conference Series: Materials Science and Engineering 1152 (1), 012020, 2021 | | 2021 |
| A survey on Dependable Digital Systems using FPGAs: Current Methods and Challenges SS Khairullah arXiv preprint arXiv:2104.08333, 2021 | | 2021 |
| Reliability and Safety Modeling of a Digital Feed‐Water Control System AA Mostfa, SS Khairullah | | 2019 |
| A Self-Healing Hardware Architecture for Safety-Critical Digital Embedded Devices SS Khairullah arXiv preprint arXiv:1910.00064, 2019 | | 2019 |
| Lessons and Experiences Learned Applying Model Based Engineering to Safety Critical FPGA Designs SK Carl Elks, Ashraf Tantawy, Matt Gibson, Rick Hite, Smitha Gautham, Chris ... 11th International Workshop on the Application of FPGAs in NPPs, 2018 | | 2018 |
| Agarwal, Vivek, 201 Al Rashdan, Ahmad, 201 Aytug, Tolga, 124 Baker, Andrew, 71 JD Bergroth, PN Bilgunde, LJ Bond, S Bragg-Sitton, C Britton, BP Bromley, ... NUCLEAR TECHNOLOGY 202, 2018 | | 2018 |
| Biologically inspired Self-Healing Digital I&C Systems for Safety Critical Applications using FPGAs SS Khairullah, CR Elks Biotech Eight Open House / VCU College of Engineering, 2016 | | 2016 |
Carl R Elks, Associate ProfessorVirginia Commonwealth University, Dept of ECEEmail verificata su vcu.edu