Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. - Takaya Saeki; Fuyuki Ishikawa; Shinichi Honiden (ICFEM, 2016)

Bash on Ubuntu on macOS. - Takaya Saeki; Yuichi Nishiwaki; Takahiro Shinagawa; Shinichi Honiden (APSys, 2017)

A robust and flexible operating system compatibility architecture. - Takaya Saeki; Yuichi Nishiwaki; Takahiro Shinagawa; Shinichi Honiden (VEE, 2020)