- Omar A. Beg, Taylor T Johnson, and Ali Davoudi. "Formal Verification of Software-controlled Power Electronics", US Air Force Research Lab (AFRL) Safe and Secure Systems Symposium (S5), June 11, 2015. (URL: http://www.mys5.org/Proceedings/2015/Day_3/2015-S5-Day3_1020_Beg.pdf)
- Omar A. Beg, Ali Davoudi, and Taylor T. Johnson, “Detecting and Mitigating Cyber-Physical Attacks with Invariant Inference and Runtime Assurance”, AFRL poster presentation, Rome, NY. 2015.
- Omar A. Beg, Taylor T Johnson, and Ali Davoudi. "Computer Aided Formal Verification of Power Electronics Based Cyber-physical Systems", Formal Methods in Computer Aided Design (FMCAD), September 28, 2015. (URL: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/student-forum-presentations/posters/omar_beg_poster.pdf)
- Omar A. Beg, Shankar Abhinav, and Ali Davoudi, “Resilient Microgrid Control”, in Office of the Naval Research Controls Workshop, Arlington, TX, 2018.