Resource usage analysis for a functional language with exceptions. - Futoshi Iwama; Atsushi Igarashi; Naoki Kobayashi 001 (PEPM, 2006)

A New Type System for JVM Lock Primitives. - Futoshi Iwama; Naoki Kobayashi 001 (New Gener. Comput., 2008)

Enabling Analysis and Measurement of Conventional Software Development Documents Using Project-Specific Formalism. - Taiga Nakamura; Hironori Takeuchi; Futoshi Iwama; Ken Mizuno (IWSM/Mensura, 2011)

Constructing parser for industrial software specifications containing formal and natural language description. - Futoshi Iwama; Taiga Nakamura; Hironori Takeuchi (ICSE, 2012)

Semantic analysis technique of logics retrieval for software testing from specification documents. - Satoshi Masuda; Futoshi Iwama; Nobuhiro Hosokawa; Tohru Matsuodani; Kazuhiko Tsuda (ICST Workshops, 2015)

Hierarchical context supplementation for consecutive question answering. - Kohtaroh Miyamoto; Hironori Takeuchi; Satoshi Masuda; Futoshi Iwama (SOLI, 2017)

Automated Testing of Basic Recognition Capability for Speech Recognition Systems. - Futoshi Iwama; Takashi Fukuda (ICST, 2019)

HOPE-Graph: A Hypothesis Evaluation Service considering News and Causality Knowledge. - Futoshi Iwama; Miki Enoki; Sachiko Yoshihama (SMDS, 2021)

Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models. - Alisa Arno; Futoshi Iwama; Mikio Takeuchi (ICSE-SEIP, 2023)