Ayman Mohamed Mohamed Hassan Wahba Profile

  • Home Ayman Mohamed Mohamed Hassan Wahba Profile





Ayman Mohamed Mohamed Hassan Wahba

Professor at Computer and Systems Engineering

Career Information

Professor at : 2007-11-26
Assistant Professor at : 2002-07-29
Teacher at : 1997-07-28
Teacher Assistant at : 1992-01-27
Demonstrator at : 1988-12-19

Academic Information

Email : ayman.wahba@eng.asu.edu.eg
Graduation : 1988 From Faculty of Engineering , Ain shams University
Scopus URL
ORCID

Articles

Publications

  1. M. Ramadan, A.O. Habib, M.M. Hazem, M.S. Amin, Alaa Mohsen, " Synergetic effects of hydrothermal treatment on the behavior of toxic sludge-modified geopolymer: Immobilization of cerium and lead, textural characteristics, and mechanical efficiency ", Construction and Building Materials, 2023
  2. Said, M., Wahba, A., Khalil, D., " Semi-supervised deep learning framework for milk analysis using NIR spectrometers ", Chemometrics and Intelligent Laboratory Systems, 2022
  3. Said, M., Amr, M., Sabry, Y., Khalil, D., Wahba, A., " Plastic sorting based on MEMS FTIR spectral chemometrics sensing ", Proceedings of SPIE - The International Society for Optical Engineering, 2020
  4. Said, M., Moustafa, M., Wahba, A., " Color instance segmentation and classification of cervix images ", 2019 IEEE 10th GCC Conference and Exhibition, GCC 2019, 2019
  5. Essa, E., Abdullah, B.A., Wahba, A., " Improve performance of indoor positioning system using BLE ", Proceedings - ICCES 2019: 2019 14th International Conference on Computer Engineering and Systems, 2019
  6. Aboalseoud, A., Youssry, A., El-Nozahi, M., El-Rafei, A., Elbialy, A., Ragaai, H., Wahba, A., " Wireless ECG Monitoring System for Telemedicine Application ", Proceedings - 2019 IEEE 9th International Conference on Intelligent Computing and Information Systems, ICICIS 2019, 2019
  7. Hassan, M.A., Mustafa, M.N., Wahba, A., " Automatic liveness detection for facial images ", Proceedings of ICCES 2017 12th International Conference on Computer Engineering and Systems, 2018
  8. Odema, M., Adly, I., Wahba, A., Ragai, H., " Smart aquaponics system for industrial internet of things (IIoT) ", Advances in Intelligent Systems and Computing, 2018
  9. El-Kassas, W.S., Abdullah, B.A., Yousef, A.H., Wahba, A.M., " Taxonomy of Cross-Platform Mobile Applications Development Approaches ", Ain Shams Engineering Journal, 2017
  10. Said, M., Safar, M., Taher, M., Wahba, A., " Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform ", 2016 International Conference on High Performance Computing and Simulation, HPCS 2016, 2016
  11. Mohamed, N., Safari, M., Wahba, A., Salem, A., " Automatic test pattern generation for virtual hardware model using constrained symbolic execution ", Proceeding of 2015 10th International Design and Test Symposium, IDT 2015, 2016
  12. Mohamed, N.M., Wahba, A., Safar, M., Salem, A., " Constrained-based symbolic execution on virtual models for functional coverage verification ", Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015, 2016
  13. El-Kassas, W.S., Abdullah, B.A., Yousef, A.H., Wahba, A.M., " Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) ", IEEE Transactions on Software Engineering, 2016
  14. Boghdady, R., Salama, C., Wahba, A., " GPU-accelerated real-time video background subtraction ", Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015, 2016
  15. Hanafy, M., Said, H., Wahba, A.M., " New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis ", Journal of Electronic Testing: Theory and Applications (JETTA), 2016
  16. Hanafy, M., Said, H., Wahba, A.M., " New methodology for digital design properties extraction from simulation traces ", Proceedings - 2015 10th International Conference on Computer Engineering and Systems, ICCES 2015, 2016
  17. El-Serafy, A., Salama, C., Wahba, A., " Automatic test data generation targeting hybrid coverage criteria ", Communications in Computer and Information Science, 2015
  18. Hanafy, M., Said, H., Wahba, A.M., " Complete Properties Extraction from Simulation Traces for Assertions Auto-generation ", Proceedings - 2015 IEEE 24th North Atlantic Test Workshop, NATW 2015, 2015
  19. El-Serafy, A., El-Sayed, G., Salama, C., Wahba, A., " Enhanced Genetic Algorithm for MC/DC test data generation ", INISTA 2015 - 2015 International Symposium on Innovations in Intelligent SysTems and Applications, Proceedings, 2015
  20. El-Sayed, G., Salama, C., Wahba, A., " Optimization of generated test data for MC/DC ", Communications in Computer and Information Science, 2015
  21. Ibrahim, M., Salama, C., El-Kharashi, M.W., Wahba, A., " 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
  22. Wahba, Ayman M., " 9th International Conference on Computer Engineering & Systems (ICCES), 2014 ", , 2014
  23. El-Kassas, W.S., Abdullah, B.A., Yousef, A.H., Wahba, A., " ICPMD: Integrated cross-platform mobile development solution ", Proceedings of 2014 9th IEEE International Conference on Computer Engineering and Systems, ICCES 2014, 2014
  24. Wahba, A.M., " It is my great pleasure to ", Proceedings of 2014 9th IEEE International Conference on Computer Engineering and Systems, ICCES 2014, 2014
  25. Sakr, F.Z., Taher, M., Ei-Bialy, A.M., Wahba, A.M., " Accelerating Iris Recognition algorithms on GPUs ", 2012 Cairo International Biomedical Engineering Conference, CIBEC 2012, 2012
  26. Hanafy, M., Gomaa, M.M., Taher, M., Wahba, A.M., " Development of a technology for car's auto-parking using swarm search-based fuzzy control system ", International Journal of Modelling, Identification and Control, 2012
  27. Leithy, A., Moustafa, M.N., Wahba, A., " Multi-cascade of complementary features for fast and accurate pedestrian detection ", IPSJ Transactions on Computer Vision and Applications, 2012
  28. Leithy, A., Moustafa, M.N., Wahba, A., " 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
  29. Zaky Sakr, F., Taher, M., Wahba, A.M., " High performance iris recognition system on GPU ", Proceedings - ICCES'2011: 2011 International Conference on Computer Engineering and Systems, 2011
  30. El-Araby, N.A., Wahba, A.M., Taher, M.M., " Implementation of formally verified real time distributed systems: Simplified flight control system ", Proceedings - ICCES'2011: 2011 International Conference on Computer Engineering and Systems, 2011
  31. Hanafy, M., Gomaa, M.M., Taher, M., Wahba, A.M., " Path generation and tracking for car automatic parking employing swarm algorithm ", Proceedings - ICCES'2011: 2011 International Conference on Computer Engineering and Systems, 2011
  32. Afifi, S.M., Wahba, A.M., Wahdan, A.-E., " Accelerated access to visual data in multimedia applications ", Proceedings, ICCES'2010 - 2010 International Conference on Computer Engineering and Systems, 2010
  33. Leithy, A., Moustafa, M.N., Wahba, A., " Cascade of complementary features for fast and accurate pedestrian detection ", Proceedings - 4th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2010, 2010
  34. Ayoub, A., Wahba, A., Salem, A., Sheirah, M., " 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
  35. Hassan, S., Taher, M., Wahba, A.M., " Mapping SMV models to event-B models ", IDT'10 - 2010 5th International Design and Test Workshop, Proceedings, 2010
  36. Elwahab, A.A., Eldin, A.M.B., Wahba, A.M., Sheirah, M.A., " A security layer for smart card applications authentication ", 2009 International Conference on Computer Engineering & Systems, 2009
  37. Ayoub, A., Wahba, A., Salem, A., Taher, M., Sheirah, M., " An approach to model real-time systems in B ", International Conference on Software Engineering Theory and Practice 2009, SETP 2009, 2009
  38. Mohamed, S.I., Elmaddah, I.A.M., Wahba, A.M., " Hybrid-based maintainability impact analysis for evolving systems ", International Journal of Software Engineering and Knowledge Engineering, 2009
  39. Khalil, S.E.-D.A., Wahba, A.M., " Usage of run-time re-configuration for system porting in automotive applications ", 2009 4th International Design and Test Workshop, IDT 2009, 2009
  40. Ayoub, A., Wahba, A., Sheirah, M., " Mapping timed automata to B ", Proceedings - 2008 3rd International Design and Test Workshop, IDT 2008, 2008
  41. Mohamed, S.I., Wahba, A.M., " Value estimation for software product management ", 2008 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2008, 2008
  42. Wahba, A.M., El-Maddah, I.A., " 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
  43. El-Araby, N.A., Wahba, A.M., Bedor, H.S., " Dynamic reconfiguration for increased functional density ", Proceedings - The 6th IEEE International Workshop on System on Chip for Real Time Applications, IWSOC 2006, 2006
  44. Wageeh, M.N., Wahba, A.M., Salem, A.M., Sheirah, M.A., " FPGA based accelerator for functional simulation ", Proceedings - IEEE International Symposium on Circuits and Systems, 2004
  45. Wahba, A.M., " HDL filter for optimized area-delay minimization in FPGA synthesis ", Proceedings - 2004 International Conference on Electrical, Electronic and Computer Engineering, ICEEC'04, 2004
  46. Hassan, S., Wahba, A., Badr, A., " AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONS ", Midwest Symposium on Circuits and Systems, 2003
  47. Nabeel, M., Wahba, A.M., Salem, A.M., Sheirah, M.A., " Accelerated cosimulation using reconfigurable computing ", Proceedings of the International Conference on Microelectronics, ICM, 2002
  48. Wahba, A.M., Aas, E.J., " Formal verification of digital circuits by 3-valued simulation ", Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, 2001
  49. Reda, S., Wahba, A., Salem, A., Borrione, D., Ghonaimy, M., " On the use of don't cares during symbolic reachability analysis ", ISCAS 2001 - 2001 IEEE International Symposium on Circuits and Systems, Conference Proceedings, 2001
  50. Wahba, A.M., " BDD/AOG - Based algorithm for multiple error rectification in combinational circuits ", Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, 2000
  51. Reda, S., Wahba, A., Salem, A., Ghonaimy, M.A., " Iterated calculation of global implications and recursive learning in combinational equivalence checking ", Midwest Symposium on Circuits and Systems, 2000
  52. Reda, Sherief, Wahba, Ayman, Salem, Ashraf, " M-CHECK: A multiple engine combinational equivalence checker ", Proceedings - IEEE International Symposium on Circuits and Systems, 2000
  53. Sabry, M., Wahba, A., Mahdi, H., " A parallel technique for ATPG using genetic algorithms ", Proceedings of the 10th International Conference on Microelectronics, ICM 1998, 1998
  54. Ayman Wahba, " Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples ", , 1997
  55. Wahba, Ayman M., Borrione, Dominique, " Connection error location and correction in combinational circuits ", Proceedings of European Design and Test Conference, 1997
  56. Wahba, A.M., Borrione, D., " Connection error location and correction in combinational circuits ", Proceedings of the 1997 European Conference on Design and Test, EDTC 1997, 1997
  57. Wahba, Ayman M., Borrione, Dominique, " Automatic diagnosis may replace simulation for correcting simple design errors ", European Design Automation Conference - Proceedings, 1996
  58. Borrione, D., Bouamama, H., Deharbe, D., Le Faou, C., Wahba, A., " HDL-based integration of formal methods and CAD tools in the PREVAIL environment ", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1996
  59. Wahba, Ayman M., Borrione, Dominique, " Method for automatic design error location and correction in combinational logic circuits ", Journal of Electronic Testing: Theory and Applications (JETTA), 1996
  60. Wahba, A., Borrione, D., " Design error diagnosis in sequential circuits ", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1995
  61. Wahba, Ayman, Borrione, Dominique, " Design error diagnosis in logic circuits using diagnosis-oriented test patterns ", , 1994
  62. Wahba, A.M., Sheirah, M.A., " Adaptive decoupler for multivariable systems ", International Journal of Systems Science, 1993
  63. Wahba, Ayman, Déharbe, David, " Design error diagnosis in logic circuits using ternary test sets ", , 1993
  64. Wahba, A.M., Aas, E.J., " Verification and diagnosis of digital systems by ternary reasoning ", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1993