Personal information

Egypt, France

Biography

Biography
Ayman M. Wahba is a Professor of Computer Engineering, and Vice Dean for Education and Students Affairs, Faculty of Engineering, Ain Shams University. He got his BSc and MSc 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 PhD degree in Computer Engineering from the TIMA laboratory, Joseph Fourier University, Grenoble, France in 1997. His research interests Formal Verification of hardware and software systems, DFT (Design for Testability), Hardware Optimization Methods, and Reconfigurable Computing systems. He published around 120 papers in refereed international journals and conferences. He is a member of the IEEE.

Activities

Employment (1)

Ain Shams University: Cairo, Cairo, EG

1988-10 to present | Professor (Computer and Systems Engineering)
Employment
Source: Self-asserted source
Ayman Wahba

Education and qualifications (2)

Ain Shams University: Cairo, EG

1988-09-01 to 1991-12-01 | M.Sc. (Computer and Automatic Control)
Education
Source: Self-asserted source
Ayman Wahba

Ain Shams University: Cairo, EG

1983-09 to 1988-07-18 | B.Sc. (Computers and Systems Engineering)
Education
Source: Self-asserted source
Ayman Wahba

Works (50 of 63)

Items per page:
Page 1 of 2

Semi-supervised deep learning framework for milk analysis using NIR spectrometers

Chemometrics and Intelligent Laboratory Systems
2022 | Journal article
EID:

2-s2.0-85135411527

Part of ISSN: 18733239 01697439
Contributors: Said, M.; Wahba, A.; Khalil, D.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Plastic sorting based on MEMS FTIR spectral chemometrics sensing

Proceedings of SPIE - The International Society for Optical Engineering
2020 | Conference paper
EID:

2-s2.0-85090389203

Part of ISSN: 1996756X 0277786X
Contributors: Said, M.; Amr, M.; Sabry, Y.; Khalil, D.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Color instance segmentation and classification of cervix images

2019 IEEE 10th GCC Conference and Exhibition, GCC 2019
2019 | Conference paper
EID:

2-s2.0-85086315084

Contributors: Said, M.; Moustafa, M.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Improve performance of indoor positioning system using BLE

Proceedings - ICCES 2019: 2019 14th International Conference on Computer Engineering and Systems
2019 | Conference paper
EID:

2-s2.0-85084705030

Contributors: Essa, E.; Abdullah, B.A.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Wireless ECG Monitoring System for Telemedicine Application

Proceedings - 2019 IEEE 9th International Conference on Intelligent Computing and Information Systems, ICICIS 2019
2019 | Conference paper
EID:

2-s2.0-85083384601

Contributors: Aboalseoud, A.; Youssry, A.; El-Nozahi, M.; El-Rafei, A.; Elbialy, A.; Ragaai, H.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Automatic liveness detection for facial images

Proceedings of ICCES 2017 12th International Conference on Computer Engineering and Systems
2018 | Conference paper
EID:

2-s2.0-85046552050

Contributors: Hassan, M.A.; Mustafa, M.N.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Smart aquaponics system for industrial internet of things (IIoT)

Advances in Intelligent Systems and Computing
2018 | Book
EID:

2-s2.0-85029517186

Part of ISSN: 21945357
Contributors: Odema, M.; Adly, I.; Wahba, A.; Ragai, H.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Taxonomy of Cross-Platform Mobile Applications Development Approaches

Ain Shams Engineering Journal
2017 | Journal article
EID:

2-s2.0-84950975672

Part of ISSN: 20904479
Contributors: El-Kassas, W.S.; Abdullah, B.A.; Yousef, A.H.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform

2016 International Conference on High Performance Computing and Simulation, HPCS 2016
2016 | Conference paper
EID:

2-s2.0-84991738340

Contributors: Said, M.; Safar, M.; Taher, M.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Automatic test pattern generation for virtual hardware model using constrained symbolic execution

Proceeding of 2015 10th International Design and Test Symposium, IDT 2015
2016 | Conference paper
EID:

2-s2.0-84969856747

Contributors: Mohamed, N.; Safari, M.; Wahba, A.; Salem, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Constrained-based symbolic execution on virtual models for functional coverage verification

Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015
2016 | Conference paper
EID:

2-s2.0-84963623711

Contributors: Mohamed, N.M.; Wahba, A.; Safar, M.; Salem, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)

IEEE Transactions on Software Engineering
2016 | Journal article
EID:

2-s2.0-84997287885

Part of ISSN: 00985589
Contributors: El-Kassas, W.S.; Abdullah, B.A.; Yousef, A.H.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

GPU-accelerated real-time video background subtraction

Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015
2016 | Conference paper
EID:

2-s2.0-84963614901

Contributors: Boghdady, R.; Salama, C.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis

Journal of Electronic Testing: Theory and Applications (JETTA)
2016 | Journal article
EID:

2-s2.0-84997633403

Part of ISSN: 15730727 09238174
Contributors: Hanafy, M.; Said, H.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

New methodology for digital design properties extraction from simulation traces

Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015
2016 | Conference paper
EID:

2-s2.0-84963567987

Contributors: Hanafy, M.; Said, H.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Automatic test data generation targeting hybrid coverage criteria

Communications in Computer and Information Science
2015 | Book
EID:

2-s2.0-84945956953

Part of ISSN: 18650929
Contributors: El-Serafy, A.; Salama, C.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Complete Properties Extraction from Simulation Traces for Assertions Auto-generation

Proceedings - 2015 IEEE 24th North Atlantic Test Workshop, NATW 2015
2015 | Conference paper
EID:

2-s2.0-84943742753

Contributors: Hanafy, M.; Said, H.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Enhanced Genetic Algorithm for MC/DC test data generation

INISTA 2015 - 2015 International Symposium on Innovations in Intelligent SysTems and Applications, Proceedings
2015 | Conference paper
EID:

2-s2.0-84969170223

Contributors: El-Serafy, A.; El-Sayed, G.; Salama, C.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Optimization of generated test data for MC/DC

Communications in Computer and Information Science
2015 | Book
EID:

2-s2.0-84945964410

Part of ISSN: 18650929
Contributors: El-Sayed, G.; Salama, C.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Pin-count and wire length optimization for electrowetting-on-dielectric chips: A metaheuristics-based routing algorithm

Computational Intelligence in Digital and Network Designs and Applications
2015 | Book chapter
EID:

2-s2.0-84943599946

Contributors: Ibrahim, M.; Salama, C.; El-Kharashi, M.W.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

9th International Conference on Computer Engineering & Systems (ICCES), 2014

Source: Self-asserted source
Ayman Wahba via GND Network

ICPMD: Integrated cross-platform mobile development solution

Proceedings of 2014 9th IEEE International Conference on Computer Engineering and Systems, ICCES 2014
2014 | Conference paper
EID:

2-s2.0-84946686164

Contributors: El-Kassas, W.S.; Abdullah, B.A.; Yousef, A.H.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

It is my great pleasure to

Proceedings of 2014 9th IEEE International Conference on Computer Engineering and Systems, ICCES 2014
2014 | Conference paper
EID:

2-s2.0-84946688376

Contributors: Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Accelerating Iris Recognition algorithms on GPUs

2012 Cairo International Biomedical Engineering Conference, CIBEC 2012
2012 | Conference paper
EID:

2-s2.0-84875598155

Contributors: Sakr, F.Z.; Taher, M.; Ei-Bialy, A.M.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Development of a technology for car's auto-parking using swarm search-based fuzzy control system

International Journal of Modelling, Identification and Control
2012 | Journal article
EID:

2-s2.0-84865734994

Part of ISSN: 17466180 17466172
Contributors: Hanafy, M.; Gomaa, M.M.; Taher, M.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Multi-cascade of complementary features for fast and accurate pedestrian detection

IPSJ Transactions on Computer Vision and Applications
2012 | Journal article
EID:

2-s2.0-84864932899

Part of ISSN: 18826695
Contributors: Leithy, A.; Moustafa, M.N.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Fast and accurate pedestrian detection using a cascade of multiple features

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
EID:

2-s2.0-80053128397

Part of ISSN: 03029743 16113349
Contributors: Leithy, A.; Moustafa, M.N.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

High performance iris recognition system on GPU

Proceedings - ICCES'2011: 2011 International Conference on Computer Engineering and Systems
2011 | Conference paper
EID:

2-s2.0-84857176670

Contributors: Zaky Sakr, F.; Taher, M.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Implementation of formally verified real time distributed systems: Simplified flight control system

Proceedings - ICCES'2011: 2011 International Conference on Computer Engineering and Systems
2011 | Conference paper
EID:

2-s2.0-84857163656

Contributors: El-Araby, N.A.; Wahba, A.M.; Taher, M.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Path generation and tracking for car automatic parking employing swarm algorithm

Proceedings - ICCES'2011: 2011 International Conference on Computer Engineering and Systems
2011 | Conference paper
EID:

2-s2.0-84857169499

Contributors: Hanafy, M.; Gomaa, M.M.; Taher, M.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Accelerated access to visual data in multimedia applications

Proceedings, ICCES'2010 - 2010 International Conference on Computer Engineering and Systems
2010 | Conference paper
EID:

2-s2.0-78751621187

Contributors: Afifi, S.M.; Wahba, A.M.; Wahdan, A.-E.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Cascade of complementary features for fast and accurate pedestrian detection

Proceedings - 4th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2010
2010 | Conference paper
EID:

2-s2.0-78751672641

Contributors: Leithy, A.; Moustafa, M.N.; Wahba, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Code synthesis for timed automata: A comparison using case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
EID:

2-s2.0-77950831030

Part of ISSN: 03029743 16113349
Contributors: Ayoub, A.; Wahba, A.; Salem, A.; Sheirah, M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Mapping SMV models to event-B models

IDT'10 - 2010 5th International Design and Test Workshop, Proceedings
2010 | Conference paper
EID:

2-s2.0-79953093514

Contributors: Hassan, S.; Taher, M.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

A security layer for smart card applications authentication

Proceedings - The 2009 International Conference on Computer Engineering and Systems, ICCES'09
2009 | Conference paper
EID:

2-s2.0-77950395140

Contributors: Elwahab, A.A.; Eldin, A.M.B.; Wahba, A.M.; Sheirah, M.A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

An approach to model real-time systems in B

International Conference on Software Engineering Theory and Practice 2009, SETP 2009
2009 | Conference paper
EID:

2-s2.0-84878249314

Contributors: Ayoub, A.; Wahba, A.; Salem, A.; Taher, M.; Sheirah, M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Hybrid-based maintainability impact analysis for evolving systems

International Journal of Software Engineering and Knowledge Engineering
2009 | Journal article
EID:

2-s2.0-77950348856

Part of ISSN: 02181940
Contributors: Mohamed, S.I.; Elmaddah, I.A.M.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Usage of run-time re-configuration for system porting in automotive applications

2009 4th International Design and Test Workshop, IDT 2009
2009 | Conference paper
EID:

2-s2.0-77950431419

Contributors: Khalil, S.E.-D.A.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Mapping timed automata to B

Proceedings - 2008 3rd International Design and Test Workshop, IDT 2008
2008 | Conference paper
EID:

2-s2.0-64849088517

Contributors: Ayoub, A.; Wahba, A.; Sheirah, M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Value estimation for software product management

2008 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2008
2008 | Conference paper
EID:

2-s2.0-62749192624

Contributors: Mohamed, S.I.; Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Verification of the properties of asynchronous real-time distributed systems using the B-Formalism

Proceedings - IDT'07 The 2nd International Design and Test Workshop
2007 | Conference paper
EID:

2-s2.0-44949134004

Contributors: Wahba, A.M.; El-Maddah, I.A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Dynamic reconfiguration for increased functional density

Proceedings - The 6th IEEE International Workshop on System on Chip for Real Time Applications, IWSOC 2006
2006 | Conference paper
EID:

2-s2.0-46249130719

Contributors: El-Araby, N.A.; Wahba, A.M.; Bedor, H.S.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

FPGA based accelerator for functional simulation

Proceedings - IEEE International Symposium on Circuits and Systems
2004 | Conference paper
EID:

2-s2.0-4344645706

Part of ISSN: 02714310
Contributors: Wageeh, M.N.; Wahba, A.M.; Salem, A.M.; Sheirah, M.A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

HDL filter for optimized area-delay minimization in FPGA synthesis

Proceedings - 2004 International Conference on Electrical, Electronic and Computer Engineering, ICEEC'04
2004 | Conference paper
EID:

2-s2.0-16244374310

Contributors: Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONS

Midwest Symposium on Circuits and Systems
2003 | Conference paper
EID:

2-s2.0-85150411889

Part of ISSN: 15483746
Contributors: Hassan, S.; Wahba, A.; Badr, A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Accelerated cosimulation using reconfigurable computing

Proceedings of the International Conference on Microelectronics, ICM
2002 | Conference paper
EID:

2-s2.0-84948971242

Contributors: Nabeel, M.; Wahba, A.M.; Salem, A.M.; Sheirah, M.A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Formal verification of digital circuits by 3-valued simulation

Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
2001 | Conference paper
EID:

2-s2.0-77956856584

Contributors: Wahba, A.M.; Aas, E.J.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

On the use of don't cares during symbolic reachability analysis

ISCAS 2001 - 2001 IEEE International Symposium on Circuits and Systems, Conference Proceedings
2001 | Conference paper
EID:

2-s2.0-0035018470

Contributors: Reda, S.; Wahba, A.; Salem, A.; Borrione, D.; Ghonaimy, M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

BDD/AOG - Based algorithm for multiple error rectification in combinational circuits

Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
2000 | Conference paper
EID:

2-s2.0-77956026273

Contributors: Wahba, A.M.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier

Iterated calculation of global implications and recursive learning in combinational equivalence checking

Midwest Symposium on Circuits and Systems
2000 | Conference paper
EID:

2-s2.0-0034466258

Contributors: Reda, S.; Wahba, A.; Salem, A.; Ghonaimy, M.A.
Source: Self-asserted source
Ayman Wahba via Scopus - Elsevier
Items per page:
Page 1 of 2