Amr Helmy

Amr Helmy

Zewail City of Science and Technology - Giza / Egypt
Engineering & Technology / Nanoscience and Nanotechnology
AD Scientific Index ID: 4372911
جامعة العلوم والتكنولوجيا بمدينة زويل
person_outline Amr Helmy's MOST POPULAR ARTICLES
1-) A generic model for formally verifying noc communication architectures: A case studyD Borrione, A Helmy, L Pierre, J SchmaltzFirst International Symposium on Networks-on-Chip (NOCS\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'07), 127-136, 2007492007
2-) A formal approach to the verification of networks on chipD Borrione, A Helmy, L Pierre, J SchmaltzEURASIP Journal on Embedded Systems 2009, 1-14, 2009362009
3-) Study of massive floating solar panels over Lake NasserM Elshafei, A Ibrahim, A Helmy, M Abdallah, A Eldeib, M Badawy, ...Journal of Energy 2021, 1-17, 2021172021
4-) A Low Power CORDIC-Based Hardware Implementation of Izhikevich Neuron ModelA Elnabawy, H Abdelmohsen, M Moustafa, M Elbediwy, A Helmy, ...The 16th IEEE International NEWCAS conference, 2018202018
5-) Executable formal specification and validation of NoC communication infrastructuresD Borrione, A Helmy, L Pierre, J SchmaltzProceedings of the 21st annual symposium on Integrated circuits and system …, 2008172008