| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
Int. J. Inf. Sec.
|
| 2022 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
Discret. Event Dyn. Syst.
|
| 2016 | — | conf |
CDC
|
| 2016 | — | conf |
CDC
|
| 2015 | — | conf |
CDC
|
| 2015 | — | ch. |
Dependable Software Systems Engineering
|
| 2014 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2013 | C | conf |
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
ACC
|
| 2013 | — | conf |
CDC
|
| 2011 | — | conf |
CDC/ECC
|
| 2010 | — | conf |
Allerton
|
| 2007 | — | conf |
CDC
|