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 | 15 | 2015 |
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 | 11 | 2022 |
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 |
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 |
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 |
Correct by Construction design approach through mapping B models into VHDL MT Nahla El-Araby, Ayman M. Wahba International Journal of Engineering Research and Development 9 (6), 34-49, 2013 | | 2013 |
Property Verification Patterns for Automated Production Systems NAM El-Araby Ain Shams University, 2013 | | 2013 |
Ebibi, Mirlinda, 290 Efimov, Aleksey I., 139 El-Araby, Nahla A., 56 Elamri, Mohammed, 232 R Ferrero, M Bajer, M Baloh, M Bartík, YS Bekhtin, I Benkhelifa, A Benso, ... | | |
Correct by Construction design approach through mapping B models into VHDL N El-Araby, AM Wahba, M Taher | | |