| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2005 | J | jnl |
LOG IN
|
| 2005 | — | conf |
GI Jahrestagung (1)
|
| 2005 | J | jnl |
LOG IN
|
| 2001 | — | conf |
TOSCA
|
| 2000 | J | jnl |
Inform. Forsch. Entwickl.
|
| 1999 | J | jnl |
Inf. Softw. Technol.
|
| 1998 | B | conf |
SAFECOMP
|
| 1995 | J | jnl |
Softw. Qual. J.
|
| 1995 | J | jnl |
Softw. Test. Verification Reliab.
|
| 1995 | J | jnl |
Softw. Qual. J.
|
| 1994 | C | conf |
SEKE
|
| 1993 | J | jnl |
Inf. Softw. Technol.
|
| 1993 | J | jnl |
Inf. Softw. Technol.
|
| 1992 | — | conf |
Informatik zwischen Wissenschaft und Gesellschaft
|
| 1992 | — | conf |
IFIP Congress (2)
|
| 1992 | — | conf |
Testen, Analysieren und Verifizieren von Software
|
| 1990 | J | jnl |
Softw. Eng. J.
|
| 1990 | — | conf |
ICSI
|
| 1987 | J | jnl |
Inform. Spektrum
|
| 1983 | — | conf |
SIGSOFT
|
| 1981 | A* | conf |
ICSE
|
| 1981 | — | conf |
Werkzeuge der Programmiertechnik
|
| 1980 | C | conf |
Software Engineering
|