| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | — | conf |
IMBSA
|
| 2016 | — | conf |
MILS@HiPEAC
|
| 2016 | — | conf |
ISoLA (1)
|
| 2016 | — | conf |
WICSA
|
| 2014 | — | conf |
HILT
|
| 2014 | — | conf |
EUROMICRO-SEAA
|
| 2014 | — | conf |
REACTION
|
| 2014 | — | ed. |
ACVI@MoDELS
|
| 2014 | — | conf |
ACVI@MoDELS
|
| 2012 | J | jnl |
Dagstuhl Reports
|
| 2012 | — | book |
|
| 2011 | B | conf |
ICECCS
|
| 2010 | J | jnl |
IEEE Secur. Priv.
|
| 2009 | J | jnl |
SIGBED Rev.
|
| 2009 | B | conf |
ICECCS
|
| 2009 | Misc | conf |
Ada-Europe
|
| 2009 | B | conf |
ICECCS
|
| 2008 | — | conf |
NTMS
|
| 2008 | B | conf |
ICECCS
|
| 2008 | C | conf |
IEEE International Workshop on Rapid System Prototyping
|
| 2008 | C | conf |
ISORC
|
| 2008 | J | jnl |
CoRR
|
| 2007 | — | conf |
AOM@AOSD
|
| 2007 | B | conf |
ICECCS
|
| 2007 | J | jnl |
SIGBED Rev.
|
| 2005 | — | conf |
HSCC
|
| 2004 | — | conf |
IFIP-WADL
|
| 2004 | C | conf |
ICFEM
|
| 2004 | — | conf |
IFIP-WADL
|
| 2001 | A* | conf |
ICSE
|
| 1999 | — | conf |
ICSM
|
| 1998 | — | conf |
CDS
|
| 1998 | J | jnl |
IEE Proc. Softw.
|
| 1997 | — | conf |
WWCA
|
| 1997 | — | conf |
TOOLS (23)
|
| 1993 | — | conf |
TRI-Ada
|
| 1993 | — | conf |
ISPW
|
| 1993 | — | conf |
ISPW
|
| 1993 | — | conf |
ICSP
|
| 1993 | J | jnl |
J. Syst. Integr.
|
| 1992 | — | conf |
SDE
|
| 1991 | — | ed. |
SCM
|
| 1990 | — | conf |
ISPW
|
| 1989 | — | conf |
ISPW
|
| 1989 | — | conf |
ISPW
|
| 1988 | J | jnl |
Softw. Pract. Exp.
|
| 1988 | J | jnl |
IEEE Expert
|
| 1988 | J | jnl |
IEEE Softw.
|
| 1988 | — | conf |
SCM
|
| 1988 | — | conf |
SCM
|
| 1987 | A* | conf |
ICSE
|
| 1987 | — | conf |
COMPCON
|
| 1987 | J | jnl |
ACM SIGPLAN Notices
|
| 1987 | J | jnl |
Computer
|
| 1984 | — | conf |
Programmierumgebungen und Compiler
|
| 1981 | A* | conf |
ICSE
|
| 1981 | J | jnl |
IEEE Trans. Software Eng.
|
| 1977 | — | conf |
AFIPS National Computer Conference
|