default author photo

Ghalya Alwhishi

Concordia University

Canada

  • Concordia University

SCHOLARLY PAPERS

6

DOWNLOADS

422

TOTAL CITATIONS

1

Scholarly Papers (6)

Actions:
Email selected abstracts
1.

Verifying Trust Over Iot-Ad Hoc Network-Based Applications Under Uncertainty

Number of pages: 16 Posted: 28 Jul 2023
Narges Baharloo, Jamal Bentahar, Ghalya Alwhishi, Nagat Drawel and Witold Pedrycz
Concordia University, Concordia University, Concordia University, Concordia University and University of Alberta
Downloads 151 (494,203)

Abstract:

Loading...

Trust, Ad Hoc Networks, IoT, Uncertainty, Verification, Three-valued model checking

2.

Multi-Valued Model Checking Iot and Intelligent Systems with Commitment Protocols in Multi-Source Data Environments

Number of pages: 34 Posted: 17 Apr 2023
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz and Nagat Drawel
Concordia University, Concordia University, affiliation not provided to SSRN, University of Alberta and Concordia University
Downloads 80 (803,225)

Abstract:

Loading...

Multi-valued model checking, IoT, Intelligent systems (IS), Commitment, Lattice-Valued propositional logics, Uncertainty and inconsistency

3.

Trust Verification in Information Fusion-Based Autonomous Monitoring Systems Using 9-Valued Logic

Downloads 63 (933,592)

Trust Verification in Information Fusion-Based Autonomous Monitoring Systems Using 9-Valued Logic

Number of pages: 36 Posted: 10 May 2025
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi and Witold Pedrycz
Concordia University, Concordia University, affiliation not provided to SSRN and University of Alberta
Downloads 39 (1,224,220)

Abstract:

Loading...

Multiple sources information fusion, Multi-valued verification, Autonomous monitoring systems, Trust communication protocols, Lattice-valued logics

Trust Verification in Information Fusion-Based Autonomous Monitoring Systems Using 9-Valued Logic

Number of pages: 32 Posted: 26 Feb 2025
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi and Witold Pedrycz
Concordia University, Concordia University, affiliation not provided to SSRN and University of Alberta
Downloads 24 (1,445,011)

Abstract:

Loading...

Multiple sources information fusion, Multi-valued verification, autonomous monitoring systems, Trust communication protocols, Lattice-valued logics

4.

Mv-Checker: A Software Tool for Multi-Valued Model Checking Intelligent Applications with Trust and Commitment

Number of pages: 31 Posted: 10 Jul 2023
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi and Witold Pedrycz
Concordia University, Concordia University, affiliation not provided to SSRN and University of Alberta
Downloads 55 (1,010,164)

Abstract:

Loading...

Multi-valued model checking, Intelligent systems (IS), Trust, Lattice-valued propositional logics, Uncertainty, Inconsistency

5.

Multi-Valued Verification of Commitment Systems with Uncertainty and Inconsistency in Multi-Source Data Settings

Number of pages: 23 Posted: 27 Feb 2024
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi and Witold Pedrycz
Concordia University, Concordia University, affiliation not provided to SSRN and University of Alberta
Downloads 40 (1,196,171)
Citation 1

Abstract:

Loading...

Multi-valued model checking, IoTs, Commitment protocols, Lattice-Valued logics, Uncertainty and Inconsistency

6.

Modeling and Verifying Trust Autonomous Monitoring Systems Using 9-Valued Logic: A Case Study on Fire Detection Using Uavs

Number of pages: 30 Posted: 30 Sep 2024
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi and Witold Pedrycz
Concordia University, Concordia University, affiliation not provided to SSRN and University of Alberta
Downloads 33 (1,290,922)

Abstract:

Loading...

Multi-valued model checking, Autonomous monitoring systems, Trust protocols, Lattice-valued logics