Nagat Drawel

17 papers A* 1A 2B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
A comprehensive survey on applications of transformers for deep learning tasks.
Expert Syst. Appl.
Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz
2024 J jnl
Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383].
J. Syst. Softw.
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
2024 J jnl
Model checking combined trust and commitments in Multi-Agent Systems.
Expert Syst. Appl.
Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz
2024 J jnl
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments.
Inf. Fusion
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel
2024 J jnl
Verifying trust over IoT-ad hoc network-based applications under uncertainty.
Ad Hoc Networks
Narges Baharloo, Jamal Bentahar, Ghalya Alwhishi, Nagat Drawel, Witold Pedrycz
2023 J jnl
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks.
CoRR
Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz
2022 J jnl
Formal verification of group and propagated trust in multi-agent systems.
Auton. Agents Multi Agent Syst.
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
2022 — conf
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
MobiWIS
Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar
2022 — conf
One-Shot Federated Learning-based Model-Free Reinforcement Learning.
DBB
Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel
2022 A conf
Quantitative Group Trust: A Two-Stage Verification Approach.
AAMAS
Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki
2022 B conf
Reasoning about Uncertainty over IoT Systems.
IWCMC
Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel
2022 J jnl
Transformation-based model checking temporal trust in multi-agent systems.
J. Syst. Softw.
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
2020 A conf
Computationally Grounded Quantitative Trust with Time.
AAMAS
Nagat Drawel, Jamal Bentahar, Hongyang Qu
2020 A* conf
Formalizing Group and Propagated Trust in Multi-Agent Systems.
IJCAI
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
2020 J jnl
Specification and automatic verification of trust-based multi-agent systems.
Future Gener. Comput. Syst.
Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki
2018 — conf
Verifying Temporal Trust Logic using CTL Model Checking.
TRUST@AAMAS
Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej
2017 — conf
Reasoning about Trust and Time in a System of Agents.
ANT/SEIT
Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki