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 1-20 of 60 (Search time: 0.0 seconds).

Issue DateTitleAuthor(s)
11-Jan-2023Enhancing Counter Synchronization in a Secure Communication Scheme for CAN-Based Automotive Embedded SystemsSultan, Hossam K.; Wahba, Ayman ; Abdullah, Bassem A.
215-Sep-2022Semi-supervised deep learning framework for milk analysis using NIR spectrometersSaid, Mai; Khalil D ; Wahba, Ayman 
31-Jan-2020Plastic sorting based on MEMS FTIR spectral chemometrics sensingSaid, M.; Amr, M.; Sabry Y. ; Khalil, Diaa ; Wahba, Ayman 
41-Dec-2019Wireless ECG Monitoring System for Telemedicine ApplicationAboalseoud, Ahmed; Youssry, Akram; El-Nozahi, Mohamed; El-Rafei, Ahmed; Elbialy, Ahmed; Ragaai, Hani; Wahba, Ayman 
51-Dec-2019Improve performance of indoor positioning system using BLEEssa, Eslam; Abdullah, Bassem A.; Wahba, Ayman 
61-Apr-2019Color instance segmentation and classification of cervix imagesSaid, Marwa; Moustafa, Mohamed said attia ; Wahba, Ayman 
71-Jan-2018Smart aquaponics system for industrial internet of things (IIoT)Odema, Mohanad; Adly, Ihab; Wahba, Ayman ; Ragai, Hani
82-Jul-2017Automatic liveness detection for facial imagesHassan, Mehad Araby; Mustafa, Mohamed Nabil; Wahba, Ayman 
91-Jun-2017Taxonomy of Cross-Platform Mobile Applications Development ApproachesEl-Kassas, WS; Abdullah, Bassem ; Yousef, AH; Wahba, Ayman 
101-Dec-2016New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static AnalysisHanafy, Mohamed; Said, Hazem; Wahba, Ayman 
111-Nov-2016Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)El-Kassas, Wafaa S.; Abdullah, Bassem A.; Yousef, Ahmed H.; Wahba, Ayman 
21213-Sep-2016Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platformSaid, Mai; Safar, Mona; Taher, Mohamed; Wahba, Ayman 
2131-Feb-2016Automatic test pattern generation for virtual hardware model using constrained symbolic executionMohamed, Nahla; Safari, Mona; Wahba, Ayman ; Salem, Ashraf 
21425-Jan-2016GPU-accelerated real-time video background subtractionBoghdady, Ramy; Salama, Cherif ; Wahba, Ayman 
21525-Jan-2016New methodology for digital design properties extraction from simulation tracesHanafy, Mohamed; Said, Hazem; Wahba, Ayman 
21625-Jan-2016Constrained-based symbolic execution on virtual models for functional coverage verificationMohamed, Nahla Mohamed; Wahba, Ayman ; Safar, Mona; Salem, Ashraf 
21724-Sep-2015Enhanced Genetic Algorithm for MC/DC test data generationEl-Serafy, Ahmed; El-Sayed, Ghada; Salama, Cherif ; Wahba, Ayman 
2181-Jul-2015Complete Properties Extraction from Simulation Traces for Assertions Auto-generationHanafy, Mohamed; Said, Hazem; Wahba, Ayman 
2191-Jan-2015Optimization of generated test data for MC/DCEl-Sayed, Ghada; Salama, Cherif ; Wahba, Ayman 
2201-Jan-2015Pin-count and wire length optimization for electrowetting-on-dielectric chips: A metaheuristics-based routing algorithmIbrahim, Mohamed; Salama, Cherif ; El-Kharashi, M. Watheq; Wahba, Ayman