| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
ICC
|
| 2025 | — | conf |
CCNC
|
| 2025 | J | jnl |
IEEE Access
|
| 2022 | — | — |
|
| 2021 | C | conf |
VEHITS
|
| 2021 | — | conf |
SafeAI@AAAI
|
| 2020 | J | jnl |
CoRR
|
| 2019 | — | conf |
AISafety@IJCAI
|
| 2019 | C | conf |
IV
|
| 2019 | — | conf |
ICSE (Companion Volume)
|
| 2019 | — | conf |
SafeAI@AAAI
|
| 2019 | C | conf |
APSEC
|
| 2018 | — | conf |
ITSC
|
| 2018 | — | conf |
ITSC
|
| 2018 | — | conf |
ACCV Workshops
|
| 2018 | — | conf |
SAFECOMP Workshops
|
| 2017 | — | conf |
GI-Jahrestagung
|
| 2016 | — | conf |
Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming.
VNC
|