Login / Signup
Eman Shaikh
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Big Data
Security Analysis
Dangerous Situations
Alternating Time Temporal Logic
Top Venues
ICCSPA
FNSS
MENACOMM
IEEE Access
</>
Publications
</>
Eman Shaikh
,
Abdul-Rahman Al-Ali
,
Shahabuddin Muhammad
,
Nazeeruddin Mohammad
,
Fadi A. Aloul
Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking.
IEEE Access
11 (2023)
Eman Shaikh
,
Abul Bashar
,
Nazeeruddin Mohammad
Recent Applications of Computing and Mobility Technologies to Modern Manufacturing.
ICCSPA
(2020)
Eman Shaikh
,
Nazeeruddin Mohammad
,
Shahabuddin Muhammad
Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis.
ICCSPA
(2020)
Nazeeruddin Mohammad
,
Shahabuddin Muhammad
,
Eman Shaikh
Analysis of In-vehicle Security System of Smart Vehicles.
FNSS
(2019)
Eman Shaikh
,
Iman Mohiuddin
,
Yasmeen Alufaisan
,
Irum Nahvi
Apache Spark: A Big Data Processing Engine.
MENACOMM
(2019)