| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | B | conf |
FMCAD
|
| 2022 | — | conf |
ACL2
|
| 2013 | — | conf |
HICSS
|
| 2011 | — | conf |
ACL2
|
| 2008 | B | conf |
FMCAD
|
| 2006 | — | conf |
ACL2
|
| 2005 | — | conf |
CHARME
|
| 1997 | J | jnl |
IEEE Trans. Software Eng.
|
| 1997 | — | conf |
FME
|
| 1995 | J | jnl |
J. Comput. Secur.
|
| 1995 | — | conf |
CSFW
|
| 1994 | — | conf |
CSFW
|
| 1992 | — | conf |
TPCD
|
| 1992 | J | jnl |
Formal Aspects Comput.
|
| 1991 | — | conf |
Symposium on Testing, Analysis, and Verification
|
| 1991 | — | conf |
VDM Europe (2)
|
| 1990 | — | conf |
Formal Methods in Software Development
|
| 1989 | J | jnl |
J. Autom. Reason.
|
| 1989 | J | jnl |
J. Autom. Reason.
|
| 1989 | — | conf |
Symposium on Testing, Analysis, and Verification
|
| 1987 | J | jnl |
IEEE Trans. Software Eng.
|
| 1987 | — | conf |
S&P
|
| 1987 | J | jnl |
IEEE Trans. Software Eng.
|
| 1987 | — | conf |
S&P
|
| 1986 | — | conf |
S&P
|
| 1986 | — | conf |
S&P
|
| 1985 | — | conf |
S&P
|
| 1981 | J | jnl |
ACM SIGPLAN Notices
|
| 1981 | J | jnl |
ACM SIGPLAN Notices
|
| 1980 | — | conf |
ACM Annual Conference
|
| 1980 | — | conf |
SIGPLAN
|