| 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 | 130 | 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 | 44 | 2018 |
| pFaces: An acceleration ecosystem for symbolic control M Khaled, M Zamani Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 42 | 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 | 41 | 2020 |
| MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study H Youness, M Moness, M Khaled IEEE Transactions on Industrial Informatics, 2014 | 39 | 2014 |
| 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 | 30 | 2017 |
| ARCH-COMP20 Category Report: Stochastic Models. A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... ARCH, 76-106, 2020 | 18 | 2020 |
| PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems A Devonport, M Khaled, M Arcak, M Zamani Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 14 | 2020 |
| Synthesis of symbolic controllers: A parallelized and sparsity-aware approach M Khaled, ES Kim, M Arcak, M Zamani Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 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 | 4 | 2020 |
| Output-feedback symbolic control M Khaled, K Zhang, M Zamani arXiv preprint arXiv:2011.14848, 2020 | 3 | 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 |
| 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 | 1 | 2020 |
| PID Control of a Lab Scale Single-Rotor Helicopter System using a Multicore Microcontroller M Moness, M Khaled, M Bakr, A Omar International Conference on Aerospace Sciences and Aviation Technology 16 …, 2015 | 1 | 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 |
| Sparsity Regularization for classification of large dimensional data. N Sharma, P Verlekar, R Ashary, M Khaled, S Zhiquan arXiv preprint arXiv:1712.01975, 2017 | | 2017 |
Professor Dr. Hassan A. YounessMinia University - Faculty of Engineering - Computer and Systems Engineering Dept.Dirección de correo verificada de mu.edu.eg
