Login / Signup
Narges Baharloo
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Model Checking
Cl Pc
Trust Model
Alternating Time Temporal Logic
Top Venues
Ad Hoc Networks
Expert Syst. Appl.
</>
Publications
</>
Narges Baharloo
,
Jamal Bentahar
,
Ghalya Alwhishi
,
Nagat Drawel
,
Witold Pedrycz
Verifying trust over IoT-ad hoc network-based applications under uncertainty.
Ad Hoc Networks
154 (2024)
Narges Baharloo
,
Jamal Bentahar
,
Nagat Drawel
,
Witold Pedrycz
Model checking combined trust and commitments in Multi-Agent Systems.
Expert Syst. Appl.
243 (2024)