| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | C | conf |
MEMOCODE
|
| 2016 | C | conf |
ICTSS
|
| 2014 | B | conf |
VISSOFT
|
| 2012 | J | jnl |
Adv. Comput.
|
| 2011 | — | conf |
QSIC
|
| 2011 | — | — |
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | — | conf |
SSV
|
| 2010 | — | conf |
SPLC Workshops
|
| 2010 | A | conf |
ICST
|
| 2010 | — | conf |
TAIC PART
|
| 2010 | — | conf |
ECBS
|
| 2009 | — | conf |
ICSE Companion
|
| 2008 | — | conf |
QSIC
|
| 2008 | — | conf |
TestCom/FATES
|
| 2008 | — | conf |
Haifa Verification Conference
|