Ghalya Alwhishi

Multi-valued Model Checking A Smart Glucose Monitoring System with Trust

J. Bentahar, Ahmed Elwhishi, Ghalya Alwhishi, 2023, 2023 International Wireless Communications and Mobile Computing (IWCMC).

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty

J. Bentahar, Ahmed Elwhishi, Ghalya Alwhishi, 2022, International Conference on Future Internet of Things and Cloud.

Reasoning about Uncertainty over IoT Systems

J. Bentahar, Nagat Drawel, Ghalya Alwhishi, 2022, International Conference on Wireless Communications and Mobile Computing.

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments

J. Bentahar, Nagat Drawel, Ghalya Alwhishi, 2022, International Conference on Mobile Web Information Systems.

Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty

J. Bentahar, Ahmed Elwhishi, Ghalya Alwhishi, 2022, DBB.

Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments

J. Bentahar, Ahmed Elwhishi, Nagat Drawel, 2023, Inf. Fusion.