Ashraf M. Salem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2014
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | AINA | Real-Time Mobile Cloud Computing: A Case Study in Face Recognition. | Marwa Ayad, Mohamed Taher, Ashraf M. Salem |
| 2013 | FDL | Application of formal methods for design space exploration and refinement. | Dominique Borrione, Ashraf M. Salem |
| 2004 | FDL | Transaction Level Modeling in Java. | Sherif G. Aly, Ashraf M. Salem |
| 2004 | ISCAS | FPGA based accelerator for functional simulation. | Mohamed N. Wageeh, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
| 2003 | FDL | TCTL-Based Verification of Industrial Processes. | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |