Mohamed Abdelsalam

According to our database, Mohamed Abdelsalam authored at least 35 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Proposed Model for Improving the Reliability of Online Exam Results Using Blockchain.

Mohamed Abdelsalam, Marwan Shokry, Amira M. Idrees

IEEE Access, 2024

Model-Based Security Analysis of Interconnected Subsystems: A Methodology for Security Compatibility Evaluation.

Mohamed Abdelsalam, Isaac Mpidi Bita, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier

Proceedings of the 21st Annual International Conference on Privacy, Security and Trust, 2024

2023

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.

Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu

Proceedings of the Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28, 2023

C-TAR: A Compositional Threat Analysis and Risk Assessment Method for Infrastructure-Based Autonomous Driving.

Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2022

Emulation and verification framework for MPSoC based on NoC and RISC-V.

Mostafa Khamis, Sameh El-Ashry, Mohamed Abdelsalam, M. Watheq El-Kharashi, Ahmed Shalaby

Des. Autom. Embed. Syst., December, 2022

3D Adapted Random Forest Vision (3DARFV) for Untangling Heterogeneous-Fabric Exceeding Deep Learning Semantic Segmentation Efficiency at the Utmost Accuracy.

Omar Alfarisi, Zeyar Aung, Qingfeng Huang, Ashraf Al-Khateeb, Hamed Alhashmi, Mohamed Abdelsalam, Salem Alzaabi, Haifa Alyazeedi, Anthony Tzes

CoRR, 2022

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems.

Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the Modelling and Simulation for Autonomous Systems, 2022

A Reusable UVM-SystemC Verification Environment for Simulation, Hardware Emulation, and FPGA Prototyping: Case Studies.

Essraa Massoud, Mohamed Abdelsalam, Mona Safar, M. Watheq El-Kharashi

Proceedings of the International Conference on Microelectronics, 2022

2021

Improving security of the Internet of Things via RF fingerprinting based device identification system.

Sohail Abbas, Qassim Nasir, Douae Nouichi, Mohamed Abdelsalam, Manar AbuTalib, Omnia Abu Waraga, Atta ur Rehman Khan

Neural Comput. Appl., 2021

Using Path Planning Algorithms and Digital Twin Simulators to Collect Synthetic Training Dataset for Drone Autonomous Navigation.

Ismail Ryad, Marwan Zidan, Nadien Rashad, Dina Bakr, Nadeen Bakr, Nada Yehia, Yara Ismail, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the 28th IEEE International Conference on Electronics, 2021

An Automated Flow for Configuration and Generation of CNN based AI accelerators for HW Emulation & FPGA Prototyping.

Ahmed Nasser, Karim Ahmed Fadel, Karim Ossama Abbas, Karim Hussein Ahmed, Mohamed Abdelsalam, Mahmoud Gaber

Proceedings of the 28th IEEE International Conference on Electronics, 2021

2020

On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment.

Sameh El-Ashry, Mostafa Khamis, Hala Ibrahim, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Usability Study of a comprehensive table tennis AR-based training system with the focus on players' strokes.

Habiba Hegazy, Ayman Nabil, Mohamed Abdelsalam, Moustafa Hussien, Seif Elmosalamy, Yomna M. I. Hassan, Ayman Atia

J. Ubiquitous Syst. Pervasive Networks, 2020

IPingPong: A Real-time Performance Analyzer System for Table Tennis Stroke's Movements.

Habiba Hegazy, Mohamed Abdelsalam, Moustafa Hussien, Seif Elmosalamy, Yomna M. I. Hassan, Ayman M. Nabil, Ayman Atia

Proceedings of the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2020) / The 15th International Conference on Future Networks and Communications (FNC-2020) / The 10th International Conference on Sustainable Energy Information Technology, 2020

Online detection and classification of in-corrected played strokes in table tennis using IR depth camera.

Habiba Hegazy, Mohamed Abdelsalam, Moustafa Hussien, Seif Elmosalamy, Yomna M. I. Hassan, Ayman M. Nabil, Ayman Atia

Proceedings of the 11th International Conference on Ambient Systems, 2020

2019

Virtual Verification and Validation of Automotive System.

Mona Safar, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles K. Khalil, Ashraf Salem

J. Circuits Syst. Comput., 2019

IoV Road Safety: Vehicle Speed Limiting System.

Mohamed Abdelsalam, Talal Bonny

Proceedings of the International Conference on Communications, 2019

2018

RVNoC: A Framework for Generating RISC-V NoC-Based MPSoC.

Mahmoud A. Elmohr, Ahmed S. Eissa, Moamen Ibrahim, Mostafa Khamis, Sameh El-Ashry, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

A Configurable RISC-V for NoC-Based MPSoCs: A Framework for Hardware Emulation.

Mostafa Khamis, Sameh El-Ashry, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 11th International Workshop on Network on Chip Architectures, 2018

Virtual Electronic Control Unit as a Functional Mockup Unit for Heterogeneous Systems.

Mona Safar, Keroles K. Khalil, Magdy A. El-Moursy, Mohamed Abdelsalam

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Internet of things: A comparative study.

BahaaEldin El-Shweky, Karim ElKholy, Mahmoud Abdelghany, Mahmoud Salah, Mohamed Wael, Omar Alsherbini, Yehea Ismail, Khaled Salah, Mohamed Abdelsalam

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2017

On Error Injection for NoC Platforms: A UVM-based Practical Case Study.

Sameh El-Ashry, Hala Ibrahim, Moamen A. Ibrahem, Mostafa Khamis, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 10th International Workshop on Network on Chip Architectures, 2017

Smart auto-correction methodology using assertions and dynamic partial reconfiguration.

Khaled Salah, Mohamed Abdelsalam

Proceedings of the 24th IEEE International Conference on Electronics, Circuits and Systems, 2017

2016

System Verilog Assertions Synthesis Based Compiler.

Omar Amin, Youssef Ramzy, Omar Ibrahem, Ahmed Fouad, Khaled Mohamed, Mohamed Abdelsalam

Proceedings of the 17th International Workshop on Microprocessor and SOC Test and Verification, 2016

NVMe Solid State Drive verification solution using HW Emulation and Virtual Device Technologies.

Mohamed Abdelsalam

Proceedings of the 11th International Design & Test Symposium, 2016

Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats.

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

SoC verification platforms using HW emulation and co-modeling Testbench technologies.

Mohamed Abdelsalam, Ashraf Salem

Proceedings of the 10th International Design & Test Symposium, 2015

Accelerating electromagnetic simulations: A hardware emulation approach.

M. Tarek Ibn Ziad, Yousra Alkabani, M. Watheq El-Kharashi, Khaled Salah, Mohamed Abdelsalam

Proceedings of the 2015 IEEE International Conference on Electronics, 2015

2014

A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML.

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

2013

A novel approach for functional verification of memory protocol standard.

Omar Samir, Moustafa Kassem, Mohammed Sameh, Sarah Aly, Mohamed R. M. Rizk, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the 8th International Design and Test Symposium, 2013

A novel approach for assertion based verification of DDR memory protocols.

Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the 2013 Forum on specification and Design Languages, 2013

2012

A novel digital loop filter architecture for bang-bang ADPLL.

Moataz Abdelfattah, Maged Ghoneima, Yehea I. Ismail, Amr Lotfy, Mohamed Abdelsalam, Mohamed Abdel-moneum, Nasser A. Kurd, Greg Taylor

Proceedings of the IEEE 25th International SOC Conference, 2012

2011

TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip.

Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed Abdelsalam

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

A novel approach for system level synthesis of multi-core system architectures from TPG models.

Karim Yehia, Mona Safar, Hassan A. Youness, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the 9th IEEE/ACS International Conference on Computer Systems and Applications, 2011

2010

Supporting circuitry for a fully integrated micro electro mechanical (MEMS) oscillator in 45 nm CMOS technology.

Mohamed Abdelsalam, M. Wahba, M. Abdelmoneum, David Duarte, Yehia Ismail

Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010