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

Issue Date	Title	Author(s)
19-Apr-2010	Code synthesis for timed automata: A comparison using case study	Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed
1-Jan-2000	M-CHECK: A multiple engine combinational equivalence checker	Reda, Sherief; Wahba, Ayman ; Salem, Ashraf
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-2010	Mapping SMV models to event-B models	Hassan, Samah; Taher, Mohamed; Wahba, Ayman
25-Jan-2016	New methodology for digital design properties extraction from simulation traces	Hanafy, Mohamed; Said, Hazem; Wahba, Ayman
1-Dec-2011	High performance iris recognition system on GPU	Zaky Sakr, Fatma; Taher, Mohammed; 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-Dec-2010	Accelerated access to visual data in multimedia applications	Afifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim
1-Dec-2012	Accelerating Iris Recognition algorithms on GPUs	Sakr, Fatma Zaky; Taher, Mohamed; Ei-Bialy, Ahmed M.; Wahba, Ayman
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-2008	Value estimation for software product management	Mohamed, S. I.; Wahba, Ayman
1-Dec-2006	Dynamic reconfiguration for increased functional density	El-Araby, Nahla A.; Wahba, Ayman ; Bedor, Hassan 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