Login / Signup
Mohamed Hanafy
ORCID
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 2
Top Topics
Everyday Lives
Internet Enabled
Symbolic Execution
Static Analysis
Top Venues
J. Electron. Test.
Int. J. Model. Identif. Control.
NATW
MUM
</>
Publications
</>
Mohamed Hanafy
,
Hazem Said
,
Ayman M. Wahba
New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis.
J. Electron. Test.
32 (6) (2016)
Pavel Karpashevich
,
Eva Hornecker
,
Nana Kesewaa Dankwa
,
Mohamed Hanafy
,
Julian Fietkau
Blurring boundaries between everyday life and pervasive gaming: an interview study of ingress.
MUM
(2016)
Mohamed Hanafy
,
Hazem Said
,
Ayman M. Wahba
Complete Properties Extraction from Simulation Traces for Assertions Auto-generation.
NATW
(2015)
Mohamed Hanafy
,
Mostafa M. Gomaa
,
Mohamed Taher
,
Ayman M. Wahba
Development of a technology for car's auto-parking using swarm search-based fuzzy control system.
Int. J. Model. Identif. Control.
17 (1) (2012)