Maiko Onishi

According to our database, Maiko Onishi authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Temporal relation identification in functional requirements.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

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

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Method for Matching Patterns Based on Event Semantics with Requirements.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022