Mahmoud Elfar
Cited by
Cited by
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
M Elfar, Z Zhong, Z Li, K Chakrabarty, M Pajic
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 127, 2017
Operator strategy model development in uav hacking detection
H Zhu, ML Cummings, M Elfar, Z Wang, M Pajic
IEEE Transactions on Human-Machine Systems, 2019
Human augmentation of uav cyber-attack detection
H Zhu, M Elfar, M Pajic, Z Wang, ML Cummings
International Conference on Augmented Cognition, 154-167, 2018
Security-Aware Synthesis of Human-UAV Protocols
M Elfar, H Zhu, ML Cummings, M Pajic
Proceedings of 2019 IEEE International Conference on Robotics and Automation …, 2019
Targeted penetration of MCF-7 cells using iron-oxide nanoparticles in vitro
M Elfar, M Ayoub, A Sameh, H Abass, RM Abdel-Kader, I Gomaa, ...
2016 6th IEEE International Conference on Biomedical Robotics and …, 2016
Security-Aware Synthesis Using Delayed-Action Games
M Elfar, Y Wang, M Pajic
arXiv preprint arXiv:1902.04618, 2019
WiP Abstract: Platform for Security-Aware Design of Human-on-the-Loop Cyber-Physical Systems
M Elfar, H Zhu, A Raghunathan, YY Tay, J Wubbenhorst, ML Cummings, ...
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017
Context-Aware Temporal Logic for Probabilistic Systems
M Elfar, Y Wang, M Pajic
International Symposium on Automated Technology for Verification and …, 2020
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips
M Elfar, TC Liang, K Chakrabarty, M Pajic
2021 Design, Automation &Test in Europe Conference & Exhibition (DATE), 2021
The system can't perform the operation now. Try again later.
Articles 1–9