| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | C | conf |
Software Engineering
|
| 2021 | C | conf |
Software Engineering
|
| 2020 | — | conf |
SE
|
| 2020 | C | conf |
Software Engineering (Workshops)
|
| 2019 | — | conf |
SE/SWM
|
| 2019 | — | conf |
FedCSIS (Position Papers)
|
| 2019 | C | ed. |
Software Engineering (Workshops)
|
| 2019 | C | conf |
Software Engineering (Workshops)
|
| 2017 | — | conf |
Automotive - Safety & Security
|
| 2015 | — | conf |
GI-Jahrestagung
|
| 2015 | — | conf |
GI-Jahrestagung
|
| 2015 | — | conf |
DPM/QASA@ESORICS
|
| 2012 | Misc | conf |
TASE
|
| 2012 | C | conf |
Software Engineering (Workshops)
|
| 2011 | Misc | conf |
TASE
|
| 2010 | J | jnl |
Arch. Formal Proofs
|
| 2009 | — | conf |
SBMF
|
| 2007 | — | — |
|
| 2005 | C | conf |
FORTE
|
| 2003 | — | conf |
Ershov Memorial Conference
|
| 2001 | — | conf |
FME
|
| 2001 | — | conf |
TPHOLs
|
| 1997 | — | conf |
ZUM
|