Author of the publication

GENEE: a benchmark generator for static analysis tools of energy-constrained cyber-physical systems.

, , and . Bench@CPSIoTWeek, page 1-6. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Energy-Constrained Real-Time Systems and Their Worst-Case Analyses.. University of Erlangen-Nuremberg, Germany, (2020)FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems., , , and . ECRTS, volume 262 of LIPIcs, page 6:1-6:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States., , and . LCTES, page 83-94. ACM, (2024)Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems., , , and . WCET, volume 72 of OASIcs, page 4:1-4:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis., , , and . RTAS, page 318-330. IEEE, (2019)Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations., , , , , and . SBESC, page 80-83. IEEE Computer Society, (2015)GENEE: a benchmark generator for static analysis tools of energy-constrained cyber-physical systems., , and . Bench@CPSIoTWeek, page 1-6. ACM, (2019)Energieverbrauchsanalyse mittels impliziter Pfadaufzählung und genetischer Algorithmen.. Echtzeit, page 109-118. Springer, (2015)Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems.. Denert Award, page 227-247. Springer, (2020)Annotate once - analyze anywhere: context-aware WCET analysis by user-defined abstractions., , , and . LCTES, page 54-66. ACM, (2021)