Khalil Esper

Sonderforschungsbereich/Transregio 89 Invasives Rechnen Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Enforcing Safety Requirements of a Knee Orthosis Using Finite State Machines (2025) Lamberti P, Esper K, Spieck J, Velasco-Guillen RJ, Beckerle P, Teich J Conference contribution, Conference Contribution Run-time Requirement Enforcement of Safety Requirements of Human-Robot Interactions (2025) Esper K, Wildermann S, Teich J Conference contribution, Conference Contribution Response Range Optimization for Run-Time Requirement Enforcement on MPSoCs (2025) Esper K, Wildermann S, Teich J Conference contribution Range-Based Run-time Requirement Enforcement of Non-Functional Properties on MPSoCs (2024) Esper K, Wildermann S, Teich J Conference contribution, Original article History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs (2024) Esper K, Teich J Conference contribution, Conference Contribution Automatic Synthesis of FSMs for Enforcing Non-Functional Requirements on MPSoCs Using Multi-Objective Evolutionary Algorithms (2023) Esper K, Wildermann S, Teich J Journal article, Original article RAVEN: Reinforcement Learning for Generating Verifiable Run-time Requirement Enforcers for MPSoCs (2023) Esper K, Spieck J, Sixdenier PL, Wildermann S, Teich J Conference contribution, Original article Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers (2023) Spieck J, Sixdenier PL, Esper K, Wildermann S, Teich J Conference contribution, Conference Contribution Basics of Invasive Computing (2022) Teich J, Esper K, Falk J, Pourmohseni B, Schwarzer T, Wildermann S Book chapter / Article in edited volumes Invasive Computing (2022) Anantharajaiah N, Asfour T, Bader M, Bauer L, Becker J, Bischof S, Brand M, et al. Authored book