Khalil Esper

Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Wissenschaftliche Mitarbeitende

Adresse

Cauerstraße 1191058 Erlangen

Kontakt

E-Mail: khalil.esper@fau.de

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 (EMECS) Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU) – Germany Norwegian University of Science and Technology (NTNU) – Norway Master thesis – Fraunhofer IESE – Germany

2020-

PhD Candidate / Researcher – at Department of Computer Science 12 (Hardware/Software Co-Design), Friedrich-Alexander-Universität Erlangen-Nürnberg.

Research Projects

InvasIC: DFG Transregional Collaborative Research Centre 89 — Invasive Computing

Research Interests

Verification and model checking
Energy optimization on MPSoC
Real-time systems and embedded systems
Autonomic computing

Supervised Theses

Sascha H.: Runtime Requirement Enforcement of Non-Functional Requirements on MPSoCs Using Fuzzy Logic (BT) 2022
Iana S.: Feedback-Based Control of Non-functional Program Execution Properties on Linux (MP) 2023
Philipp L.: Runtime Requirement Enforcement of Functional and Non-Functional Requirements of a Knee Orthosis Based on a Digital Twin (MT) 2024
Avinash N.: Runtime Requirement Enforcement of Safety Properties of an Ankle Orthosis Based on a Digital Twin (MP) 2024
Zhiyi T.: Generation of Environment FSMs Using Machine Learning Techniques (MP) 2025
Moustafa A.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction Based on a Digital Twin (MP) 2025
Florian K.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction (BT) 2025

Teaching

SS 2025

Approximate Computing

WS 2024/2025

Eingebettete Systeme

SS 2024

Approximate Computing

WS 2023/2024

Eingebettete Systeme

SS 2023

Approximate Computing

WS 2022/2023

Eingebettete Systeme

WS 2021/2022

Eingebettete Systeme

Publications

2025

Esper K., Wildermann S., Teich J.:
Response Range Optimization for Run-Time Requirement Enforcement on MPSoCs
30th Asia and South Pacific Design Automation Conference ASP-DAC 2025 (Tokyo, 20. Januar 2025 – 23. Januar 2025)
In: Proceedings of the 30th Asia and South Pacific Design Automation Conference 2025
DOI: 10.1145/3658617.3697552
BibTeX: Download
Esper K., Wildermann S., Teich J.:
Run-time Requirement Enforcement of Safety Requirements of Human-Robot Interactions
International Conference on Automation, Robotics, and Applications (Zagreb, 12. Februar 2025 – 14. Februar 2025)
In: 2025 11th International Conference on Automation, Robotics, and Applications (ICARA) 2025
DOI: 10.1109/ICARA64554.2025.10977632
URL: https://ieeexplore.ieee.org/document/10977632
BibTeX: Download
Lamberti P., Esper K., Spieck J., Velasco-Guillen RJ., Beckerle P., Teich J.:
Enforcing Safety Requirements of a Knee Orthosis Using Finite State Machines
2nd International Conference on Integrated Systems in Medical Technologies (ISMT) (Erlangen, 25. September 2024 – 26. September 2024)
In: 2024 2nd International Conference on Integrated Systems in Medical Technologies (ISMT) 2025
DOI: 10.1109/ISMT62540.2024.10985961
URL: https://ieeexplore.ieee.org/document/10985961
BibTeX: Download

2024

Esper K., Teich J.:
History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs
Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024) (Munich, 17. Januar 2024 – 19. Januar 2024)
In: Patrick Meumeu Yomsi, Stefan Wildermann (Hrsg.): Fifth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2024), Saarbrücken/Wadern: 2024
DOI: 10.4230/OASIcs.NG-RES.2024.4
URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2024.4
BibTeX: Download
Esper K., Wildermann S., Teich J.:
Range-Based Run-time Requirement Enforcement of Non-Functional Properties on MPSoCs
Design, Automation and Test in Europe Conference (Valencia, 25. März 2024 – 27. März 2024)
In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2024 2024
DOI: 10.23919/DATE58400.2024.10546881
URL: https://ieeexplore.ieee.org/document/10546881
BibTeX: Download

2023

Esper K., Spieck J., Sixdenier PL., Wildermann S., Teich J.:
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
Esper K., Wildermann S., Teich J.:
Automatic Synthesis of FSMs for Enforcing Non-Functional Requirements on MPSoCs Using Multi-Objective Evolutionary Algorithms
In: ACM Transactions on Design Automation of Electronic Systems 28 (2023), S. 1-20
ISSN: 1084-4309
DOI: 10.1145/3617832
BibTeX: Download
Spieck J., Sixdenier PL., Esper K., Wildermann S., Teich J.:
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) (Hamburg, 21. September 2023 – 23. September 2023)
In: 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) 2023
DOI: 10.1145/3610579.3611091
BibTeX: Download

2022

Anantharajaiah N., Asfour T., Bader M., Bauer L., Becker J., Bischof S., Brand M., Bungartz HJ., Eichler C., Esper K., Falk J., Fasfous N., Freiling F., Fried A., Gerndt M., Glaß M., Gonzalez J., Hannig F., Heidorn C., Henkel J., Herkersdorf A., Herzog B., John J., Hönig T., Hundhausen F., Khdr H., Langer T., Lenke O., Lesniak F., Lindermayr A., Listl A., Maier S., Megow N., Mettler M., Müller-Gritschneder D., Nassar H., Paus F., Pöppl A., Pourmohseni B., Rabenstein J., Raffeck P., Rapp M., Rivas SN., Sagi M., Schirrmacher F., Schlichtmann U., Schmaus F., Schröder-Preikschat W., Schwarzer T., Sikal MB., Simon B., Snelting G., Spieck J., Srivatsa A., Stechele W., Teich J., Comprés Ureña IA., Verbauwhede I., Walter D., Wild T., Wildermann S., Wille M., Witterauf M., Zhang L.:
Invasive Computing
FAU University Press, 2022
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
BibTeX: Download
Esper K., Wildermann S., Teich J.:
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
Teich J., Esper K., Falk J., Pourmohseni B., Schwarzer T., Wildermann S.:
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

Esper K., Wildermann S., Teich J.:
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
Esper K., Wildermann S., Teich J.:
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

Esper K., Schnicke F.:
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