Browsing by Author Hanafy, Mohamed

Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
1-Jul-2015Complete Properties Extraction from Simulation Traces for Assertions Auto-generationHanafy, Mohamed; Said, Hazem; Wahba, Ayman 
1-Jan-2012Development of a technology for car's auto-parking using swarm search-based fuzzy control systemHanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman 
1-Dec-2016New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static AnalysisHanafy, Mohamed; Said, Hazem; Wahba, Ayman 
25-Jan-2016New methodology for digital design properties extraction from simulation tracesHanafy, Mohamed; Said, Hazem; Wahba, Ayman 
1-Dec-2011Path generation and tracking for car automatic parking employing swarm algorithmHanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman