Ghalya Alwhishi

Orcid: 0000-0002-6711-9917

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verifying trust over IoT-ad hoc network-based applications under uncertainty.
Ad Hoc Networks, March, 2024

Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments.
Inf. Fusion, February, 2024

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

MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment.
Expert Syst. Appl., 2024

2023
Multi-valued Model Checking A Smart Glucose Monitoring System with Trust.
Proceedings of the International Wireless Communications and Mobile Computing, 2023

2022
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
Proceedings of the Mobile Web and Intelligent Information Systems, 2022

Reasoning about Uncertainty over IoT Systems.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty.
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.
Proceedings of the International Conference on Deep Learning, 2022


  Loading...