Login / Signup
Maiko Onishi
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Timed Automata
Attribute Grammars
Planning Domains
Functional Requirements
Top Venues
KES
JCKBSE
APSEC
</>
Publications
</>
Maiko Onishi
,
Shinpei Ogata
,
Kozo Okano
,
Daisuke Bekki
Temporal relation identification in functional requirements.
KES
(2023)
Maiko Onishi
,
Shinpei Ogata
,
Kozo Okano
,
Daisuke Bekki
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications.
APSEC
(2022)
Maiko Onishi
,
Shinpei Ogata
,
Kozo Okano
,
Daisuke Bekki
A Method for Matching Patterns Based on Event Semantics with Requirements.
JCKBSE
(2022)
Kozo Okano
,
Maiko Onishi
,
Jo Otsuka
,
Shinpei Ogata
,
Toshifusa Sekizawa
,
Keishi Okamoto
,
Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.
KES
(2022)