Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
1-Jan-2002	Accelerated cosimulation using reconfigurable computing	Nabeel, Mohamed; Wahba, Ayman ; Salem, A. M.; Sheirah, M. A.
1-Jan-1995	Design error diagnosis in sequential circuits	Wahba, Ayman ; Borrione, Dominique
1-Jan-1998	A parallel technique for ATPG using genetic algorithms	Sabry, Mohamed-Nabil ; Wahba, Ayman ; Mahdi, Hani
13-Sep-2016	Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform	Said, Mai; Safar, Mona; Taher, Mohamed; Wahba, Ayman
1-Dec-2009	An approach to model real-time systems in B	Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed
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-1996	Automatic diagnosis may replace simulation for correcting simple design errors	Wahba, Ayman ; Borrione, Dominique
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	Path generation and tracking for car automatic parking employing swarm algorithm	Hanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman
1-Dec-2004	HDL filter for optimized area-delay minimization in FPGA synthesis	Wahba, Ayman
6-Sep-2004	FPGA based accelerator for functional simulation	Wageeh, Mohamed N.; Wahba, Ayman ; Salem, Ashraf M.; Sheirah, Mohamed A.
17-Mar-1997	Connection error location and correction in combinational circuits	Wahba, Ayman ; Borrione, Dominique
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-Dec-2009	A security layer for smart card applications authentication	Elwahab, Amin Abd; Eldin, Ayman M.Bahaa; Wahba, Ayman ; Sheirah, Mohamed A.
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
1-Jul-2015	Complete Properties Extraction from Simulation Traces for Assertions Auto-generation	Hanafy, Mohamed; Said, Hazem; Wahba, Ayman
17-Aug-2012	Multi-cascade of complementary features for fast and accurate pedestrian detection	Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman
1-Dec-2009	Hybrid-based maintainability impact analysis for evolving systems	Mohamed, Samer I.; Elmaddah, Islam A.M.; 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-Dec-2011	Implementation of formally verified real time distributed systems: Simplified flight control system	El-Araby, Nahla A.; Wahba, Ayman ; Taher, Mohamed M.