Khalil Esper

According to our database, Khalil Esper authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs.

Khalil Esper, Jürgen Teich

Proceedings of the Fifth Workshop on Next Generation Real-Time Embedded Systems, 2024

2023

Automatic Synthesis of FSMs for Enforcing Non-functional Requirements on MPSoCs Using Multi-objective Evolutionary Algorithms.

Khalil Esper, Stefan Wildermann, Jürgen Teich

ACM Trans. Design Autom. Electr. Syst., November, 2023

Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers.

Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

RAVEN: Reinforcement Learning for Generating Verifiable Run-Time Requirement Enforcers for MPSoCs.

Khalil Esper, Jan Spieck, Pierre-Louis Sixdenier, Stefan Wildermann, Jürgen Teich

Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

2022

Multi-Requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study.

Khalil Esper, Stefan Wildermann, Jürgen Teich

Proceedings of the Third Workshop on Next Generation Real-Time Embedded Systems, 2022

2021

Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.

Khalil Esper, Stefan Wildermann, Jürgen Teich

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

A Comparative Evaluation of Latency-Aware Energy Optimization Approaches in Many-Core Systems (Invited Paper).

Khalil Esper, Stefan Wildermann, Jürgen Teich

Proceedings of the Second Workshop on Next Generation Real-Time Embedded Systems, 2021