Follow
Amr Helmy
Amr Helmy
Assistant professor, NanoTechnology and NanoElectronics engineering program, Zewail City of Science
Verified email at zewailcity.edu.eg - Homepage
Title
Cited by
Cited by
Year
A generic model for formally verifying NoC communication architectures: A case study
D Borrione, A Helmy, L Pierre, J Schmaltz
First International Symposium on Networks-on-Chip (NOCS'07), 127-136, 2007
492007
A formal approach to the verification of networks on chip
D Borrione, A Helmy, L Pierre, J Schmaltz
EURASIP Journal on Embedded Systems 2009, 1-14, 2009
382009
Study of massive floating solar panels over lake Nasser
M Elshafei, A Ibrahim, A Helmy, M Abdallah, A Eldeib, M Badawy, ...
Journal of Energy 2021, 1-17, 2021
292021
A Low Power CORDIC-Based Hardware Implementation of Izhikevich Neuron Model
A Elnabawy, H Abdelmohsen, M Moustafa, M Elbediwy, A Helmy, ...
The 16th IEEE International NEWCAS conference, 2018
172018
Executable formal specification and validation of NoC communication infrastructures
D Borrione, A Helmy, L Pierre, J Schmaltz
Proceedings of the 21st annual symposium on Integrated circuits and system …, 2008
172008
Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing
A Helmy, L Pierre, A Jantsch
13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and …, 2010
162010
Fast and accurate PV model for SPICE simulation
H Abdelhamid, A Edris, A Helmy, Y Ismail
Journal of Computational Electronics 18 (1), 260-270, 2019
152019
ACL2-based Verification of the Communications in the Hermes Network on Chip
D Borrione, A Helmy, L Pierre
Proc. SMACD 6, 2006
62006
Hevc implementation for iot applications
M Salah, BE El-Shweky, K ElKholy, A Helmy, Y Ismail, K Salah
2018 30th international conference on microelectronics (ICM), 295-298, 2018
42018
High CMRR and wideband current-mode instrumentation amplifier using fully differential operational floating conveyor
H ElGemmazy, A Helmy, H Mostafa, Y Ismail
2017 Japan-Africa Conference on Electronics, Communications and Computers …, 2017
42017
VHDL Implementation of Maximum Power Point Tracking Algorithms
AA Rezk, A Helmy, A Abdallah, Y Ismail
IEEE International Conference on Electronics, Circuits, and Systems, 2013
42013
A novel CMOS-based fully differential operational floating conveyor
H ElGemmazy, A Helmy, H Mostafa, Y Ismail
2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 604-608, 2017
32017
TPQA: Three Point Quadrature Approximation MPPT Algorithm
AM Marzouk, AA Abdelmoaty, A Helmy, Y Ismail
IEEE International Conference on Electronics, Circuits, and Systems, 2013
22013
Formal Verification of Communications in Networks-on-Chip
D Borrione, A Helmy, L Pierre, J Schmaltz
Networks-on-Chips: Theory and Practice, 250p., 2009
22009
ASIC implementation of energy-optimized successive cancellation polar decoders for Internet of Things
O Alsherbini, M Wael, E Fahmy, A Helmy, Y Ismail, K Salah
2018 30th International Conference on Microelectronics (ICM), 260-263, 2018
12018
Dual output power management unit for a PV-battery hybrid energy system
AA Rezk, A Helmy, Y Ismail
5th International Conference on Energy Aware Computing Systems …, 2015
12015
VHDL implementation of a power management algorithm for PV-battery system
AA Rezk, A Helmy, Y Ismail
5th International Conference on Energy Aware Computing Systems …, 2015
12015
Redundancy and ECC Mechanisms to Improve Energy Efficiency of On-Die Interconnects
A Helmy, AR Alameldeen
International Conference on Energy Aware Computing, 2012
12012
Networks-on-Chips: Theory and Practice
D Borrione, A Helmy, L Pierre, J Schmaltz
Sl: CRC Press, 2009
12009
Research Article Study of Massive Floating Solar Panels over Lake Nasser
M Elshafei, A Ibrahim, A Helmy, M Abdallah, A Eldeib, M Badawy, ...
2021
The system can't perform the operation now. Try again later.
Articles 1–20