Follow
Mahmoud Elfar
Title
Cited by
Cited by
Year
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
392019
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
282017
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
192018
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
122019
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
11*2017
Adaptive droplet routing for MEDA biochips via deep reinforcement learning
M Elfar, TC Liang, K Chakrabarty, M Pajic
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 640-645, 2022
102022
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
82021
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
82016
Context-Aware Temporal Logic for Probabilistic Systems
M Elfar, Y Wang, M Pajic
International Symposium on Automated Technology for Verification and …, 2020
62020
Security-Aware Synthesis Using Delayed-Action Games
M Elfar, Y Wang, M Pajic
arXiv preprint arXiv:1902.04618, 2019
62019
Deep Reinforcement Learning-based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips
M Elfar, YC Chang, HHY Ku, TC Liang, K Chakrabarty, M Pajic
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–11