Khalil Esper › Lehrstuhl für Informatik 12

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 2017-2018 Technical University of Kaiserslautern – Germany 2018 Norwegian University of Science and Technology (NTNU) – Norway 2019 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 properties on MPSoC

Teaching

WS 2022/2023
WS 2021/2022

Eingebettete Systeme
Eingebettete Systeme

Publications

Find me on ResearchGate.

2023

Esper K., Spieck J., Sixdenier PAE., 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

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