| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | C | conf |
ABZ
|
| 2024 | — | conf |
The Application of Formal Methods
|
| 2020 | C | conf |
FMICS
|
| 2018 | J | jnl |
J. Softw. Evol. Process.
|
| 2018 | C | conf |
ABZ
|
| 2018 | C | conf |
ABZ
|
| 2017 | J | jnl |
CoRR
|
| 2016 | J | jnl |
CoRR
|
| 2014 | J | jnl |
Sci. Comput. Program.
|
| 2014 | C | conf |
ABZ
|
| 2013 | — | conf |
SEFM Workshops
|
| 2013 | — | ch. |
Industrial Deployment of System Engineering Methods
|
| 2012 | C | conf |
ABZ
|
| 2010 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2008 | C | conf |
ABZ
|
| 2006 | C | conf |
ICFEM
|
| 2004 | J | jnl |
Tech. Sci. Informatiques
|
| 2003 | — | conf |
FME
|