The following publications are possibly variants of this publication:
- Run-Time Enforcement of Non-functional Program Properties on MPSoCsJürgen Teich, Pouya Mahmoody, Behnaz Pourmohseni, Sascha Roloff, Wolfgang Schröder-Preikschat, Stefan Wildermann. BIRTHDAY 2021: 125-149 [doi]
- Multi-Requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case StudyKhalil Esper, Stefan Wildermann, Jürgen Teich. hipeac 2022: [doi]
- RAVEN: Reinforcement Learning for Generating Verifiable Run-Time Requirement Enforcers for MPSoCsKhalil Esper, Jan Spieck, Pierre-Louis Sixdenier, Stefan Wildermann, Jürgen Teich. hipeac 2023: [doi]
- Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCsKhalil Esper, Stefan Wildermann, Jürgen Teich. memocode 2021: 21-31 [doi]
- Automatic Synthesis of FSMs for Enforcing Non-functional Requirements on MPSoCs Using Multi-objective Evolutionary AlgorithmsKhalil Esper, Stefan Wildermann, Jürgen Teich. todaes, 28(6), November 2023. [doi]