| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2018 | — | conf |
MoDELS (Workshops)
|
| 2010 | — | conf |
NASA Formal Methods
|
| 2007 | — | ed. |
ReMo2V
|
| 2007 | B | conf |
REFSQ
|
| 2007 | B | conf |
RCIS
|
| 2006 | J | jnl |
Softw. Process. Improv. Pract.
|
| 2006 | — | conf |
CAiSE Forum
|
| 2006 | — | conf |
ReMo2V
|
| 2006 | — | conf |
ReMo2V
|
| 2004 | — | ch. |
Formal Methods for Embedded Distributed Systems
|
| 2004 | — | book |
Formal Methods for Embedded Distributed Systems
|
| 2004 | — | ch. |
Formal Methods for Embedded Distributed Systems
|
| 2004 | — | ch. |
Formal Methods for Embedded Distributed Systems
|
| 2002 | A | conf |
RE
|
| 2001 | — | conf |
HASE
|
| 1999 | — | ed. |
ESEC / SIGSOFT FSE
|
| 1998 | B | conf |
COMPSAC
|
| 1991 | — | conf |
TAPSOFT, Vol.2
|
| 1989 | — | conf |
IFIP Congress
|
| 1987 | A | conf |
STACS
|
| 1986 | — | conf |
IFIP Congress
|
| 1981 | J | jnl |
Softw. Pract. Exp.
|
| 1980 | — | conf |
IFIP Congress
|
| 1977 | — | conf |
IFIP Congress
|