Basics of Invasive Computing (A01) (SFB/TRR 89 InvasIC (A01))

Third Party Funds Group - Sub project


Acronym: SFB/TRR 89 InvasIC (A01)

Start date : 01.07.2010

End date : 31.12.2022

Website: http://invasic.informatik.uni-erlangen.de/en/tp_a1_PhIII.php

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Enforcement of Non-Functional Execution Properties of Programs on MPSoCs using Finite State Machines (2026) Esper K Thesis Run-time Requirement Enforcement of Safety Requirements of Human-Robot Interactions (2025) Esper K, Wildermann S, Teich J Conference contribution, 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 Basics of Invasive Computing (2022) Teich J, Esper K, Falk J, Pourmohseni B, Schwarzer T, Wildermann S Book chapter / Article in edited volumes Multi-requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study (2022) Esper K, Wildermann S, Teich J Conference contribution, Conference Contribution Enforcement FSMs - Specification and Verification of Non-Functional Properties of Program Executions on MPSoCs (2021) Esper K, Wildermann S, Teich J Conference contribution, Conference Contribution A Comparative Evaluation of Latency-Aware Energy Optimization Approaches in Many-Core Systems (2021) Esper K, Wildermann S, Teich J Conference contribution, Conference Contribution