Mahmoud Khaled

26 papers Journal 11Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
A μ-Synthesis Framework for Multi-Domain Robust Load Frequency Control Under Concurrent Communication Delays and Parametric Uncertainties.
IEEE Access
Chadi Nohra, Bechara Nehme, Raymond Ghandour, Ossama Dankar, Mahmoud Khaled, Ahmed Mohsin Alsayah
2023 J jnl
A Framework for Output-Feedback Symbolic Control.
IEEE Trans. Autom. Control.
Mahmoud Khaled, Kuize Zhang, Majid Zamani
2022 — conf
Convolutional Neural Networks for Semantic Segmentation: A Recent Survey.
ACIT
Abdelrahman Kaseb, Mahmoud Khaled, Omar Galal
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.
IEEE Des. Test
Mahmoud Khaled, Majid Zamani
2021 — conf
OmegaThreads: symbolic controller design for
HSCC
Mahmoud Khaled, Majid Zamani
2021 — conf
OmegaThreads: symbolic controller design for
HSCC
Mahmoud Khaled, Majid Zamani
2020 — conf
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
CAV (2)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 J jnl
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
CoRR
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 — conf
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.
HSCC
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2020 J jnl
An iterative algorithm for simulating heat recovery from exhaust gas - Application on generators.
Math. Comput. Simul.
Mahmoud Khaled, Rabih Murr, Hicham El Hage, Mohamad Ramadan, Haitham S. Ramadan, Mohamed Becherif
2020 J jnl
New Concept of Power Generation Using TEGs: Thermal Modeling, Parametric Analysis, and Case Study.
Entropy
Ahmad Faraj, Hassan Jaber, Khaled Chahine, Jalal Faraj, Mohamad Ramadan, Hicham El Hage, Mahmoud Khaled
2020 J jnl
Output-Feedback Symbolic Control.
CoRR
Mahmoud Khaled, Kuize Zhang, Majid Zamani
2020 — conf
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
CAV (1)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
2020 J jnl
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
CoRR
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
2019 — conf
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.
TACAS (2)
Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
2019 — conf
pFaces: an acceleration ecosystem for symbolic control.
HSCC
Mahmoud Khaled, Majid Zamani
2018 J jnl
Gender Aware Spoken Language Translation Applied to English-Arabic.
CoRR
Mostafa ElAraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama
2018 — conf
Gender aware spoken language translation applied to English-Arabic.
ICNLSP
Mostafa ElAraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama
2018 — conf
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
HSCC
Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani
2018 — conf
SENSE: Abstraction-Based Synthesis of Networked Control Systems.
MeTRiD@ETAPS
Mahmoud Khaled, Matthias Rungger, Majid Zamani
2018 J jnl
Symbolic Abstractions of Networked Control Systems.
IEEE Trans. Control. Netw. Syst.
Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate
2016 — conf
An investigation on coupling fuel cell and photovoltaic systems for power generation.
ACTEA
Ahmad Haddad, Mohamad Ramadan, Mahmoud Khaled, Khaled Chahine
2016 — conf
Symbolic models of networked control systems: A feedback refinement relation approach.
Allerton
Mahmoud Khaled, Matthias Rungger, Majid Zamani
2014 J jnl
MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study.
IEEE Trans. Ind. Informatics
Hassan A. Youness, Mohammed Moness, Mahmoud Khaled