- Omar A. Beg, T. T. Johnson, and A. Davoudi, “Detection of false-data injection attacks in cyber-physical DC microgrids,” IEEE Transactions on Industrial Informatics, vol. 13, pp. 2693-2703, Oct. 2017.
- Omar A. Beg, T. T. Johnson, and A. Davoudi, “Model validation of PWM DC-DC converters,” IEEE Transactions on Industrial Electronics, vol. 64, pp. 7049-7059, Sept. 2017.
- Stanley Bak, Omar A. Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan V. Nguyen, Christian Schilling, “Hybrid automata: from verification to implementation”, International Journal on Software Tools for Technology Transfer, Jun. 2017.
- Omar A. Beg, L. V. Nguyen, T. T. Johnson, and A. Davoudi, “Signal temporal logic-based attack detection in DC microgrids,” in IEEE Transactions on Smart Grid. doi: 10.1109/TSG.2018.2832544.
- Omar A. Beg, A. Davoudi, and T. T. Johnson, “Formal verification of charge pump phase-locked loop and full wave rectifier through reachability analysis”, in Proceedings of the Applied Verification for Continuous and Hybrid Systems Workshop, Vienna, Austria, 2016.
- Omar A. Beg, A. Davoudi, and T. T. Johnson, “Reachability analysis of transformer-isolated DC-DC converters”, in Proceedings of the Applied Verification for Continuous and Hybrid Systems Workshop, Pittsburgh, PA, 2017.
- Omar A. Beg, Ali Davoudi, and Taylor T. Johnson, “Computer-aided formal verification of power electronics circuits”, in Frontiers in Analog Computer-Aided Design, Frankfurt, Germany, 2017.