| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | B | conf |
PRIMA
|
| 2025 | B | conf |
SAFECOMP
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A | conf |
EASE
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
SAFECOMP (Workshops)
|
| 2024 | — | conf |
ITSC
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Sensors
|
| 2023 | — | conf |
ICCT
|
| 2020 | — | conf |
SAFECOMP Workshops
|
| 2019 | — | conf |
ECC
|
| 2017 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2017 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2016 | — | conf |
CASE
|
| 2015 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2015 | — | conf |
ADHS
|
| 2015 | J | jnl |
IEEE Trans. Control. Syst. Technol.
|
| 2015 | — | conf |
CASE
|
| 2014 | — | conf |
WODES
|
| 2014 | J | jnl |
IEEE Trans. Control. Syst. Technol.
|
| 2014 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2014 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2014 | — | — |
|
| 2014 | — | conf |
CDC
|
| 2012 | — | conf |
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
CASE
|
| 2012 | C | conf |
ETFA
|
| 2012 | — | conf |
CDC
|
| 2011 | — | conf |
ICAART (1)
|
| 2011 | — | conf |
CASE
|
| 2011 | — | conf |
ICAART (Revised Selected Papers)
|
| 2011 | A* | conf |
ICRA
|