Isobe Yoshinao

Affiliation and department：
Homepage URL (1)： http://staff.aist.go.jp/y-isobe

Research field (1)： Information theory

Research keywords (4)：検証 , 並行システム , 定理証明器 , プロセス代数

Research theme for competitive and other funds (2)：

Papers (28)：

Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda. Toward Individual Fairness Testing with Data Validity. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. 2024. 2284-2288
Tinghui Ouyang, Yoshinao Isobe, Saima Sultana, Yoshiki Seo, Yutaka Oiwa. Autonomous driving quality assurance with data uncertainty analysis. 2022 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN). 2022
Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa. Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2021. E104D. 10. 1515-1532
Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo. Improved Surprise Adequacy Tools for Corner Case Data Description and Detection. APPLIED SCIENCES-BASEL. 2021. 11. 15
Tinghui Ouyang, Vicent Sanz Marco, Yoshinao Isobe, Hideki Asoh, Yutaka Oiwa, Yoshiki Seo. Corner Case Data Description and Detection. 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI(WAIN@ICSE). 2021. 19-26

ｍore...

MISC (2)：

Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa. Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2021. E104D. 10. 1515-1532
Yuki Hasegawa, Yoshinao Isobe, Kazuhito Ohmaki, Hideki Mori, Kensei Tsuchida, Yasunori Shiono. Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture. 2012. 53. 5

Books (1)：

Professional career (1)：

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page