Ahmed Elwhishi

According to our database1, Ahmed Elwhishi authored at least 13 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments.
Inf. Fusion, February, 2024

Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings.
Inf. Fusion, 2024

MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment.
Expert Syst. Appl., 2024

2023
Multi-valued Model Checking A Smart Glucose Monitoring System with Trust.
Proceedings of the International Wireless Communications and Mobile Computing, 2023

2022
Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty.
Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

Three-Valued Model Checking Smart Contract Systems with Trust Under Uncertainty.
Proceedings of the International Conference on Deep Learning, 2022

2013
Contention aware mobility prediction routing for intermittently connected mobile networks.
Wirel. Networks, 2013

Self-Adaptive Contention Aware Routing Protocol for Intermittently Connected Mobile Networks.
IEEE Trans. Parallel Distributed Syst., 2013

A Novel Message Scheduling Framework for Delay Tolerant Networks Routing.
IEEE Trans. Parallel Distributed Syst., 2013

2012
Message Forwarding and Scheduling in Delay Tolerant Networks.
PhD thesis, 2012

2010
ARBR: Adaptive reinforcement-based routing for DTN.
Proceedings of the IEEE 6th International Conference on Wireless and Mobile Computing, 2010

A Novel Buffer Management Architecture for Epidemic Routing in Delay Tolerant Networks (DTNs).
Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Networks, 2010

2009
SARP - A Novel Multi-Copy Routing Protocol for Intermittently Connected Mobile Networks.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009


  Loading...