| Implementation of a modified perturb and observe maximum power point tracking algorithm for photovoltaic system using an embedded microcontroller AA Elbaset, H Ali, M Abd‐El Sattar, M Khaled IET Renewable Power Generation 10 (4), 551-560, 2016 | 141 | 2016 |
| Gender aware spoken language translation applied to english-arabic M Elaraby, AY Tawfik, M Khaled, H Hassan, A Osama 2018 2nd International Conference on Natural Language and Speech Processing …, 2018 | 51 | 2018 |
| pFaces: An acceleration ecosystem for symbolic control M Khaled, M Zamani Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 48 | 2019 |
| AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems A Lavaei, M Khaled, S Soudjani, M Zamani International conference on computer aided verification, 461-474, 2020 | 47 | 2020 |
| MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study H Youness, M Moness, M Khaled IEEE Transactions on Industrial Informatics, 2014 | 46 | 2014 |
| ARCH-COMP25 Category Report: Stochastic Models A Abate, O Akbarzadeh, HAP Blom, S Haesaert, S Hassani, A Lavaei, ... arXiv preprint arXiv:2506.17602, 2025 | 42 | 2025 |
| Symbolic abstractions of networked control systems M Zamani, M Mazo, M Khaled, A Abate IEEE Transactions on Control of Network Systems 5 (4), 1622-1634, 2017 | 38 | 2017 |
| PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems A Devonport, M Khaled, M Arcak, M Zamani International Conference on Computer Aided Verification, 556-568, 2020 | 16 | 2020 |
| Synthesis of symbolic controllers: A parallelized and sparsity-aware approach M Khaled, ES Kim, M Arcak, M Zamani International Conference on Tools and Algorithms for the Construction and …, 2019 | 11 | 2019 |
| Symbolic models of networked control systems: A feedback refinement relation approach M Khaled, M Rungger, M Zamani 2016 54th Annual Allerton Conference on Communication, Control, and …, 2016 | 7 | 2016 |
| SENSE: Abstraction-based synthesis of networked control systems M Khaled, M Rungger, M Zamani arXiv preprint arXiv:1806.09849, 2018 | 6 | 2018 |
| Cloud-ready acceleration of formal method techniques for cyber–physical systems M Khaled, M Zamani IEEE Design & Test 38 (5), 25-34, 2020 | 5 | 2020 |
| El-Sayed and Sumaya H. Ahmed, Moving Object Detection in Spatial Domain using Background Removal Techniques–State of Art”, Recent Patents on Computer Science, pp-32-54 SY Elhabian, M Khaled Bentham Science Publishers Ltd, 2008 | 5 | 2008 |
| Output-feedback symbolic control M Khaled, K Zhang, M Zamani arXiv preprint arXiv:2011.14848, 2020 | 3 | 2020 |
| AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems A Lavaei, M Khaled, S Soudjani, M Zamani Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 2 | 2020 |
| Major computational breakthroughs in the synthesis of symbolic controllers via decomposed algorithms ES Kim, M Arcak, M Khaled, M Zamani Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 2 | 2018 |
| PID Control of a Lab Scale Single-Rotor Helicopter System using a Multicore Microcontroller M Moness, M Khaled, A Omar International Conference on Aerospace Sciences and Aviation Technology 16 …, 2015 | 2 | 2015 |
| Quad-Core MPSoC architecture for PID-based embedded control systems HA Youness, M Khaled, M Moness International Journal of Computer Theory and Engineering 5 (6), 914, 2013 | 1 | 2013 |
| Towards Safer Driving: ADAS Enhancements in Lane Keeping and Sign Detection M Helmy, A Ibrahim, A Helaly, M Khaled, M Taher, Y Salah 2024 International Telecommunications Conference (ITC-Egypt), 78-84, 2024 | | 2024 |
| Implementation of Symbolic Controllers on FPGAs MSM Khaled | | 2018 |
Professor Dr. Hassan A. YounessMinia University - Faculty of Engineering - Computer and Systems Engineering Dept.Verified email at mu.edu.eg
