Mahmoud Elfar

According to our database1, Mahmoud Elfar authored at least 8 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Context-Aware Temporal Logic for Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
Operator Strategy Model Development in UAV Hacking Detection.
IEEE Trans. Hum. Mach. Syst., 2019

Security-Aware Synthesis of Human-UAV Protocols.
Proceedings of the International Conference on Robotics and Automation, 2019

Security-Aware Synthesis Using Delayed-Action Games.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Human Augmentation of UAV Cyber-Attack Detection.
Proceedings of the Augmented Cognition: Users and Contexts, 2018

2017
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips.
ACM Trans. Embed. Comput. Syst., 2017

Platform for security-aware design of human-on-the-loop cyber-physical systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016
Targeted penetration of MCF-7 cells using iron-oxide nanoparticles in vitro.
Proceedings of the 6th IEEE International Conference on Biomedical Robotics and Biomechatronics, 2016


  Loading...