Model-Checking C Programs against JML-like Specification Language. - Masahiro Sakai; Kohei Maruchi; Takeo Imai (APSEC, 2012)

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

LTSpAUC: Learning Time-series Shapelets for Optimizing Partial AUC. - Akihiro Yamaguchi; Shigeru Maya; Kohei Maruchi; Ken Ueno (SDM, 2020)

LTSpAUC: Learning Time-Series Shapelets for Partial AUC Maximization. - Akihiro Yamaguchi; Shigeru Maya; Kohei Maruchi; Ken Ueno (Big Data, 2020)