Mahmoud Elfar

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Attack Detection

Reinforcement Learning

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

ACM Trans. Embed. Comput. Syst.

Publications

Mahmoud Elfar, Yi-Chen Chang, Harrison Hao-Yu Ku, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. DATE (2022)
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. DATE (2021)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Context-Aware Temporal Logic for Probabilistic Systems. ATVA (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Context-Aware Temporal Logic for Probabilistic Systems. CoRR (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Security-Aware Synthesis Using Delayed-Action Games. CAV (1) (2019)
Mahmoud Elfar, Haibei Zhu, Mary L. Cummings, Miroslav Pajic
Security-Aware Synthesis of Human-UAV Protocols. ICRA (2019)
Haibei Zhu, Mary L. Cummings, Mahmoud Elfar, Ziyao Wang, Miroslav Pajic
Operator Strategy Model Development in UAV Hacking Detection. IEEE Trans. Hum. Mach. Syst. 49 (6) (2019)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Security-Aware Synthesis Using Delayed-Action Games. CoRR (2019)
Haibei Zhu, Mahmoud Elfar, Miroslav Pajic, Ziyao Wang, Mary L. Cummings
Human Augmentation of UAV Cyber-Attack Detection. HCI (16) (2018)
Mahmoud Elfar, Zhanwei Zhong, Zipeng Li, Krishnendu Chakrabarty, Miroslav Pajic
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Mary L. Cummings, Miroslav Pajic
Platform for security-aware design of human-on-the-loop cyber-physical systems. ICCPS (2017)
Mahmoud Elfar, Mariam Ayoub, Aya Sameh, Hazem Abass, Reham M. Abdel-Kader, Iman Gomaa, Islam S. M. Khalil
Targeted penetration of MCF-7 cells using iron-oxide nanoparticles in vitro. BioRob (2016)