Khalil Esper

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. January 2024 - 19. January 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.:
  Methods for Generating Response Ranges for Run-time Requirement Enforcement of Non-Functional Properties on MPSoCs
  Design, Automation and Test in Europe Conference (Valencia, 24. March 2024 - 27. March 2024)
  BibTeX: Download

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. January 2023 - 18. January 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), p. 1-20
  ISSN: 1084-4309
  DOI: 10.1145/3617832
  BibTeX: Download
• Spieck J., Sixdenier PAE., 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. June 2022 - 22. June 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 (ed.): Invasive Computing, FAU University Press, 2022, p. 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. January 2021 - 20. January 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. July 2020 - 8. July 2020)
  DOI: 10.1109/IAICT50021.2020.9172010
  URL: https://ieeexplore.ieee.org/document/9172010
  BibTeX: Download