Yusuke Aoyama

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 14

Top Topics

Epistemic Logic

Natural Language

Formal Verification

Top Venues

Publications

Noriyuki Kushiro, Yusuke Ogata, Yusuke Aoyama
Tools for Visualizing Logical Schemes among Sentences on Similarity. KES (2022)
Noriyuki Kushiro, Yusuke Ogata, Yusuke Aoyama
Visualizing Schemes and Logics among Sentences in Paragraph. KES (2021)
Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro
Executable Test Case Generation from Specifications Written in Natural Language and Test Execution Environment. CCNC (2021)
Noriyuki Kushiro, Yusuke Aoyama, Toshihiro Mega
Extracting and Structuring Latent Knowledge for Risk Recognition from Eyes and Utterances of Field Overseers. HCI (47) (2020)
Noriyuki Kushiro, Yusuke Aoyama
Logic Visualization Algorithm in System Specifications as Companion Tool for System Designing and Testing. KES (2020)
Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro
Test Case Generation Algorithms and Tools for Specifications in Natural Language. ICCE (2020)
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro
Automatic Testing Environment for Virtual Network Embedded Systems. ICCE (2020)
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro
A Hybrid Testing Environment between Execution Test and Model Checking for IoT System. ICCE (2019)
Noriyuki Kushiro, Koshiro Nishinaga, Yusuke Aoyama, Toshihiro Mega
Differences of risk knowledge described in work procedures manual and that used in real field by field overseers. KES (2019)
Masafumi Ifuku, Noriyuki Kushiro, Yusuke Aoyama
Requirements Definition with Extended Goal Graph. ICDM Workshops (2018)
Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro
Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach. APSEC (2018)
Noriyuki Kushiro, Yusuke Aoyama, Yuji Fujita
Tool for Extracting Latent Field Overseers' Knowledge for Risk Recognition on Eyes and Algorithm for Structuring Meta and Domain Knowledge from Utterances. KES (2018)
Noriyuki Kushiro, Yuji Fujita, Yusuke Aoyama
Extracting Field Oversees' Features in Risk Recognition from Data of Eyes and Utterances. ICDM Workshops (2017)
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro
Testing Environment for CPS by Cooperating Model Checking with Execution Testing. KES (2016)