Nagat Drawel

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 17

Top Topics

Formal Verification

Temporal Epistemic

Top Venues

Expert Syst. Appl.

J. Syst. Softw.

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)
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
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. 213 (2024)
Narges Baharloo, Jamal Bentahar, Nagat Drawel, Witold Pedrycz
Model checking combined trust and commitments in Multi-Agent Systems. Expert Syst. Appl. 243 (2024)
Ghalya Alwhishi, Jamal Bentahar, Ahmed Elwhishi, Witold Pedrycz, Nagat Drawel
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments. Inf. Fusion 102 (2024)
Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz
A comprehensive survey on applications of transformers for deep learning tasks. Expert Syst. Appl. 241 (2024)
Saidul Islam, Hanae Elmekki, Ahmed Elsebai, Jamal Bentahar, Nagat Drawel, Gaith Rjoub, Witold Pedrycz
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks. CoRR (2023)
Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy
Transformation-based model checking temporal trust in multi-agent systems. J. Syst. Softw. 192 (2022)
Jamal Bentahar, Nagat Drawel, Abdeladim Sadiki
Quantitative Group Trust: A Two-Stage Verification Approach. AAMAS (2022)
Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel
Reasoning about Uncertainty over IoT Systems. IWCMC (2022)
Ghalya Alwhishi, Nagat Drawel, Jamal Bentahar
Model Checking Intelligent Information Systems with 3-Valued Timed Commitments. MobiWIS (2022)
Gaith Rjoub, Jamal Bentahar, Omar Abdel Wahab, Nagat Drawel
One-Shot Federated Learning-based Model-Free Reinforcement Learning. DBB (2022)
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
Formal verification of group and propagated trust in multi-agent systems. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Nagat Drawel, Jamal Bentahar, Hongyang Qu
Computationally Grounded Quantitative Trust with Time. AAMAS (2020)
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
Formalizing Group and Propagated Trust in Multi-Agent Systems. IJCAI (2020)
Nagat Drawel, Hongyang Qu, Jamal Bentahar, Elhadi M. Shakshuki
Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. 107 (2020)
Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej
Verifying Temporal Trust Logic using CTL Model Checking. TRUST@AAMAS (2018)
Nagat Drawel, Jamal Bentahar, Elhadi M. Shakshuki
Reasoning about Trust and Time in a System of Agents. ANT/SEIT (2017)