| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Art Sci. Eng. Program.
|
| 2018 | Misc | conf |
Ada-Europe
|
| 2016 | — | conf |
HASE
|
| 2015 | Misc | conf |
Ada-Europe
|
| 2015 | A | conf |
RTSS
|
| 2014 | — | conf |
HILT
|
| 2014 | — | conf |
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling.
HILT
|
| 2014 | — | ed. |
HILT
|
| 2014 | — | conf |
HILT
|
| 2013 | — | book |
|
| 2013 | — | conf |
HILT
|
| 2013 | — | ed. |
HILT
|
| 2013 | — | conf |
HILT
|
| 2012 | — | conf |
HILT
|
| 2012 | — | ed. |
HILT
|
| 2012 | — | conf |
HILT
|
| 2011 | — | conf |
SIGAda
|
| 2011 | — | conf |
SIGAda
|
| 2011 | Misc | conf |
Ada-Europe
|
| 2011 | — | conf |
OOPSLA Companion
|
| 2009 | — | conf |
SIGAda
|
| 2008 | — | conf |
SIGAda
|
| 2006 | — | book |
|
| 2006 | — | conf |
SIGAda
|
| 2004 | Misc | conf |
Ada-Europe
|
| 2001 | — | book |
|
| 2001 | — | conf |
SIGAda
|
| 2001 | — | conf |
SIGAda
|
| 1999 | — | ed. |
SIGAda
|
| 1999 | — | conf |
TOOLS (30)
|
| 1999 | — | conf |
SIGAda
|
| 1997 | — | book |
|
| 1996 | Misc | conf |
Ada-Europe
|
| 1993 | A | conf |
OOPSLA
|
| 1992 | — | conf |
TRI-Ada
|
| 1992 | — | conf |
TRI-Ada
|
| 1992 | J | jnl |
Commun. ACM
|
| 1992 | A | conf |
OOPSLA
|
| 1991 | — | conf |
TRI-Ada
|
| 1990 | — | conf |
TRI-Ada
|
| 1990 | C | conf |
SETA
|
| 1987 | — | conf |
WADAS
|
| 1987 | — | conf |
SIGAda
|
| 1982 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1982 | — | conf |
AdaTEC Conference on Ada
|