Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (DBB, 2022)

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (FiCloud, 2022)

Reasoning about Uncertainty over IoT Systems. - Ghalya Alwhishi; Jamal Bentahar; Nagat Drawel (IWCMC, 2022)

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. - Ghalya Alwhishi; Nagat Drawel; Jamal Bentahar (MobiWIS, 2022)

Multi-valued Model Checking A Smart Glucose Monitoring System with Trust. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi (IWCMC, 2023)

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)

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)

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, 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, 2024)

Trust verification in information fusion-based autonomous monitoring systems using 9-valued logic. - Ghalya Alwhishi; Jamal Bentahar; Ahmed Elwhishi; Witold Pedrycz (Inf. Fusion, 2026)