Controlled modeling environment using flexibly-formatted spreadsheets. - Hisashi Miyashita; Hideki Tai; Shunichi Amano (ICSE, 2014)

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. - Naoto Sato; Takaaki Tateishi; Shunichi Amano (iThings/GreenCom/CPSCom/SmartData, 2018)