Concepedia

Ashraf Salem

AS

23

Publications

756

Citations

15

H-Index

1992

Active since

Affiliations

Ain Shams University(Current)

Electronics Research Institute

Nile University

Concordia University

Ashraf Salem is an author at Ain Shams University specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringSystems EngineeringComputer ArchitectureFormal MethodsVerificationFormal VerificationParallel ComputingAutomated Reasoning

Publications per year

1992–2021

23

Publications

23

Development of an IoT and BIM-based automated alert system for thermal comfort monitoring in buildings

Mojtaba Valinejadshoubi, Osama Moselhi, Ashutosh Bagchi et al. · Sustainable Cities and Society · 2020 · 136 citations

Built Environment, Engineering, Smart Building +10

Multimodal Video Sentiment Analysis Using Deep Learning Approaches, a Survey

Sarah A. Abdu, Ahmed H. Yousef, Ashraf Salem · Information Fusion · 2021 · 130 citations

Artificial Intelligence, Natural Language Processing, Engineering +11

An efficient implementation of floating point multiplier

Mohamed Al-Ashrafy, Ashraf Salem, Wagdy R. Anis · 2011 · 77 citations

Hardware Security, Real Data Type, Engineering +15

Formal verification of VHDL descriptions in the Prevail environment

D. Borrione, Laurence Pierre, Ashraf Salem · IEEE Design & Test of Computers · 1992 · 50 citations

Engineering, Hardware Verification Language, Verification +23

Formal Semantics of Synchronous SystemC

Ashraf Salem · Design, Automation, and Test in Europe · 2003 · 44 citations

Formal Semantics, Systemc Delta Delay, Formal Specification +15

Rows per page

1–5 of 23