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
Network Lab View Statistics Email Alert RSS Feed

Profile

Loading... 2 0 20 0 false
 
Full Name
Wahba, Ayman
 
Affiliation (Department)
 
ORCID
 
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.

Publications

Results 21-40 of 50 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
211-Dec-2011Implementation of formally verified real time distributed systems: Simplified flight control systemEl-Araby, Nahla A.; Wahba, Ayman ; Taher, Mohamed M.
221-Dec-2011High performance iris recognition system on GPUZaky Sakr, Fatma; Taher, Mohammed; Wahba, Ayman 
2328-Sep-2011Fast and accurate pedestrian detection using a cascade of multiple featuresLeithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman 
241-Dec-2010Accelerated access to visual data in multimedia applicationsAfifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim
251-Dec-2010Cascade of complementary features for fast and accurate pedestrian detectionLeithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman 
261-Dec-2010Mapping SMV models to event-B modelsHassan, Samah; Taher, Mohamed; Wahba, Ayman 
2719-Apr-2010Code synthesis for timed automata: A comparison using case studyAyoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed
281-Dec-2009A security layer for smart card applications authenticationElwahab, Amin Abd; Eldin, Ayman M.Bahaa; Wahba, Ayman ; Sheirah, Mohamed A.
291-Dec-2009Usage of run-time re-configuration for system porting in automotive applicationsKhalil, Saffey El Din A.; Wahba, Ayman 
301-Dec-2009An approach to model real-time systems in BAyoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed
311-Dec-2008Mapping timed automata to BAyoub, Anaheed; Wahba, Ayman ; Sheirah, Mohamed
321-Dec-2008Value estimation for software product managementMohamed, S. I.; Wahba, Ayman 
331-Dec-2008Criteria-based requirements prioritization for software product managementMohamed, A. Samer I.; El-Maddah, B. Islam A.; Wahba, Ayman 
341-Dec-2007Verification of the properties of asynchronous real-time distributed systems using the B-FormalismWahba, Ayman ; El-Maddah, Islam A.
351-Dec-2006Dynamic reconfiguration for increased functional densityEl-Araby, Nahla A.; Wahba, Ayman ; Bedor, Hassan S.
361-Dec-2004HDL filter for optimized area-delay minimization in FPGA synthesisWahba, Ayman 
376-Sep-2004FPGA based accelerator for functional simulationWageeh, Mohamed N.; Wahba, Ayman ; Salem, Ashraf M.; Sheirah, Mohamed A.
381-Jan-2003AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONSHassan, Samah; Wahba, Ayman ; Zaki Badr, Ahmed 
391-Jan-2002Accelerated cosimulation using reconfigurable computingNabeel, Mohamed; Wahba, Ayman ; Salem, A. M.; Sheirah, M. A.
401-Dec-2001Formal verification of digital circuits by 3-valued simulationWahba, Ayman ; Aas, Einar J.