| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | — | conf |
ARCH
|
| 2020 | — | conf |
ARCH
|
| 2019 | J | jnl |
CoRR
|
| 2018 | — | conf |
MT@CPSWeek
|
| 2017 | — | conf |
Objective functions for falsification of signal temporal logic properties in cyber-physical systems.
CASE
|
| 2016 | J | jnl |
IEEE Trans. Control. Syst. Technol.
|
| 2015 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2015 | J | jnl |
IEEE Trans. Control. Syst. Technol.
|
| 2014 | J | jnl |
IEEE Trans. Control. Syst. Technol.
|
| 2014 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2014 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2012 | J | jnl |
IEEE Trans. Control. Syst. Technol.
|
| 2012 | — | conf |
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
CASE
|
| 2012 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2012 | C | conf |
ETFA
|
| 2012 | — | — |
|
| 2012 | — | conf |
CDC
|
| 2011 | — | conf |
CASE
|
| 2011 | — | conf |
ICAART (1)
|
| 2011 | — | conf |
CASE
|
| 2011 | C | conf |
ETFA
|
| 2011 | J | jnl |
IEEE Trans Autom. Sci. Eng.
|
| 2011 | — | conf |
ICAART (Revised Selected Papers)
|
| 2010 | — | conf |
CASE
|
| 2010 | — | conf |
CASE
|
| 2010 | — | conf |
WODES
|