Follow
Nahla El-Araby
Nahla El-Araby
Institute of Computer Technology, Technical University of Vienna - TU Wien and Canadian
Verified email at cic-cairo.com
Title
Cited by
Cited by
Year
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
152015
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
102016
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
92022
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
62014
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
2014 14th Biennial Baltic Electronic Conference (BEC), 69-72, 2014
62014
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
42006
Towards a hybrid verification approach
N Elaraby, E Kühn, A Messinger, ST Radschek
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
32018
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
32011
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
22016
El-Araby
GI Alkady, A Nahla
MB Abdelhalim, HH Amer, AH Madian,―A fault-tolerant technique to detect and …, 2015
22015
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
22011
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–20