Khalil Esper

Khalil Esper, M. Sc.

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

Raum 02.129-128
Cauerstrasse 11
91058 Erlangen

Telefon: +49 9131 85-67342
Faxnummer: +49 9131 85-25149
E-Mail: khalil.esper@fau.de
Webseite: https://www.cs12.tf.fau.de/person/khalil-esper/

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

Open Theses

Generation and optimization of enforcers to satisfy requirements on MPSoCs

Teaching

SS 2025
WS 2024/2025
SS 2024
WS 2023/2024
SS 2023
WS 2022/2023
WS 2021/2022

Approximate Computing
Eingebettete Systeme
Approximate Computing
Eingebettete Systeme
Approximate Computing
Eingebettete Systeme
Eingebettete Systeme

Publications

Find me on ResearchGate.

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)
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