| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | B | conf |
SAFECOMP
|
| 2019 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2017 | B | conf |
SAFECOMP
|
| 2014 | — | — |
|
| 2013 | — | conf |
WCET
|
| 2011 | B | conf |
ECRTS
|
| 2011 | J | jnl |
SIGBED Rev.
|
| 2010 | — | conf |
WCET
|
| 2010 | B | conf |
VMCAI
|
| 2009 | — | conf |
WCET
|
| 2005 | — | conf |
Leipziger Informatik-Tage
|
| 2005 | — | conf |
Leipziger Informatik-Tage
|