| Towards optimized security attributes for IoT devices in smart agriculture based on the IEC 62443 security standard AM Shaaban, S Chlup, N El-Araby, C Schmittner Applied Sciences 12 (11), 5653, 2022 | 20 | 2022 |
| Dynamic Fault Recovery Using Partial Reconfiguration for Highly Reliable FPGAs GI Alkady, NA El-Araby, MB Abdelhalim, HH Amer, AH Madian 4th Mediterranean Conference on Embedded Computing, MECO - 2015, Budva …, 2015 | 16 | 2015 |
| Integration of multiple fault-tolerant techniques for FPGA-based NCS nodes GI Alkady, A AbdelKader, RM Daoud, HH Amer, NA El-Araby, ... 2016 11th International Conference on Computer Engineering & Systems (ICCES …, 2016 | 10 | 2016 |
| A fault-tolerant technique to detect and recover from open faults in FPGA interconnects GI Alkady, NA El-Araby, MB Abdelhalim, HH Amer, AH Madian Electronic Conference (BEC), 2014 14th Biennial Baltic, 69-72, 2014 | 6 | 2014 |
| Distributed Coordination Runtime Assertions for the Peer Model NEA Eva Kuehn, Sophie Therese Radschek Coordination Models and Languages, 2018 | 4* | 2018 |
| Dynamic reconfiguration for increased functional density NA El-Araby, AM Wahba, HS Bedor 2006 6th International Workshop on System on Chip for Real Time Applications …, 2006 | 4 | 2006 |
| Towards a hybrid verification approach N Elaraby, E Kühn, A Messinger, ST Radschek Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 3 | 2018 |
| Formal verification of real time distributed systems using B method AM Wahba, NA El-Araby Int. J. Eng. Sci. Technol.(JEST) 3, 3427-3436, 2011 | 3 | 2011 |
| Using power consumption in the performability of Fault-Tolerant FPGAs GI Alkady, NA El-Araby, HH Amer, MB Abdelhalim 2016 5th Mediterranean Conference on Embedded Computing (MECO), 55-58, 2016 | 2 | 2016 |
| El-Araby GI Alkady, A Nahla MB Abdelhalim, HH Amer, AH Madian,―A fault-tolerant technique to detect and …, 2015 | 2 | 2015 |
| Implementation of formally verified real time distributed systems: Simplified flight control system NA El-Araby, AM Wahba, MM Taher The 2011 International Conference on Computer Engineering & Systems, 25-32, 2011 | 2 | 2011 |
| Memristor-Based Power Efficient 4T3M SRAM Cell NM Edward, SM Hamed, N Elaraby, WR Anis 2024 14th International Conference on Electrical Engineering (ICEENG), 160-162, 2024 | 1 | 2024 |
| Optimizing Power Efficiency in SRAM Cells through Memristor-Based Architectures NM Edwards, SM Hamed, N Elaraby, A Zekry 2024 International Conference on Machine Intelligence and Smart Innovation …, 2024 | 1 | 2024 |
| Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability Y Elderhalli, N El-Araby, O Hasan, A Jantsch, S Tahar 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 194-199, 2021 | 1 | 2021 |
| Towards Efficient Memory Architectures: Low-Power Noise-Immune RRAM NM Edward, SM Hamed, WR Anis, N Elaraby Energies 17 (24), 6349, 2024 | | 2024 |
| Formal Verification of Code Conversion: A Comprehensive Survey AT Mahmoud, AA Mohammed, M Ayman, W Medhat, S Selim, H Zayed, ... Technologies 12 (12), 244, 2024 | | 2024 |
| Resource Management of Automotive Engine Control Units IA Gergely, S Rausch, N Elaraby, A Jantsch 2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration …, 2024 | | 2024 |
| Run Time Power and Accuracy Management with Approximate Circuits N Elaraby, D Frismuth, N Neves Filho, A Jantsch 2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration …, 2022 | | 2022 |
| Reliable Power Efficient Systems through Run-time Reconfiguration N El-Araby, A Jantsch 2022 20th IEEE Interregional NEWCAS Conference (NEWCAS), 347-351, 2022 | | 2022 |
| Towards a Hybrid Verification Approach AM Nahla Elaraby, Eva Kuehn, Sophie Therese Radschek FOCLASA 2018, ASSOCIATED WITH STAF / SEFM 2018, 2018 | | 2018 |
Mohamed Bakr AbdelhalimArab Academy for Science, Technology & Maritime TransportVerified email at aast.edu
