Rchr
J-GLOBAL ID：201101067577079262
Update date: Jul. 06, 2023
Isobe Yoshinao
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)：
- 2015 - 2017 安全な協調ロボット制御ソフトウェア開発方法の研究
- 2008 - 2010 並行システムの高信頼自動検証ツールに関する研究
Papers (27)：
-
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
-
Tinghui Ouyang, Yoshinao Isobe, Vicent Sanz Marco, Jun Ogata, Yoshiki Seo, Yutaka Oiwa. AI robustness analysis with consideration of corner cases. THIRD IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST 2021). 2021. 29-36
ｍ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)：
-
Verification and Implementation of Concurrent Systems
Kindaikagaku-sha 2012
Professional career (1)：
Return to Previous Page
