MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study. - Hassan A. Youness; Mohammed Moness; Mahmoud Khaled (IEEE Trans. Ind. Informatics, 2014)

An investigation on coupling fuel cell and photovoltaic systems for power generation. - Ahmad Haddad; Mohamad Ramadan; Mahmoud Khaled; Khaled Chahine (ACTEA, 2016)

Symbolic models of networked control systems: A feedback refinement relation approach. - Mahmoud Khaled; Matthias Rungger; Majid Zamani 001 (Allerton, 2016)

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. - Eric S. Kim; Murat Arcak; Mahmoud Khaled; Majid Zamani 001 (HSCC, 2018)

Gender aware spoken language translation applied to English-Arabic. - Mostafa Elaraby; Ahmed Y. Tawfik; Mahmoud Khaled; Hany Hassan; Aly Osama (ICNLSP, 2018)

SENSE: Abstraction-Based Synthesis of Networked Control Systems. - Mahmoud Khaled; Matthias Rungger; Majid Zamani 001 (MeTRiD@ETAPS, 2018)

Symbolic Abstractions of Networked Control Systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Mahmoud Khaled; Alessandro Abate (IEEE Trans. Control. Netw. Syst., 2018)

pFaces: an acceleration ecosystem for symbolic control. - Mahmoud Khaled; Majid Zamani 001 (HSCC, 2019)

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. - Mahmoud Khaled; Eric S. Kim; Murat Arcak; Majid Zamani 001 (TACAS (2), 2019)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. - Alex Devonport; Mahmoud Khaled; Murat Arcak; Majid Zamani 001 (CAV (1), 2020)

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. - Abolfazl Lavaei; Mahmoud Khaled; Sadegh Soudjani; Majid Zamani 001 (CAV (2), 2020)

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. - Abolfazl Lavaei; Mahmoud Khaled; Sadegh Soudjani; Majid Zamani 001 (HSCC, 2020)

Output-Feedback Symbolic Control. - Mahmoud Khaled; Kuize Zhang; Majid Zamani 001 (CoRR, 2020)

New Concept of Power Generation Using TEGs: Thermal Modeling, Parametric Analysis, and Case Study. - Ahmad Faraj; Hassan Jaber; Khaled Chahine; Jalal Faraj; Mohamad Ramadan; Hicham El Hage; Mahmoud Khaled (Entropy, 2020)

An iterative algorithm for simulating heat recovery from exhaust gas - Application on generators. - Mahmoud Khaled; Rabih Murr; Hicham El Hage; Mohamad Ramadan; Haitham S. Ramadan; Mohamed Becherif (Math. Comput. Simul., 2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

OmegaThreads: symbolic controller design for ω-regular objectives. - Mahmoud Khaled; Majid Zamani 001 (HSCC, 2021)

Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. - Mahmoud Khaled; Majid Zamani 001 (IEEE Des. Test, 2021)

Convolutional Neural Networks for Semantic Segmentation: A Recent Survey. - Abdelrahman Kaseb; Mahmoud Khaled; Omar Galal (ACIT, 2022)

A Framework for Output-Feedback Symbolic Control. - Mahmoud Khaled; Kuize Zhang; Majid Zamani 001 (IEEE Trans. Autom. Control., 2023)