Mahmoud Khaled

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 24

Top Topics

Stochastic Models

Networked Control Systems

Stochastic Systems

Semantic Segmentation

Top Venues

IEEE Trans. Control. Netw. Syst.

Publications

Mahmoud Khaled, Kuize Zhang, Majid Zamani
A Framework for Output-Feedback Symbolic Control. IEEE Trans. Autom. Control. 68 (9) (2023)
Abdelrahman Kaseb, Mahmoud Khaled, Omar Galal
Convolutional Neural Networks for Semantic Segmentation: A Recent Survey. ACIT (2022)
Mahmoud Khaled, Majid Zamani
-regular objectives. HSCC (2021)
Mahmoud Khaled, Majid Zamani
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. IEEE Des. Test 38 (5) (2021)
Mahmoud Khaled, Majid Zamani
-regular objectives. HSCC (2021)
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Mahmoud Khaled, Rabih Murr, Hicham El Hage, Mohamad Ramadan, Haitham S. Ramadan, Mohamed Becherif
An iterative algorithm for simulating heat recovery from exhaust gas - Application on generators. Math. Comput. Simul. 167 (2020)
Ahmad Faraj, Hassan Jaber, Khaled Chahine, Jalal Faraj, Mohamad Ramadan, Hicham El Hage, Mahmoud Khaled
New Concept of Power Generation Using TEGs: Thermal Modeling, Parametric Analysis, and Case Study. Entropy 22 (5) (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR (2020)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) (2020)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CAV (1) (2020)
Mahmoud Khaled, Kuize Zhang, Majid Zamani
Output-Feedback Symbolic Control. CoRR (2020)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CoRR (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC (2020)
Mahmoud Khaled, Majid Zamani
pFaces: an acceleration ecosystem for symbolic control. HSCC (2019)
Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. TACAS (2) (2019)
Mostafa Elaraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama
Gender Aware Spoken Language Translation Applied to English-Arabic. CoRR (2018)
Mostafa Elaraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama
Gender aware spoken language translation applied to English-Arabic. ICNLSP (2018)
Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate
Symbolic Abstractions of Networked Control Systems. IEEE Trans. Control. Netw. Syst. 5 (4) (2018)
Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. HSCC (2018)
Mahmoud Khaled, Matthias Rungger, Majid Zamani
SENSE: Abstraction-Based Synthesis of Networked Control Systems. MeTRiD@ETAPS (2018)
Mahmoud Khaled, Matthias Rungger, Majid Zamani
Symbolic models of networked control systems: A feedback refinement relation approach. Allerton (2016)
Ahmad Haddad, Mohamad Ramadan, Mahmoud Khaled, Khaled Chahine
An investigation on coupling fuel cell and photovoltaic systems for power generation. ACTEA (2016)
Hassan A. Youness, Mohammed Moness, Mahmoud Khaled
MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study. IEEE Trans. Ind. Informatics 10 (4) (2014)