|
| Issue Date | Title | Author(s) |
| 1-Jan-1998 | A parallel technique for ATPG using genetic algorithms | Sabry, Mohamed-Nabil ; Wahba, Ayman ; Mahdi, Hani |
| 1-Dec-2009 | A security layer for smart card applications authentication | Elwahab, Amin Abd; Eldin, Ayman M.Bahaa; Wahba, Ayman ; Sheirah, Mohamed A. |
| 1-Dec-2010 | Accelerated access to visual data in multimedia applications | Afifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim |
| 1-Jan-2002 | Accelerated cosimulation using reconfigurable computing | Nabeel, Mohamed; Wahba, Ayman ; Salem, A. M.; Sheirah, M. A. |
| 1-Dec-2012 | Accelerating Iris Recognition algorithms on GPUs | Sakr, Fatma Zaky; Taher, Mohamed; Ei-Bialy, Ahmed M.; Wahba, Ayman |
| 13-Sep-2016 | Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform | Said, Mai; Safar, Mona; Taher, Mohamed; Wahba, Ayman |
| 1-Jan-1993 | Adaptive decoupler for multivariable systems | Wahba, Ayman ; Sheirah, M. A. |
| 1-Dec-2009 | An approach to model real-time systems in B | Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed |
| 1-Jan-1996 | Automatic diagnosis may replace simulation for correcting simple design errors | Wahba, Ayman ; Borrione, Dominique |
| 2-Jul-2017 | Automatic liveness detection for facial images | Hassan, Mehad Araby; Mustafa, Mohamed Nabil; Wahba, Ayman |
| 1-Jan-2015 | Automatic test data generation targeting hybrid coverage criteria | El-Serafy, Ahmed; Salama, Cherif ; Wahba, Ayman |
| 1-Feb-2016 | Automatic test pattern generation for virtual hardware model using constrained symbolic execution | Mohamed, Nahla; Safari, Mona; Wahba, Ayman ; Salem, Ashraf |
| 1-Jan-2003 | AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONS | Hassan, Samah; Wahba, Ayman ; Zaki Badr, Ahmed |
| 1-Dec-2000 | BDD/AOG - Based algorithm for multiple error rectification in combinational circuits | Wahba, Ayman |
| 1-Dec-2010 | Cascade of complementary features for fast and accurate pedestrian detection | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 19-Apr-2010 | Code synthesis for timed automata: A comparison using case study | Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed |
| 1-Apr-2019 | Color instance segmentation and classification of cervix images | Said, Marwa; Moustafa, Mohamed said attia ; Wahba, Ayman |
| 1-Jul-2015 | Complete Properties Extraction from Simulation Traces for Assertions Auto-generation | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 17-Mar-1997 | Connection error location and correction in combinational circuits | Wahba, Ayman ; Borrione, Dominique |
| 25-Jan-2016 | Constrained-based symbolic execution on virtual models for functional coverage verification | Mohamed, Nahla Mohamed; Wahba, Ayman ; Safar, Mona; Salem, Ashraf |
| 1-Dec-2008 | Criteria-based requirements prioritization for software product management | Mohamed, A. Samer I.; El-Maddah, B. Islam A.; Wahba, Ayman |
| 1-Jan-1995 | Design error diagnosis in sequential circuits | Wahba, Ayman ; Borrione, Dominique |
| 1-Jan-2012 | Development of a technology for car's auto-parking using swarm search-based fuzzy control system | Hanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman |
| 1-Dec-2006 | Dynamic reconfiguration for increased functional density | El-Araby, Nahla A.; Wahba, Ayman ; Bedor, Hassan S. |
| 1-Nov-2016 | Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) | El-Kassas, Wafaa S.; Abdullah, Bassem A.; Yousef, Ahmed H.; Wahba, Ayman |
| 24-Sep-2015 | Enhanced Genetic Algorithm for MC/DC test data generation | El-Serafy, Ahmed; El-Sayed, Ghada; Salama, Cherif ; Wahba, Ayman |
| 1-Jan-2023 | Enhancing Counter Synchronization in a Secure Communication Scheme for CAN-Based Automotive Embedded Systems | Sultan, Hossam K.; Wahba, Ayman ; Abdullah, Bassem A. |
| 28-Sep-2011 | Fast and accurate pedestrian detection using a cascade of multiple features | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 1-Dec-2001 | Formal verification of digital circuits by 3-valued simulation | Wahba, Ayman ; Aas, Einar J. |
| 6-Sep-2004 | FPGA based accelerator for functional simulation | Wageeh, Mohamed N.; Wahba, Ayman ; Salem, Ashraf M.; Sheirah, Mohamed A. |
| 25-Jan-2016 | GPU-accelerated real-time video background subtraction | Boghdady, Ramy; Salama, Cherif ; Wahba, Ayman |
| 1-Dec-2004 | HDL filter for optimized area-delay minimization in FPGA synthesis | Wahba, Ayman |
| 1-Jan-1996 | HDL-based integration of formal methods and CAD tools in the PREVAIL environment | Borrione, D.; Bouamama, H.; Deharbe, D.; Le Faou, C.; Wahba, Ayman |
| 1-Dec-2011 | High performance iris recognition system on GPU | Zaky Sakr, Fatma; Taher, Mohammed; Wahba, Ayman |
| 1-Dec-2009 | Hybrid-based maintainability impact analysis for evolving systems | Mohamed, Samer I.; Elmaddah, Islam A.M.; Wahba, Ayman |
| 3-Feb-2014 | ICPMD: Integrated cross-platform mobile development solution | El-Kassas, Wafaa S.; Abdullah, Bassem A.; Yousef, Ahmed H.; Wahba, Ayman |
| 1-Dec-2011 | Implementation of formally verified real time distributed systems: Simplified flight control system | El-Araby, Nahla A.; Wahba, Ayman ; Taher, Mohamed M. |
| 1-Dec-2019 | Improve performance of indoor positioning system using BLE | Essa, Eslam; Abdullah, Bassem A.; Wahba, Ayman |
| 3-Feb-2014 | It is my great pleasure to | Wahba, Ayman |
| 1-Dec-2000 | Iterated calculation of global implications and recursive learning in combinational equivalence checking | Reda, Sherief; Wahba, Ayman ; Salem, Ashraf ; Ghonaimy, Mohamed A. |
| 1-Jan-2000 | M-CHECK: A multiple engine combinational equivalence checker | Reda, Sherief; Wahba, Ayman ; Salem, Ashraf |
| 1-Dec-2010 | Mapping SMV models to event-B models | Hassan, Samah; Taher, Mohamed; Wahba, Ayman |
| 1-Dec-2008 | Mapping timed automata to B | Ayoub, Anaheed; Wahba, Ayman ; Sheirah, Mohamed |
| 1-Jan-1996 | Method for automatic design error location and correction in combinational logic circuits | Wahba, Ayman ; Borrione, Dominique |
| 17-Aug-2012 | Multi-cascade of complementary features for fast and accurate pedestrian detection | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 1-Dec-2016 | New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 25-Jan-2016 | New methodology for digital design properties extraction from simulation traces | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 1-Jan-2001 | On the use of don't cares during symbolic reachability analysis | Reda, S.; Wahba, Ayman ; Salem, A.; Borrione, D.; Ghonaimy, M. |
| 1-Jan-2015 | Optimization of generated test data for MC/DC | El-Sayed, Ghada; Salama, Cherif ; Wahba, Ayman |
| 1-Dec-2011 | Path generation and tracking for car automatic parking employing swarm algorithm | Hanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman |
| 1-Jan-2015 | Pin-count and wire length optimization for electrowetting-on-dielectric chips: A metaheuristics-based routing algorithm | Ibrahim, Mohamed; Salama, Cherif ; El-Kharashi, M. Watheq; Wahba, Ayman |
| 1-Jan-2020 | Plastic sorting based on MEMS FTIR spectral chemometrics sensing | Said, M.; Amr, M.; Sabry Y. ; Khalil, Diaa ; Wahba, Ayman |
| 15-Sep-2022 | Semi-supervised deep learning framework for milk analysis using NIR spectrometers | Said, Mai; Khalil D ; Wahba, Ayman |
| 1-Jan-2018 | Smart aquaponics system for industrial internet of things (IIoT) | Odema, Mohanad; Adly, Ihab; Wahba, Ayman ; Ragai, Hani |
| 1-Jun-2017 | Taxonomy of Cross-Platform Mobile Applications Development Approaches | El-Kassas, WS; Abdullah, Bassem ; Yousef, AH; Wahba, Ayman |
| 1-Dec-2009 | Usage of run-time re-configuration for system porting in automotive applications | Khalil, Saffey El Din A.; Wahba, Ayman |
| 1-Dec-2008 | Value estimation for software product management | Mohamed, S. I.; Wahba, Ayman |
| 1-Jan-1993 | Verification and diagnosis of digital systems by ternary reasoning | Wahba, Ayman ; Aas, Einar J. |
| 1-Dec-2007 | Verification of the properties of asynchronous real-time distributed systems using the B-Formalism | Wahba, Ayman ; El-Maddah, Islam A. |
| 1-Dec-2019 | Wireless ECG Monitoring System for Telemedicine Application | Aboalseoud, Ahmed; Youssry, Akram; El-Nozahi, Mohamed; El-Rafei, Ahmed; Elbialy, Ahmed; Ragaai, Hani; Wahba, Ayman |
