Nagat Drawel

According to our database, Nagat Drawel authored at least 16 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, March, 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, February, 2024

Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383].

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy

J. Syst. Softw., 2024

A comprehensive survey on applications of transformers for deep learning tasks.

Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz

Expert Syst. Appl., 2024

Model checking combined trust and commitments in Multi-Agent Systems.

Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz

Expert Syst. Appl., 2024

2022

Transformation-based model checking temporal trust in multi-agent systems.

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy

J. Syst. Softw., 2022

Formal verification of group and propagated trust in multi-agent systems.

Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub

Auton. Agents Multi Agent Syst., 2022

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.

Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar

Proceedings of the Mobile Web and Intelligent Information Systems, 2022

Reasoning about Uncertainty over IoT Systems.

Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel

Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

One-Shot Federated Learning-based Model-Free Reinforcement Learning.

Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel

Proceedings of the International Conference on Deep Learning, 2022

Quantitative Group Trust: A Two-Stage Verification Approach.

Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2020

Specification and automatic verification of trust-based multi-agent systems.

Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki

Future Gener. Comput. Syst., 2020

Formalizing Group and Propagated Trust in Multi-Agent Systems.

Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Computationally Grounded Quantitative Trust with Time.

Nagat Drawel, Jamal Bentahar, Hongyang Qu

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2018

Verifying Temporal Trust Logic using CTL Model Checking.

Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej

Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2017

Reasoning about Trust and Time in a System of Agents.

Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki

Proceedings of the 8th International Conference on Ambient Systems, 2017