Ashraf M. Salem

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 2

Top Topics

Computing Resources

Cloud Computing

Internet Services

Top Venues

Publications

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. NILES (2020)
Marwa Ayad, Mohamed Taher, Ashraf M. Salem
Mobile GPU Cloud Computing with real time application. ICEAC (2015)
Marwa Ayad, Mohamed Taher, Ashraf M. Salem
Real-Time Mobile Cloud Computing: A Case Study in Face Recognition. AINA Workshops (2014)
Dominique Borrione, Ashraf M. Salem
Application of formal methods for design space exploration and refinement. FDL (2013)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM (2010)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah
Automatic code generation from verified timed automata model. IADIS AC (1) (2009)
Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
FPGA based accelerator for functional simulation. ISCAS (5) (2004)
Sherif G. Aly, Ashraf M. Salem
Transaction Level Modeling in Java. FDL (2004)
Sherif G. Aly, Ashraf M. Salem
Observability-Based RTL Simulation using JAVA. IWSOC (2004)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
TCTL-Based Verification of Industrial Processes. FDL (2003)
Sherif G. Aly, Ashraf M. Salem
Java Based Co-Verification of Expedited Mobile Device Collaboration. Embedded Systems and Applications (2003)
Sherif G. Aly, Ashraf M. Salem
Mobile Embedded System Co-Verification Modeling Using Java Observability. Embedded Systems and Applications (2003)
Sherif G. Aly, Ashraf M. Salem
Java Based Co-Verification of Expedited Mobile Device. IWSOC (2003)
Dominique Borrione, Ashraf M. Salem
Denotational Semantics of a Synchronous VHDL Subset. Formal Methods Syst. Des. 7 (1/2) (1995)
Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem
Formal Verification of VHDL Descriptions in the Prevail Environment. IEEE Des. Test Comput. 9 (2) (1992)