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 (VLSI-SoC, 2010)

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 (AICCSA, 2011)

TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. - Mona Safar; Magdy A. El-Moursy; Ashraf Salem; Mohamed Abdelsalam (MTV, 2011)

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 (SoCC, 2012)

A novel approach for assertion based verification of DDR memory protocols. - Moustafa Kassem; Marianne Michel; Mohamed Abdelsalam; Ashraf Salem (FDL, 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 (IDT, 2013)

A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML. - Mohamed O. Kayed; Mohamed Abdelsalam; Rafik Guindi (MTV, 2014)

Accelerating electromagnetic simulations: A hardware emulation approach. - M. Tarek Ibn Ziad; Yousra Alkabani; M. Watheq El-Kharashi; Khaled Salah 001; Mohamed Abdelsalam (ICECS, 2015)

SoC verification platforms using HW emulation and co-modeling Testbench technologies. - Mohamed Abdelsalam; Ashraf Salem (IDT, 2015)

Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. - Mohamed O. Kayed; Mohamed Abdelsalam; Rafik Guindi (HLDVT, 2016)

NVMe Solid State Drive verification solution using HW Emulation and Virtual Device Technologies. - Mohamed Abdelsalam (IDT, 2016)

System Verilog Assertions Synthesis Based Compiler. - Omar Amin; Youssef Ramzy; Omar Ibrahem; Ahmed Fouad 001; Khaled Mohamed; Mohamed Abdelsalam (MTV, 2016)

Smart auto-correction methodology using assertions and dynamic partial reconfiguration. - Khaled Salah 001; Mohamed Abdelsalam (ICECS, 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 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (NoCArc@MICRO, 2017)

Internet of things: A comparative study. - BahaaEldin El-Shweky; Karim ElKholy; Mahmoud Abdelghany; Mahmoud Salah; Mohamed Wael; Omar Alsherbini; Yehea Ismail; Khaled Salah 001; Mohamed Abdelsalam (CCWC, 2018)

Virtual Electronic Control Unit as a Functional Mockup Unit for Heterogeneous Systems. - Mona Safar; Keroles K. Khalil; Magdy A. El-Moursy; Mohamed Abdelsalam (ISCAS, 2018)

A Configurable RISC-V for NoC-Based MPSoCs: A Framework for Hardware Emulation. - Mostafa Khamis; Sameh El-Ashry; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (NoCArc@MICRO, 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 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (PDP, 2018)

IoV Road Safety: Vehicle Speed Limiting System. - Mohamed Abdelsalam; Talal Bonny (ICCSPA, 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)

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 (ANT/EDI40, 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 (FNC/MobiSPC, 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)

On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment. - Sameh El-Ashry; Mostafa Khamis; Hala Ibrahim; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

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 (ICECS, 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 (ICECS, 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)

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 (ICM, 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 (MESAS, 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)

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 001 (Des. Autom. Embed. Syst., 2022)

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 (ESORICS Workshops (2), 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 (PoEM Companion, 2023)

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 (PST, 2024)

A Proposed Model for Improving the Reliability of Online Exam Results Using Blockchain. - Mohamed Abdelsalam; Marwan Shokry; Amira M. Idrees (IEEE Access, 2024)

ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. - Mohamed Abdelsalam; Simon Greiner; Oum-El-Kheir Aktouf; Annabelle Mercier (SAFECOMP, 2025)

A Proposed Immersive Digital Twin Architecture for Automated Guided Vehicles Integrating Virtual Reality and Gesture Control. - Mokhtar Ba Wahal; Maram Selsabila Mahmoudi; Ahmed Bahssain; Ikrame Rekabi; Abdelhalim Saeed; Mohamad Alzarif; Mohamed Ellethy; Neven A. M. ElSayed; Mohamed Abdelsalam; Tamer ElBatt (VISIGRAPP (1): GRAPP, HUCAPP, IVAPP, 2025)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)