Mahmoud Elfar

According to our database, Mahmoud Elfar authored at least 13 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility.

Jaejeong Park, Mahmoud Elfar, Cody Fleming, Yasser Shoukry

CoRR, September, 2025

2023

Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips.

Mahmoud Elfar, Yi-Chen Chang, Harrison Hao-Yu Ku, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

2022

Modeling and Design of Assured and Adaptive Cyber-Physical Systems.

Mahmoud Elfar

PhD thesis, 2022

Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning.

Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips.

Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Context-Aware Temporal Logic for Probabilistic Systems.

Mahmoud Elfar, Yu Wang, Miroslav Pajic

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Operator Strategy Model Development in UAV Hacking Detection.

Haibei Zhu, Mary L. Cummings, Mahmoud Elfar, Ziyao Wang, Miroslav Pajic

IEEE Trans. Hum. Mach. Syst., 2019

Security-Aware Synthesis of Human-UAV Protocols.

Mahmoud Elfar, Haibei Zhu, Mary L. Cummings, Miroslav Pajic

Proceedings of the International Conference on Robotics and Automation, 2019

Security-Aware Synthesis Using Delayed-Action Games.

Mahmoud Elfar, Yu Wang, Miroslav Pajic

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Human Augmentation of UAV Cyber-Attack Detection.

Haibei Zhu, Mahmoud Elfar, Miroslav Pajic, Ziyao Wang, Mary L. Cummings

Proceedings of the Augmented Cognition: Users and Contexts, 2018

2017

Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips.

Mahmoud Elfar, Zhanwei Zhong, Zipeng Li, Krishnendu Chakrabarty, Miroslav Pajic

ACM Trans. Embed. Comput. Syst., 2017

Platform for security-aware design of human-on-the-loop cyber-physical systems.

Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Mary L. Cummings, Miroslav Pajic

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Targeted penetration of MCF-7 cells using iron-oxide nanoparticles in vitro.

Mahmoud Elfar, Mariam Ayoub, Aya Sameh, Hazem Abass, Reham M. Abdel-Kader, Iman Gomaa, Islam S. M. Khalil

Proceedings of the 6th IEEE International Conference on Biomedical Robotics and Biomechatronics, 2016