| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
ISSREW
|
| 2025 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Theory Pract. Log. Program.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | ch. |
The Practice of Formal Methods (I)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
SAFECOMP (Workshops)
|
| 2024 | — | conf |
ISSRE (Workshops)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | — | conf |
ICLP Workshops
|
| 2022 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Computer
|
| 2018 | J | jnl |
Computer
|
| 2017 | — | conf |
SAFECOMP Workshops
|
| 2015 | — | conf |
MILS@HiPEAC
|
| 2015 | C | conf |
KEOD
|
| 2013 | J | jnl |
IEEE Secur. Priv.
|
| 1998 | C | conf |
SSS
|
| 1996 | B | conf |
SAFECOMP
|