Amr Helmy

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 7

Top Topics

Power Management

Hardware Implementation

Top Venues

Publications

Omar Alsherbini, Mohamed Wael, Eslam Fahmy, Amr Helmy, Yehea Ismail, Khaled Salah
ASIC Implementation of Energy-Optimized Successive Cancellation Polar Decoders for Internet of Things. ICM (2018)
Abdelrahim Elnabawy, Hussien Abdelmohsen, Moatasem Moustafa, Mostafa Elbediwy, Amr Helmy, Hassan Mostafa
A Low Power CORDIC-Based Hardware Implementation of Izhikevich Neuron Model. NEWCAS (2018)
Mahmoud Salah, BahaaEldin El-Shweky, Karim ElKholy, Amr Helmy, Yehea Ismail, Khaled Salah
HEVC Implementation for IoT Applications. ICM (2018)
Hossam ElGemmazy, Amr Helmy, Hassan Mostafa, Yehea Ismail
A Novel CMOS-Based Fully Differential Operational Floating Conveyor. ISVLSI (2017)
Hossam ElGemmazy, Amr Helmy, Hassan Mostafa, Yehea Ismail
An improved design for high speed analog applications of the fully differential operational floating conveyor. ICM (2017)
Ahmed A. Rezk, Amr Helmy, Yehea Ismail
VHDL implementation of a power management algorithm for PV-battery system. ICEAC (2015)
Ahmed A. Rezk, Amr Helmy, Yehea Ismail
Dual output power management unit for a PV-battery hybrid energy system. ICEAC (2015)
Ahmed A. Rezk, Amr Helmy, Ahmed Abdallah, Yehea Ismail
VHDL implementation of Maximum Power Point Tracking algorithms. ICECS (2013)
Ahmad M. Marzouk, Ahmed A. Abdelmoaty, Amr Helmy, Yehea Ismail
TPQA: Three point quadrature approximation MPPT algorithm. ICECS (2013)
Omar Haridy, Harish Krishnamurthy, Amr Helmy, Yehea Ismail
Synthesizable delay line architectures for digitally controlled voltage regulators. SoCC (2012)
Amr Helmy, Alaa R. Alameldeen
Redundancy and ECC mechanisms to improve energy efficiency of on-die interconnects. ICEAC (2012)
Amr Helmy, Laurence Pierre, Axel Jantsch
Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing. DDECS (2010)
Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz
A Formal Approach to the Verification of Networks on Chip. EURASIP J. Embed. Syst. 2009 (2009)
Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz
Executable formal specification and validation of NoC communication infrastructures. SBCCI (2008)
Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS (2007)