Ghalya Alwhishi

According to our database, Ghalya Alwhishi authored at least 9 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Verifying trust over IoT-ad hoc network-based applications under uncertainty.

Narges Baharloo, Jamal Bentahar, Ghalya Alwhishi, Nagat Drawel, Witold Pedrycz

Ad Hoc Networks, March, 2024

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

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel

Inf. Fusion, February, 2024

Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings.

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz

Inf. Fusion, 2024

MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment.

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz

Expert Syst. Appl., 2024

2023

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

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi

Proceedings of the International Wireless Communications and Mobile Computing, 2023

2022

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.

Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar

Proceedings of the Mobile Web and Intelligent Information Systems, 2022

Reasoning about Uncertainty over IoT Systems.

Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel

Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty.

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi

Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

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

Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi

Proceedings of the International Conference on Deep Learning, 2022