ARVE: Aspect-Oriented Runtime Verification Environment. - Hiromasa Shin; Yusuke Endoh; Yoshio Kataoka (RV, 2007)

MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. - Kohei Maruchi; Hiromasa Shin; Masahiro Sakai (ICST Workshops, 2014)

Forecasting of Reservoir Inflow by the Combination of Deep Learning and Conventional Machine Learning. - Topon Kumar Paul; Sreeharsha Raghavendra; Ken Ueno; Fang Ni; Hiromasa Shin; Kaneharu Nishino; Ryusei Shingaki (ICDM (Workshops), 2021)