| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | C | conf |
ABZ
|
| 2018 | — | conf |
Models: Concepts, Theory, Logic, Reasoning and Semantics
|
| 2017 | J | jnl |
Softw. Syst. Model.
|
| 2017 | J | jnl |
Requir. Eng.
|
| 2015 | — | conf |
HASE
|
| 2015 | J | jnl |
Tech. Sci. Informatiques
|
| 2014 | — | conf |
HASE
|
| 2013 | — | conf |
APSEC (1)
|
| 2012 | C | conf |
APSEC
|
| 2011 | — | conf |
HASE
|
| 2011 | — | conf |
NASA Formal Methods
|
| 2011 | C | conf |
APSEC
|
| 2011 | J | jnl |
Requir. Eng.
|
| 2010 | A | conf |
RE
|
| 2009 | J | jnl |
CoRR
|
| 2005 | B | conf |
IFM
|
| 2004 | — | conf |
PPPJ
|
| 2002 | — | conf |
PPPJ/IRE
|
| 1997 | A* | conf |
ICSE
|
| 1995 | — | conf |
FPLE
|
| 1995 | — | conf |
CSEE
|
| 1995 | A | conf |
RE
|
| 1994 | — | conf |
CSEE
|
| 1994 | — | conf |
ICSM
|
| 1992 | — | conf |
PPIG (2)
|
| 1991 | — | conf |
CSEE
|
| 1990 | — | conf |
CSEE
|
| 1984 | A* | conf |
ICSE
|