C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ghalya Alwhishi
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 7
Top Topics
Temporal Properties
Artifact Centric
Model Checking
Intelligent Information Systems
Top Venues
IWCMC
Ad Hoc Networks
DBB
FiCloud
</>
Publications
</>
Narges Baharloo
,
Jamal Bentahar
,
Ghalya Alwhishi
,
Nagat Drawel
,
Witold Pedrycz
Verifying trust over IoT-ad hoc network-based applications under uncertainty.
Ad Hoc Networks
154 (2024)
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
,
Nagat Drawel
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments.
Inf. Fusion
102 (2024)
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
Multi-valued Model Checking A Smart Glucose Monitoring System with Trust.
IWCMC
(2023)
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty.
DBB
(2022)
Ghalya Alwhishi
,
Jamal Bentahar
,
Nagat Drawel
Reasoning about Uncertainty over IoT Systems.
IWCMC
(2022)
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty.
FiCloud
(2022)
Ghalya Alwhishi
,
Nagat Drawel
,
Jamal Bentahar
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
MobiWIS
(2022)