Mahmoud Elfar

17 papers A* 1A 2B 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models.
CoRR
Ulices Santa Cruz, Mahmoud Elfar, Yasser Shoukry
2025 J jnl
Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility.
CoRR
Jaejeong Park, Mahmoud Elfar, Cody H. Fleming, Yasser Shoukry
2023 J jnl
Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Mahmoud Elfar, Yi-Chen Chang, Harrison Hao-Yu Ku, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2022 A conf
Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning.
DATE
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2022 J jnl
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2022 — —
Modeling and Design of Assured and Adaptive Cyber-Physical Systems.
Mahmoud Elfar
2021 A conf
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips.
DATE
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2020 B conf
Context-Aware Temporal Logic for Probabilistic Systems.
ATVA
Mahmoud Elfar, Yu Wang, Miroslav Pajic
2020 J jnl
Context-Aware Temporal Logic for Probabilistic Systems.
CoRR
Mahmoud Elfar, Yu Wang, Miroslav Pajic
2019 J jnl
Operator Strategy Model Development in UAV Hacking Detection.
IEEE Trans. Hum. Mach. Syst.
Haibei Zhu, Mary L. Cummings, Mahmoud Elfar, Ziyao Wang, Miroslav Pajic
2019 — conf
Security-Aware Synthesis Using Delayed-Action Games.
CAV (1)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
2019 J jnl
Security-Aware Synthesis Using Delayed-Action Games.
CoRR
Mahmoud Elfar, Yu Wang, Miroslav Pajic
2019 A* conf
Security-Aware Synthesis of Human-UAV Protocols.
ICRA
Mahmoud Elfar, Haibei Zhu, Mary L. Cummings, Miroslav Pajic
2018 — conf
Human Augmentation of UAV Cyber-Attack Detection.
HCI (16)
Haibei Zhu, Mahmoud Elfar, Miroslav Pajic, Ziyao Wang, Mary L. Cummings
2017 — conf
Platform for security-aware design of human-on-the-loop cyber-physical systems.
ICCPS
Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Mary L. Cummings, Miroslav Pajic
2017 J jnl
Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips.
ACM Trans. Embed. Comput. Syst.
Mahmoud Elfar, Zhanwei Zhong, Zipeng Li, Krishnendu Chakrabarty, Miroslav Pajic
2016 — conf
Targeted penetration of MCF-7 cells using iron-oxide nanoparticles in vitro.
BioRob
Mahmoud Elfar, Mariam Ayoub, Aya Sameh, Hazem Abass, Reham M. Abdel-Kader, Iman Gomaa, Islam S. M. Khalil