A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. - Dominique Borrione; Amr Helmy; Laurence V. Pierre; Julien Schmaltz (NOCS, 2007)

Executable formal specification and validation of NoC communication infrastructures. - Dominique Borrione; Amr Helmy; Laurence Pierre; Julien Schmaltz (SBCCI, 2008)

A Formal Approach to the Verification of Networks on Chip. - Dominique Borrione; Amr Helmy; Laurence Pierre; Julien Schmaltz (EURASIP J. Embed. Syst., 2009)

Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing. - Amr Helmy; Laurence Pierre; Axel Jantsch (DDECS, 2010)

Redundancy and ECC mechanisms to improve energy efficiency of on-die interconnects. - Amr Helmy; Alaa R. Alameldeen (ICEAC, 2012)

Synthesizable delay line architectures for digitally controlled voltage regulators. - Omar Haridy; Harish Krishnamurthy; Amr Helmy; Yehea Ismail (SoCC, 2012)

TPQA: Three point quadrature approximation MPPT algorithm. - Ahmad M. Marzouk; Ahmed A. Abdelmoaty; Amr Helmy; Yehea Ismail (ICECS, 2013)

VHDL implementation of Maximum Power Point Tracking algorithms. - Ahmed A. Rezk; Amr Helmy; Ahmed Abdallah; Yehea Ismail (ICECS, 2013)

Dual output power management unit for a PV-battery hybrid energy system. - Ahmed A. Rezk; Amr Helmy; Yehea Ismail (ICEAC, 2015)

VHDL implementation of a power management algorithm for PV-battery system. - Ahmed A. Rezk; Amr Helmy; Yehea Ismail (ICEAC, 2015)

An improved design for high speed analog applications of the fully differential operational floating conveyor. - Hossam ElGemmazy; Amr Helmy; Hassan Mostafa; Yehea Ismail (ICM, 2017)

A Novel CMOS-Based Fully Differential Operational Floating Conveyor. - Hossam ElGemmazy; Amr Helmy; Hassan Mostafa; Yehea Ismail (ISVLSI, 2017)

ASIC Implementation of Energy-Optimized Successive Cancellation Polar Decoders for Internet of Things. - Omar Alsherbini; Mohamed Wael; Eslam Fahmy; Amr Helmy; Yehea Ismail; Khaled Salah 001 (ICM, 2018)

HEVC Implementation for IoT Applications. - Mahmoud Salah; BahaaEldin El-Shweky; Karim ElKholy; Amr Helmy; Yehea Ismail; Khaled Salah 001 (ICM, 2018)

A Low Power CORDIC-Based Hardware Implementation of Izhikevich Neuron Model. - Abdelrahim Elnabawy; Hussien Abdelmohsen; Moatasem Moustafa; Mostafa Elbediwy; Amr Helmy; Hassan Mostafa (NEWCAS, 2018)

A Recipe for Improving Remote Sensing VLM Zero Shot Generalization. - Aviad Barzilai; Yotam Gigi; Amr Helmy; Vered Silverman; Yehonathan Refael; Bolous Jaber; Tomer Shekel; George Leifman; Genady Beryozkin (CoRR, 2025)