Salem, Ashraf

ashraf.salem@eng.asu.edu.eg
Department of Computer and Systems Engineering - Engineering
Interests: Computer Design, Computer Aided Design,
Internal ID: rp12195
Network Lab View Statistics Email Alert RSS Feed

Profile

Loading... 2 0 20 0 false
 
image.jpg picture
 
Full Name
Salem, Ashraf
 
Affiliation (Department)
 
Scopus Author ID
 

Publications

Results 1-6 of 6 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
11-Feb-2016Automatic test pattern generation for virtual hardware model using constrained symbolic executionMohamed, Nahla; Safari, Mona; Wahba, Ayman ; Salem, Ashraf 
225-Jan-2016Constrained-based symbolic execution on virtual models for functional coverage verificationMohamed, Nahla Mohamed; Wahba, Ayman ; Safar, Mona; Salem, Ashraf 
319-Apr-2010Code synthesis for timed automata: A comparison using case studyAyoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed
41-Dec-2009An approach to model real-time systems in BAyoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed
51-Dec-2000Iterated calculation of global implications and recursive learning in combinational equivalence checkingReda, Sherief; Wahba, Ayman ; Salem, Ashraf ; Ghonaimy, Mohamed A.
61-Jan-2000M-CHECK: A multiple engine combinational equivalence checkerReda, Sherief; Wahba, Ayman ; Salem, Ashraf