| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
ARES (Workshops 1)
|
| 2025 | J | jnl |
CoRR
|
| 2014 | J | jnl |
Softw. Qual. J.
|
| 2012 | B | conf |
PROFES
|
| 2012 | J | jnl |
Adv. Comput.
|
| 2012 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2012 | — | conf |
SwSTE
|
| 2011 | — | conf |
QSIC
|
| 2011 | A | conf |
ICST
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | — | conf |
ICST Workshops
|
| 2011 | — | conf |
SSV
|
| 2010 | — | conf |
SPLC Workshops
|
| 2010 | A | conf |
ICST
|
| 2010 | — | conf |
ECBS
|
| 2009 | — | conf |
QSIC
|
| 2009 | — | conf |
ICSE Companion
|
| 2009 | A | conf |
MoDELS
|
| 2008 | A | conf |
ICST
|
| 2008 | — | conf |
QSIC
|
| 2008 | — | conf |
TestCom/FATES
|
| 2008 | — | conf |
Haifa Verification Conference
|
| 2007 | J | jnl |
Softw. Syst. Model.
|
| 2007 | — | conf |
ESEC/SIGSOFT FSE
|
| 2007 | — | ed. |
DOSTA
|
| 2007 | — | conf |
QSIC
|
| 2006 | — | conf |
Haifa Verification Conference
|
| 2006 | — | conf |
MBT
|
| 2006 | — | conf |
Haifa Verification Conference
|
| 2006 | J | jnl |
LNCS Trans. Aspect Oriented Softw. Dev.
|
| 2006 | — | conf |
TAIC PART
|
| 2005 | — | conf |
EWSA
|
| 2005 | — | conf |
SwSTE
|
| 2005 | — | conf |
FATES
|
| 2005 | — | conf |
Haifa Verification Conference
|
| 2004 | A* | conf |
ASE
|
| 2003 | — | conf |
AOSD
|
| 2002 | — | conf |
FOCLASA
|
| 2001 | B | conf |
ICECCS
|
| 2001 | — | — |
|
| 2001 | J | jnl |
J. Univers. Comput. Sci.
|
| 2000 | — | conf |
DIPES
|
| 2000 | C | conf |
COORDINATION
|
| 1998 | C | conf |
ISORC
|