Khalil Esper
Khalil Esper, M. Sc.
Curriculum Vitæ
1993 | Born |
2010-2015 | Informatics Engineering – Aleppo University – Syria |
2015-2017 | Teaching assistant – Aleppo University – Syria |
2017-2019 | European master in embedded computing systems
2017-2018 Technical University of Kaiserslautern – Germany |
2020- | PhD Candidate / Researcher – at Department of Computer Science 12 (Hardware/Software Co-Design), Friedrich-Alexander-Universität Erlangen-Nürnberg. |
Research Projects
Research Interests
- Verification and model checking
- Energy optimization on MPSoC
- Real-time systems and embedded systems
- Autonomic computing
Open Theses
- Generation and optimization of enforcers to satisfy properties on MPSoC
Teaching
WS 2022/2023 WS 2021/2022 |
Eingebettete Systeme Eingebettete Systeme |
Publications
2023
RAVEN: Reinforcement Learning for Generating Verifiable Run-time Requirement Enforcers for MPSoCs
Workshop on Next Generation Real-Time Embedded Systems Co-located with HiPEAC 2023 (Toulouse, 18. Januar 2023 - 18. Januar 2023)
In: Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), Dagstuhl, Germany: 2023
DOI: 10.4230/OASIcs.NG-RES.2023.7
URL: https://drops.dagstuhl.de/opus/volltexte/2023/17738
BibTeX: Download
, , , , :
2022
Invasive Computing
FAU University Press, 2022
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
BibTeX: Download
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , :
Multi-requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study
Workshop on Next Generation Real-Time Embedded Systems (NG-RES) (Budapest, 22. Juni 2022 - 22. Juni 2022)
In: Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022), Dagstuhl, Germany: 2022
DOI: 10.4230/OASIcs.NG-RES.2022.2
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16110/
BibTeX: Download
, , :
Basics of Invasive Computing
In: Jürgen Teich, Jörg Henkel, Andreas Herkersdorf (Hrsg.): Invasive Computing, FAU University Press, 2022, S. 69-95
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
BibTeX: Download
, , , , , :
2021
A Comparative Evaluation of Latency-Aware Energy Optimization Approaches in Many-Core Systems
Workshop on Next Generation Real-Time Embedded Systems (NG-RES) (Budapest, 20. Januar 2021 - 20. Januar 2021)
In: Proceedings of the Workshop on Next Generation Real-Time Embedded Systems (NG-RES), OASICS Vol. 87 2021
DOI: 10.4230/OASIcs.NG-RES.2021.1
URL: https://drops.dagstuhl.de/opus/volltexte/2021/13477
BibTeX: Download
, , :
Enforcement FSMs - Specification and Verification of Non-Functional Properties of Program Executions on MPSoCs
19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) (Beijing, 20. November 2021 - 22. November 2021)
In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, New York, NY, USA: 2021
DOI: 10.1145/3487212.3487348
BibTeX: Download
, , :
2020
Evaluation of the Maintainability Aspect of Industry 4.0 Service-oriented Production
IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology (IAICT) (Bali, 7. Juli 2020 - 8. Juli 2020)
DOI: 10.1109/IAICT50021.2020.9172010
URL: https://ieeexplore.ieee.org/document/9172010
BibTeX: Download
, :