Nagat Drawel

Orcid: 0000-0001-7100-420X

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verifying trust over IoT-ad hoc network-based applications under uncertainty.
Ad Hoc Networks, March, 2024

Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments.
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].
J. Syst. Softw., 2024

A comprehensive survey on applications of transformers for deep learning tasks.
Expert Syst. Appl., 2024

Model checking combined trust and commitments in Multi-Agent Systems.
Expert Syst. Appl., 2024

2022
Transformation-based model checking temporal trust in multi-agent systems.
J. Syst. Softw., 2022

Formal verification of group and propagated trust in multi-agent systems.
Auton. Agents Multi Agent Syst., 2022

Model Checking Intelligent Information Systems with 3-Valued Timed Commitments.
Proceedings of the Mobile Web and Intelligent Information Systems, 2022

Reasoning about Uncertainty over IoT Systems.
Proceedings of the 2022 International Wireless Communications and Mobile Computing, 2022

One-Shot Federated Learning-based Model-Free Reinforcement Learning.
Proceedings of the International Conference on Deep Learning, 2022

Quantitative Group Trust: A Two-Stage Verification Approach.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2020
Specification and automatic verification of trust-based multi-agent systems.
Future Gener. Comput. Syst., 2020

Formalizing Group and Propagated Trust in Multi-Agent Systems.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Computationally Grounded Quantitative Trust with Time.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2018
Verifying Temporal Trust Logic using CTL Model Checking.
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.
Proceedings of the 8th International Conference on Ambient Systems, 2017


  Loading...