| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
Engineering Safe and Trustworthy Cyber Physical Systems
|
| 2025 | J | jnl |
npj Digit. Medicine
|
| 2025 | — | conf |
EDCC-C
|
| 2024 | J | jnl |
Softw.
|
| 2024 | — | ed. |
EDCC Workshops
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | A | conf |
DATE
|
| 2023 | — | conf |
SoSE
|
| 2023 | — | conf |
SESoS
|
| 2023 | — | conf |
SAFECOMP Workshops
|
| 2022 | B | conf |
SAFECOMP
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
HCI (45)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | ed. |
EDCC Workshops
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2021 | — | conf |
ICST Workshops
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | ed. |
EDCC Workshops
|
| 2021 | Misc | conf |
EDCC
|
| 2021 | A | conf |
DATE
|
| 2021 | — | conf |
AISafety@IJCAI
|
| 2020 | — | ed. |
EDCC Workshops
|
| 2019 | B | conf |
SAFECOMP
|
| 2019 | J | jnl |
ERCIM News
|
| 2019 | — | conf |
Engineering and Hardening of Functional Fail-Operational Architectures for Highly Automated Driving.
ISSRE Workshops
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
SPLC (A)
|
| 2019 | — | conf |
DSN Workshops
|
| 2018 | Misc | conf |
EDCC
|
| 2018 | B | conf |
SAFECOMP
|
| 2018 | — | conf |
SAFECOMP Workshops
|
| 2018 | B | conf |
SAFECOMP
|
| 2017 | B | conf |
SAFECOMP
|
| 2017 | — | conf |
SAFECOMP Workshops
|
| 2016 | — | conf |
DSN Workshops
|
| 2015 | B | conf |
SPLC
|
| 2013 | — | — |
|
| 2013 | C | conf |
Software Engineering (Workshops)
|
| 2013 | — | conf |
ISSRE (Supplemental Proceedings)
|
| 2012 | — | conf |
Automotive - Safety & Security
|
| 2010 | J | jnl |
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.
ACM Trans. Embed. Comput. Syst.
|
| 2010 | B | conf |
ICECCS
|
| 2010 | — | conf |
MoDELS (Workshops)
|
| 2007 | — | conf |
AINA Workshops (2)
|
| 2007 | C | conf |
ICFEM
|