| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
IEEE Internet Things J.
|
| 2021 | — | conf |
ITSC
|
| 2021 | C | conf |
ETFA
|
| 2020 | C | conf |
ETFA
|
| 2019 | — | — |
|
| 2018 | — | conf |
ITSC
|
| 2017 | C | conf |
ETFA
|
| 2017 | — | conf |
GI-Jahrestagung
|
| 2017 | — | conf |
VNC
|
| 2016 | — | conf |
Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming.
VNC
|
| 2015 | — | conf |
ICARA
|
| 2013 | C | conf |
IECON
|