| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
IEEE Softw.
|
| 2019 | — | conf |
From Software Engineering to Formal Methods and Tools, and Back
|
| 2019 | — | conf |
REFSQ Workshops
|
| 2019 | — | conf |
From Software Engineering to Formal Methods and Tools, and Back
|
| 2016 | — | conf |
MODELSWARD (Revised Selected Papers)
|
| 2016 | — | conf |
AMARETTO@MODELSWARD
|
| 2015 | — | conf |
ICSOFT-EA
|
| 2010 | Misc | conf |
QUATIC
|
| 2010 | Misc | conf |
SAC
|
| 2010 | — | conf |
QSIC
|
| 2009 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2008 | J | jnl |
ERCIM News
|
| 2008 | J | jnl |
ERCIM News
|
| 2008 | A* | conf |
ASE
|
| 2005 | J | jnl |
Comput. Syst. Sci. Eng.
|
| 2004 | — | conf |
VVEIS
|