Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (APSEC, 2022)

A Method for Matching Patterns Based on Event Semantics with Requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (JCKBSE, 2022)

A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. - Kozo Okano; Maiko Onishi; Jo Otsuka; Shinpei Ogata; Toshifusa Sekizawa; Keishi Okamoto; Daisuke Bekki (KES, 2022)

Temporal relation identification in functional requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (KES, 2023)