Khalil Esper
Orcid: 0000-0002-6376-4337
According to our database1,
Khalil Esper
authored at least 8 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs.
Proceedings of the Fifth Workshop on Next Generation Real-Time Embedded Systems, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
Automatic Synthesis of FSMs for Enforcing Non-functional Requirements on MPSoCs Using Multi-objective Evolutionary Algorithms.
ACM Trans. Design Autom. Electr. Syst., November, 2023
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.
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.
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.
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).
Proceedings of the Second Workshop on Next Generation Real-Time Embedded Systems, 2021