| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | — | conf |
From Software Engineering to Formal Methods and Tools, and Back
|
| 2016 | C | conf |
SPICE
|
| 2016 | — | conf |
MODELSWARD (Revised Selected Papers)
|
| 2016 | — | conf |
AMARETTO@MODELSWARD
|
| 2015 | — | conf |
ICSOFT-EA
|
| 2015 | A | conf |
ESEM
|
| 2014 | — | conf |
ICSOFT EA
|
| 2014 | Misc | conf |
QUATIC
|
| 2014 | — | conf |
ICSOFT (Selected Papers)
|
| 2010 | Misc | conf |
QUATIC
|
| 2010 | — | conf |
QSIC
|