| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | A* | conf |
ASE
|
| 2023 | A | conf |
MSR
|
| 2022 | C | conf |
QRS
|
| 2019 | — | conf |
IWSC
|
| 2018 | — | conf |
ESEC/SIGSOFT FSE
|
| 2018 | — | conf |
PLAS@CCS
|
| 2018 | — | conf |
SAFECOMP Workshops
|
| 2018 | C | conf |
QRS
|
| 2017 | — | conf |
IWSC
|
| 2015 | A | conf |
SANER
|
| 2015 | J | jnl |
NII Shonan Meet. Rep.
|
| 2015 | A* | conf |
ASE
|
| 2012 | — | conf |
CSMR
|
| 2012 | J | jnl |
Int. J. Serv. Sci. Manag. Eng. Technol.
|
| 2011 | — | conf |
IWSDS
|
| 2011 | J | jnl |
J. Ambient Intell. Smart Environ.
|
| 2010 | Misc | conf |
IWSEC
|
| 2010 | B | conf |
FASE
|
| 2009 | — | conf |
ISPAN
|
| 2008 | A | conf |
ICWS
|
| 2008 | — | conf |
WCRE
|
| 2006 | J | jnl |
Syst. Comput. Jpn.
|
| 2006 | A* | conf |
ICSE
|
| 2004 | — | conf |
WWW (Alternate Track Papers & Posters)
|
| 2003 | — | conf |
ISSS
|
| 2003 | — | conf |
WWW (Posters)
|
| 2002 | — | conf |
ISSS
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1998 | — | conf |
DARS
|
| 1997 | A* | conf |
ASE
|
| 1994 | — | conf |
CTRS
|