| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | — | conf |
FormaliSE@ICSE
|
| 2014 | J | jnl |
J. Syst. Softw.
|
| 2013 | — | conf |
CIbSE
|
| 2013 | — | conf |
WER
|
| 2013 | — | conf |
MDEBE@MoDELS
|
| 2013 | — | conf |
ER@BR
|
| 2012 | C | conf |
ABZ
|
| 2011 | J | jnl |
Innov. Syst. Softw. Eng.
|
| 2011 | — | conf |
CIbSE
|
| 2011 | — | conf |
WER
|
| 2011 | — | conf |
ITNG
|
| 2011 | — | conf |
MoDRE
|
| 2008 | J | jnl |
J. Simulation
|
| 2007 | — | conf |
JISBD
|
| 2006 | Misc | conf |
WSC
|
| 2006 | — | conf |
SBQS
|
| 2005 | — | conf |
ICEIS (3)
|
| 2005 | — | conf |
SBQS
|
| 2004 | — | conf |
SBSI
|
| 2004 | — | conf |
SBMF
|
| 2004 | — | conf |
SBMF
|
| 2003 | — | conf |
SBES
|
| 1998 | C | conf |
TIME
|