Wahba, Ayman

ayman.wahba@eng.asu.edu.eg

Department of Computer and Systems Engineering - Engineering
Interests: High Performance Digital IC Design and Test, Formal Verification Techniques, Diagnosis of Design Errors, High Level Synthesis, Design and Test of Computers, and Embedded Systems.,
Internal ID: rp12493

Loading... 2 0 20 0 false
 
Full Name
Wahba, Ayman
 
 
 
Scopus Author ID
 
WOS ID
 
Biography
Dr. Ayman Wahba is a Professor at the CSE department, Faculty of Engineering, Ain Shams University. He got his B.Sc. and M.Sc. Degrees in Electrical Engineering from the same university in 1988 and 1991 respectively. He then moved to France where he got his DEA (Diplôme d’Études Approfondies) degree from the INPG (Institut National Polytechnique de Grenoble) in 1993, and then he got his Ph.D. degree in Computer Engineering from the TIMA laboratory, Joseph Fourier University in 1997. His research interests include High Performance Digital IC Design and Test, Formal Verification Techniques, Diagnosis of Design Errors, High Level Synthesis, Design and Test of Computers, and Embedded Systems.

Results 21-40 of 60 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
211-Jan-2015Automatic test data generation targeting hybrid coverage criteriaEl-Serafy, Ahmed; Salama, Cherif ; Wahba, Ayman 
223-Feb-2014ICPMD: Integrated cross-platform mobile development solutionEl-Kassas, Wafaa S.; Abdullah, Bassem A.; Yousef, Ahmed H.; Wahba, Ayman 
233-Feb-2014It is my great pleasure toWahba, Ayman 
241-Dec-2012Accelerating Iris Recognition algorithms on GPUsSakr, Fatma Zaky; Taher, Mohamed; Ei-Bialy, Ahmed M.; Wahba, Ayman 
2517-Aug-2012Multi-cascade of complementary features for fast and accurate pedestrian detectionLeithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman 
261-Jan-2012Development of a technology for car's auto-parking using swarm search-based fuzzy control systemHanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman 
271-Dec-2011Path generation and tracking for car automatic parking employing swarm algorithmHanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman 
281-Dec-2011Implementation of formally verified real time distributed systems: Simplified flight control systemEl-Araby, Nahla A.; Wahba, Ayman ; Taher, Mohamed M.
291-Dec-2011High performance iris recognition system on GPUZaky Sakr, Fatma; Taher, Mohammed; Wahba, Ayman 
3028-Sep-2011Fast and accurate pedestrian detection using a cascade of multiple featuresLeithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman 
311-Dec-2010Accelerated access to visual data in multimedia applicationsAfifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim
321-Dec-2010Cascade of complementary features for fast and accurate pedestrian detectionLeithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman 
331-Dec-2010Mapping SMV models to event-B modelsHassan, Samah; Taher, Mohamed; Wahba, Ayman 
3419-Apr-2010Code synthesis for timed automata: A comparison using case studyAyoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed
351-Dec-2009A security layer for smart card applications authenticationElwahab, Amin Abd; Eldin, Ayman M.Bahaa; Wahba, Ayman ; Sheirah, Mohamed A.
361-Dec-2009Usage of run-time re-configuration for system porting in automotive applicationsKhalil, Saffey El Din A.; Wahba, Ayman 
371-Dec-2009Hybrid-based maintainability impact analysis for evolving systemsMohamed, Samer I.; Elmaddah, Islam A.M.; Wahba, Ayman 
381-Dec-2009An approach to model real-time systems in BAyoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed
391-Dec-2008Mapping timed automata to BAyoub, Anaheed; Wahba, Ayman ; Sheirah, Mohamed
401-Dec-2008Value estimation for software product managementMohamed, S. I.; Wahba, Ayman