Khalil Esper

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)
  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
• Lamberti P., Esper K., Spieck J., Velasco-Guillen RJ., Beckerle P., Teich J.:
  Enforcing Safety Requirements of a Knee Orthosis Using Finite State Machines
  Integrated Systems in Medical Technologies (ISMT) (Erlangen, 25. September 2024 - 26. September 2024)
  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