| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2003 | — | conf |
MBMV
|
| 2001 | J | jnl |
Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation).
Informationstechnik Tech. Inform.
|
| 2000 | — | conf |
MBMV
|
| 1995 | A* | conf |
DAC
|
| 1993 | J | jnl |
IEEE Trans. Very Large Scale Integr. Syst.
|
| 1992 | J | jnl |
Integr.
|
| 1992 | — | conf |
Synthesis for Control Dominated Circuits
|
| 1991 | — | conf |
EURO-DAC
|
| 1991 | A* | conf |
DAC
|
| 1991 | J | jnl |
Integr.
|
| 1991 | J | jnl |
Integr.
|
| 1989 | — | conf |
EUROCAST
|
| 1989 | — | — |
|
| 1988 | J | jnl |
Microprocess. Microprogramming
|
| 1988 | — | conf |
GI Jahrestagung (2)
|
| 1987 | J | jnl |
Microprocess. Microprogramming
|
| 1980 | — | conf |
GI Jahrestagung
|