Amr Helmy
Amr Helmy
Assistant professor, NanoTechnology and NanoElectronics engineering program, Zewail City of Science
Verified email at zewailcity.edu.eg - Homepage
TitleCited byYear
A generic model for formally verifying NoC communication architectures: A case study
D Borrione, A Helmy, L Pierre, J Schmaltz
Proceedings of the First International Symposium on Networks-on-Chip, 127-136, 2007
432007
A formal approach to the verification of networks on chip
D Borrione, A Helmy, L Pierre, J Schmaltz
EURASIP Journal on Embedded Systems 2009, 2, 2009
302009
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
122010
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
122008
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
72018
ACL2-based Verification of the Communications in the Hermes Network on Chip
D Borrione, A Helmy, L Pierre
Proc. SMACD 6, 2006
52006
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
TPQA: Three Point Quadrature Approximation MPPT Algorithm
AM Marzouk, AA Abdelmoaty, A Helmy, Y Ismail
IEEE International Conference on Electronics, Circuits, and Systems, 2013
32013
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
22019
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
22017
Formal verification of communications in networks-on-chips
D Borrione, A Helmy, L Pierre, J Schmaltz
Networks-on-Chips, 170-205, 2009
22009
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
12017
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
Networks-on-Chips: Theory and Practice
D Borrione, A Helmy, L Pierre, J Schmaltz, F Gebali, H Elmilgi, ...
Embedded Multi-Core Systems, 2009
12009
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
2018
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
2018
An improved design for high speed analog applications of the fully differential operational floating conveyor
H ElGemmazy, A Helmy, H Mostafa, Y Ismail
2017 29th International Conference on Microelectronics (ICM), 1-4, 2017
2017
Redundancy and ECC Mechanisms to Improve Energy Efficiency of On-Die Interconnects
A Helmy, AR Alameldeen
International Conference on Energy Aware Computing, 2012
2012
Synthesizable Delay Line architectures for digitally controlled voltage regulators
O Haridy, H Krishnamurthy, A Helmy, Y Ismail
System-on-Chip conference, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20