Low Overhead FPGA-based RISC-V Resilient To Upsets In User Bits.

Cherif R. Salama https://orcid.org/0000-0002-6986-4697 Ahmed Fayez Elsousy A. Osama H. E. Omar H. M. Hassan Gehad I. Alkady Ramez M. Daoud Hassanein H. Amer Cherif R. Salama Dina G. Mahmoud Low Overhead FPGA-based RISC-V Resilient To Upsets In User Bits. 1-5 2025 MECO https://doi.org/10.1109/MECO66322.2025.11049168 conf/meco/2025 db/conf/meco/meco2025.html#ElsousyOOHADASM25

Adel Mahmoud M. Watheq El-Kharashi Cherif R. Salama Generating Synthetic Layout Test Patterns using Deep Learning. 603-614 2024 October 40 J. Electron. Test. 5 https://doi.org/10.1007/s10836-024-06138-2 db/journals/et/et40.html#MahmoudES24 streams/journals/et

Beatrice Shokry Hassanein H. Amer Salma K. Elsokkary Ramez M. Daoud Cherif R. Salama FPGA Accelerated CNN Inference and Online Retraining for UAVs with Minimal Power and Performance Overhead. 1-4 2023 ETFA https://doi.org/10.1109/ETFA54631.2023.10275689 conf/etfa/2023 db/conf/etfa/etfa2023.html#ShokryAEDS23 Ahmed Sadek Mahmoud I. Khalil Cherif R. Salama Detection of Cyberbullying in Arabic using Machine Learning and ChatGPT. 242-245 2023 NILES https://doi.org/10.1109/NILES59815.2023.10296682 conf/niles/2023 db/conf/niles/niles2023.html#SadekKS23 Abdallah Ammar Mahmoud I. Khalil Cherif R. Salama RT-YOSO: Revisiting YOSO for Real-time Panoptic Segmentation. 306-311 2023 NILES https://doi.org/10.1109/NILES59815.2023.10296714 conf/niles/2023 db/conf/niles/niles2023.html#AmmarKS23

Veronia Iskandar Cherif R. Salama Mohamed Taher Dynamic thread mapping for power-efficient many-core systems under performance constraints. 104614 2022 September 93 Microprocess. Microsystems https://doi.org/10.1016/j.micpro.2022.104614 db/journals/mam/mam93.html#IskandarST22

Salma K. Elsokkary Mohamed Taher Hassanein H. Amer Cherif R. Salama CNN Acceleration Through Flexible Distribution of Computations Between a Hardwired Processor and an FPGA. 167-171 2022 NILES https://doi.org/10.1109/NILES56402.2022.9942391 conf/niles/2022 db/conf/niles/niles2022.html#ElsokkaryTAS22 Mohamed Mohamed 0009 Mahmoud I. Khalil Cherif R. Salama Studying the Effect of Preprocessing on Simultaneous Localization and Mapping in Low-Light Conditions. 182-185 2022 NILES https://doi.org/10.1109/NILES56402.2022.9942422 conf/niles/2022 db/conf/niles/niles2022.html#MohamedKS22 Kareem A. Alansary Hassanein H. Amer Cherif R. Salama Effect of Transient Failures on FPGA-based Heterogeneous Multicore System Scheduling. 256-259 2022 NILES https://doi.org/10.1109/NILES56402.2022.9942438 conf/niles/2022 db/conf/niles/niles2022.html#AlansaryAS22

Wafaa S. El-Kassas Cherif R. Salama Ahmed A. Rafea Hoda K. Mohamed 0001 Automatic text summarization: A comprehensive survey. 113679 2021 165 Expert Syst. Appl. https://doi.org/10.1016/j.eswa.2020.113679 db/journals/eswa/eswa165.html#El-KassasSRM21

Salma K. Elsokkary Salma M. Soliman Nada Badawy Cherif R. Salama Hassanein H. Amer Gehad I. Alkady Ihab Adly Dynamic and Reliable Multichannel Interfacing System for FPGAs. 375-380 2021 EUROCON https://doi.org/10.1109/EUROCON52738.2021.9535622 conf/eurocon/2021 db/conf/eurocon/eurocon2021.html#ElsokkarySBSAAA21

Wafaa S. El-Kassas Cherif R. Salama Ahmed A. Rafea Hoda K. Mohamed 0001 EdgeSumm: Graph-based framework for automatic text summarization. 102264 2020 57 Inf. Process. Manag. 6 https://doi.org/10.1016/j.ipm.2020.102264 db/journals/ipm/ipm57.html#El-KassasSRM20

Farida A. Mohamed Cherif R. Salama Ahmed H. Yousef Ashraf M. Salem A Universal Model for Defective Classes Prediction Using Different Object-Oriented Metrics Suites. 65-70 2020 NILES https://doi.org/10.1109/NILES50944.2020.9257892 conf/niles/2020 db/conf/niles/niles2020.html#MohamedSYS20 Reham Fathy M. Ahmed Cherif R. Salama Hani Mahdi 0001 Optimizing Self-Organizing Maps Parameters Using Genetic Algorithm: A Simple Case Study. 3-12 2019 AISI https://doi.org/10.1007/978-3-030-31129-2_1 conf/aisi/2019 db/conf/aisi/aisi2019.html#AhmedSM19 Michel Naim Gerguis Cherif R. Salama M. Watheq El-Kharashi WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework. 45-57 2017 NLDB https://doi.org/10.1007/978-3-319-59569-6_6 https://www.wikidata.org/entity/Q87833151 conf/nldb/2017 db/conf/nldb/nldb2017.html#GerguisSE17 Michel Naim Gerguis Cherif R. Salama M. Watheq El-Kharashi ASU: An Experimental Study on Applying Deep Learning in Twitter Named Entity Recognition. 188-196 2016 NUT@COLING https://aclanthology.org/W16-3925/ conf/aclnut/2016 db/conf/aclnut/aclnut2016.html#GerguisSE16 Ahmed El-Serafy Ghada El-Sayed Cherif R. Salama Ayman Wahba Enhanced Genetic Algorithm for MC/DC test data generation. 1-8 2015 INISTA https://doi.org/10.1109/INISTA.2015.7276794 conf/inista/2015 db/conf/inista/inista2015.html#El-SerafyESW15 Ahmed El-Serafy Cherif R. Salama Ayman Wahba Automatic Test Data Generation Targeting Hybrid Coverage Criteria. 149-160 2015 SoMeT https://doi.org/10.1007/978-3-319-22689-7_11 conf/somet/2015 db/conf/somet/somet2015.html#El-SerafySW15 Ghada El-Sayed Cherif R. Salama Ayman Wahba Optimization of Generated Test Data for MC/DC. 161-172 2015 SoMeT https://doi.org/10.1007/978-3-319-22689-7_12 conf/somet/2015 db/conf/somet/somet2015.html#El-SayedSW15 Mohamed N. Ibrahim Cherif R. Salama M. Watheq El-Kharashi Ayman Wahba Pin-Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-Based Routing Algorithm. 271-294 2015 Computational Intelligence in Digital and Network Designs and Applications https://doi.org/10.1007/978-3-319-20071-2_10 books/sp/2015FTS db/books/collections/FTS2015.html#IbrahimSEW15

Cherif R. Salama Gregory Malecha Walid Taha Jim Grundy John O'Leary Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. 81-114 2011 24 High. Order Symb. Comput. 1-2 https://doi.org/10.1007/s10990-011-9072-1 db/journals/lisp/lisp24.html#SalamaMTGO11

Jennifer Gillenwater Gregory Malecha Cherif R. Salama Angela Yun Zhu Walid Taha Jim Grundy John O'Leary Synthesizable High Level Hardware Descriptions. 339-369 2010 28 New Gener. Comput. 4 https://doi.org/10.1007/s00354-008-0093-1 db/journals/ngc/ngc28.html#GillenwaterMSZTGO10

Angela Yun Zhu Edwin M. Westbrook Jun Inoue 0001 Alexandre Chapoutot Cherif R. Salama Marisa Linnea Peralta Travis Martin Walid Taha Marcia K. O'Malley Robert Cartwright Aaron D. Ames Raktim Bhattacharya Mathematical equations as executable models of mechanical systems. 1-11 2010 ICCPS https://doi.org/10.1145/1795194.1795196 conf/iccps/2010 db/conf/iccps/iccps2010.html#ZhuWICSPMTOCAB10 Cherif R. Salama Gregory Malecha Walid Taha Jim Grundy John O'Leary Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. 121-130 2009 PEPM https://doi.org/10.1145/1480945.1480963 conf/pepm/2009 db/conf/pepm/pepm2009.html#SalamaMTGO09 Jennifer Gillenwater Gregory Malecha Cherif R. Salama Angela Yun Zhu Walid Taha Jim Grundy John O'Leary Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. 41-50 2008 PEPM https://doi.org/10.1145/1328408.1328416 conf/pepm/2008 db/conf/pepm/pepm2008.html#GillenwaterMSZTGO08 Ihab Adly Reham Fathy M. Ahmed Kareem A. Alansary Gehad I. Alkady Hassanein H. Amer Aaron D. Ames Abdallah Ammar Nada Badawy Raktim Bhattacharya Robert Cartwright Alexandre Chapoutot Ramez M. Daoud Wafaa S. El-Kassas M. Watheq El-Kharashi Ghada El-Sayed Ahmed El-Serafy Salma K. Elsokkary Ahmed Fayez Elsousy Michel Naim Gerguis Jennifer Gillenwater Jim Grundy H. M. Hassan Mohamed N. Ibrahim Jun Inoue 0001 Veronia Iskandar Mahmoud I. Khalil Hani Mahdi 0001 Adel Mahmoud Dina MahmoudDina G. Mahmoud Gregory Malecha Travis Martin Farida A. Mohamed Hoda K. Mohamed 0001 Mohamed Mohamed 0009 John O'Leary Marcia Kilchenman O'MalleyMarcia K. O'Malley H. E. Omar A. Osama Marisa Linnea Peralta Ahmed A. Rafea Ahmed Sadek Ashraf M. Salem Beatrice Shokry Salma M. Soliman Walid Taha Mohamed Taher Ayman Wahba Edwin M. Westbrook Ahmed H. Yousef Angela Yun Zhu