| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
Des. Autom. Embed. Syst.
|
| 2023 | — | conf |
ARCS
|
| 2022 | — | conf |
SBESC
|
| 2021 | — | conf |
Checkmate@CCS
|
| 2021 | — | conf |
HICSS
|
| 2021 | — | conf |
APSys
|
| 2021 | C | conf |
ISORC
|
| 2019 | — | conf |
GENEE: a benchmark generator for static analysis tools of energy-constrained cyber-physical systems.
Bench@CPSIoTWeek
|
| 2019 | — | conf |
WCET
|
| 2018 | — | conf |
WCET
|
| 2017 | A | conf |
RTAS
|
| 2017 | A | conf |
RTAS
|
| 2017 | — | conf |
Echtzeit
|
| 2014 | — | conf |
Informatiktage
|