| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | — | conf |
SysCon
|
| 2014 | C | conf |
ICSEng
|
| 2014 | A | conf |
ER
|
| 2014 | — | conf |
SAFECOMP Workshops
|
| 2014 | — | conf |
NASA Formal Methods
|
| 2014 | — | conf |
AMT@MoDELS
|
| 2013 | A | conf |
TACAS
|
| 2013 | B | conf |
ICSR
|
| 2012 | — | conf |
ICMT@TOOLS
|
| 2012 | B | conf |
ICECCS
|
| 2011 | — | conf |
AMMSE
|
| 2010 | — | conf |
EVOL/IWPSE
|
| 2010 | — | conf |
WRLA
|
| 2009 | — | conf |
LDTA
|