| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2024 | J | jnl |
Proc. ACM Program. Lang.
|
| 2024 | J | jnl |
Proc. ACM Program. Lang.
|
| 2024 | B | conf |
SAS
|
| 2023 | B | conf |
SAS
|
| 2023 | J | jnl |
Proc. ACM Program. Lang.
|
| 2022 | B | conf |
VMCAI
|
| 2021 | J | jnl |
Formal Methods Syst. Des.
|
| 2021 | A* | conf |
ICSE
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A | conf |
RTAS
|
| 2021 | — | conf |
ICSE (Companion Volume)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A | conf |
RAID
|
| 2020 | J | jnl |
CoRR
|
| 2020 | B | conf |
IFM
|
| 2020 | B | conf |
SAS
|
| 2020 | J | jnl |
CoRR
|
| 2018 | B | conf |
LPAR
|
| 2017 | — | conf |
NFM
|
| 2017 | J | jnl |
CoRR
|
| 2016 | C | conf |
SCAM
|
| 2016 | C | conf |
ABZ
|
| 2015 | C | conf |
FMICS
|
| 2015 | B | conf |
LPAR
|
| 2015 | C | conf |
VECoS
|
| 2014 | — | conf |
TAP@STAF
|
| 2014 | — | conf |
FTSCS
|
| 2012 | A | conf |
RTSS
|
| 2012 | J | jnl |
SIGBED Rev.
|
| 2012 | — | conf |
HPCS
|
| 2011 | — | conf |
ISORC Workshops
|
| 2011 | — | conf |
HASE
|
| 2010 | — | conf |
ICE
|
| 2010 | — | conf |
LoCoCo
|
| 2009 | — | conf |
IIES@EuroSys
|
| 2009 | — | — |
|
| 2008 | A | conf |
IEEE Real-Time and Embedded Technology and Applications Symposium
|