高井利憲

Takai Toshinori

所属機関・部署：

研究分野 (1件)：情報学基礎論

研究キーワード (5件)：項書換系 , クリーニ代数 , アシュアランスケース , システムアシュアランス , 議論学

論文 (32件)：

Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya. A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. Lecture Notes in Computer Science. 2024. 150-165
Masahiro Watanabe, Yutaka Matsuno, Toshinori Takai. A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN. 2023 30th Asia-Pacific Software Engineering Conference (APSEC). 2023
Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya. Toward Dependability Assurance Framework for Automated Driving Systems. Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops. SAFECOMP 2023. 2023. Lecture Notes in Computer Science. 14182. 32-37
Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida. Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking. Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020. 2020. 124-132
Yutaka Matsuno, Toshinori Takai, Shuichiro Yamamoto. Facilitating use of assurance cases in industries by workshops with an agent-based method. IEICE Transactions on Information and Systems. 2020. 103. 6. 1297-1308

MISC (12件)：

八木英光, 高井利憲, 飯田元. 消費者向け製品のための効果的なリスク共有手法の提案 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2016. 115. 487. 97-102
高井利憲, 木藤浩之, 松野裕. アシュアランスケース構築のための議論合成法 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 501. 59-64
泉川大樹, 高井利憲. ペルソナに基づく撤回可能付きGSN構築手法の提案 : システムアシュアランス導入に関するリスクケースを題材として (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 501. 55-58
高井利憲, 松野裕. システムアシュアランス演習の実践報告 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 420. 7-11
Khana Chindamaikul, Toshinori Takai, Hajimu Iida. Constructing Assurance Case using Information From an Issue Tracking System. ソフトウェアエンジニアリングシンポジウム2013論文集. 2013. 2013. 1-2

講演・口頭発表等 (13件)：

アシュアランスケースの主張の変換を含めた議論パターンの提案 (信頼性)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2018)
消費者向け製品のための効果的なリスク共有手法の提案 (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016)
アシュアランスケース構築のための議論合成法 (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015)
ペルソナに基づく撤回可能付きGSN構築手法の提案 : システムアシュアランス導入に関するリスクケースを題材として (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015)
システムアシュアランス演習の実践報告 (知能ソフトウェア工学)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2015)

学歴 (4件)：

所属学会 (3件)：

日本ソフトウェア科学会 , 電子情報通信学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

高井 利憲