Ghalya Alwhishi

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Intelligent Information Systems

Temporal Properties

Top Venues

Ad Hoc Networks

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
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment. Expert Syst. Appl. 245 (2024)
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz
Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings. Inf. Fusion 111 (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)