| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
SFPVV
|
| 2024 | B | conf |
IEEE Big Data
|
| 2023 | — | conf |
ISE@APSEC
|
| 2022 | J | jnl |
IEEE Trans. Software Eng.
|
| 2021 | — | conf |
QRS Companion
|
| 2020 | — | conf |
SOFL+MSVL
|
| 2019 | — | conf |
FM Workshops (2)
|
| 2019 | J | jnl |
NII Shonan Meet. Rep.
|
| 2019 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2019 | — | conf |
SOFL+MSVL
|
| 2019 | J | jnl |
CoRR
|
| 2019 | C | conf |
ICTSS
|
| 2019 | — | conf |
TAAI
|
| 2018 | — | conf |
COMPSAC (1)
|
| 2018 | — | conf |
CSDM Asia
|
| 2018 | — | conf |
SOFL+MSVL
|
| 2018 | — | ed. |
IMPEX/FM&MDD
|
| 2018 | — | conf |
GCCE
|
| 2017 | B | conf |
ICCCN
|
| 2017 | — | conf |
SEFM Workshops
|
| 2016 | J | jnl |
J. Inf. Process.
|
| 2016 | J | jnl |
NII Shonan Meet. Rep.
|
| 2016 | C | conf |
APSEC
|
| 2016 | J | jnl |
NII Shonan Meet. Rep.
|
| 2015 | — | conf |
COMPSAC Workshops
|
| 2015 | — | conf |
CyPhy
|
| 2015 | — | conf |
SOFL+MSVL
|
| 2015 | — | conf |
CPSNA
|
| 2015 | B | conf |
ICECCS
|
| 2015 | J | jnl |
Simul.
|
| 2015 | Misc | conf |
SETTA
|
| 2015 | J | jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
|
| 2015 | B | conf |
FM
|
| 2015 | Misc | conf |
SAC
|
| 2014 | C | conf |
ICFEM
|
| 2014 | — | conf |
Specification, Algebra, and Software
|
| 2014 | — | conf |
CSDM Asia
|
| 2014 | — | conf |
SOFL+MSVL
|
| 2013 | — | conf |
SOFL+MSVL
|
| 2013 | J | jnl |
Sci. Comput. Program.
|
| 2013 | — | conf |
SpringSim (TMS-DEVS)
|
| 2013 | B | conf |
IFM
|
| 2013 | — | conf |
ACES-MB@MoDELS
|
| 2013 | — | conf |
SoICT
|
| 2013 | — | conf |
APSEC (1)
|
| 2013 | — | conf |
QASBA@ISSTA
|
| 2012 | J | jnl |
Comput. Sci. Inf. Syst.
|
| 2012 | — | conf |
SOFL
|
| 2012 | B | conf |
RTCSA
|
| 2012 | C | conf |
APSEC
|
| 2011 | C | conf |
APSEC
|
| 2011 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2011 | — | conf |
AST@ICSE
|
| 2011 | C | conf |
APSEC
|
| 2011 | J | jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
|
| 2011 | — | conf |
IWSM/Mensura
|
| 2011 | — | conf |
ICST Workshops
|
| 2010 | — | conf |
SSIRI
|
| 2010 | — | conf |
COMPSAC Workshops
|
| 2010 | C | conf |
SoMeT
|
| 2010 | B | conf |
SPLC
|
| 2010 | J | jnl |
it Inf. Technol.
|
| 2010 | — | conf |
WWV
|
| 2010 | B | conf |
SPLC
|
| 2010 | — | conf |
SEUS
|
| 2010 | Misc | conf |
SAC
|
| 2010 | B | conf |
SEFM
|
| 2009 | A* | conf |
ASE
|
| 2009 | C | conf |
SEKE
|
| 2009 | Misc | conf |
SAC
|
| 2009 | C | conf |
APSEC
|
| 2009 | — | conf |
SSV
|
| 2009 | — | conf |
EA@ICSE
|
| 2008 | C | conf |
APSEC
|
| 2007 | Misc | conf |
SAC
|
| 2006 | — | conf |
SCESM
|
| 2006 | — | conf |
SESS@ICSE
|
| 2005 | J | jnl |
IEICE Trans. Inf. Syst.
|
| 2005 | — | conf |
WLFM@FM
|
| 2004 | B | conf |
ICWE
|
| 2004 | — | conf |
WSTFEUS
|
| 2003 | A | conf |
AAMAS
|
| 2002 | C | conf |
APSEC
|
| 2002 | C | conf |
CW
|
| 2001 | — | conf |
SPIN
|
| 2000 | B | conf |
EDOC
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1997 | — | conf |
ICC (2)
|
| 1997 | A* | conf |
ICSE
|