松野裕

マツノユタカ | MATSUNO Yutaka

所属機関・部署：
職名：教授
ホームページURL (2件)： https://www.matsulab.org/ , https://scholar.google.co.jp/citations?user=3Z-q4SQAAAAJ&hl=en

研究分野 (3件)：ソフトウェア , 社会システム工学 , 安全工学

研究キーワード (1件)：プログラミング言語、型理論、ディペンダビリティ、安全性、システム保証

競争的資金等の研究課題 (9件)：

全件表示

論文 (68件)：

Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya. A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. Computer Safety, Reliability, and Security. SAFECOMP 2024. Lecture Notes in Computer Science. 2024. 14988. 150-165
Minami YODA, Shigeo NAKAMURA, Yutaka MATSUNO, Yuichi SEI, Yasuyuki TAHARA, Akihiko OHSUGA. YODA: Middleware for Improving Setup and Preprocessing in Static Analysis of IoT Firmware. 2024 16th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI). 2024. 117. 1-8
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. 465-472
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
山田翔太, 山形頼之, 松野裕, 西原秀明. アシュアランスキャリングコードを実現するためのプログラマブルな GSN(PGSN)の提案. ソフトウェアエンジニアリングシンポジウム2023論文集. 2023. 2023. 226-233

MISC (8件)：

特許 (2件)：

ディペンダビリティ維持システム、変化対応サイクル実行装置、障害対応サイクル実行装置、ディペンダビリティ維持システムのの制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体
ディペンダビリティ維持装置、ディペンダビリティ維持システム、障害対応システム、ディペンダビリティ維持装置の制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体

書籍 (3件)：

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

自動運転における相互作用に対するシナリオ安全分析のための拡張STAMP/STPA手法の提案
(電子情報通信学会知能ソフトウェア工学研究会(KBSE) 2024)
D-Case Communicator (ツールデモ)
(ASSURE 2024, th International Workshop on Assurance for Software-intensive Systems 2024)
大規模言語モデルを用いたIoTファームウェア脆弱性検出のための逆コンパイル手法の提案
(コンピュータセキュリティシンポジウム2024 2024)
明確な解答のないシナリオを含む防災学習アプリによる防災意識向上の評価
(電子情報通信学会KBSE研究会 2024)
小説におけるキャラクターの「らしさ」を踏まえた台詞自動校正に関する研究
(電子情報通信学会KBSE研究会 2024)

学歴 (4件)：

経歴 (8件)：

全件表示

委員歴 (12件)：

2024/06 - 現在日本ソフトウェア科学会理事
2015/04 - 現在日本ソフトウエア科学会編集委員
2015/04 - 現在日本ソフトウエア科学会ディペンダブルシステム研究会幹事
2014/04 - 現在一般社団法人ディペンダビリティ技術推進協会(略称DEOS協会) D-Case部会主査
2024/10 - 2024/10 Program Committee of The 35th IEEE International Symposium on Software Reliability Engineering Program Committee Member

全件表示

受賞 (3件)：

2023/12 - 日本ソフトウェア科学会ディペンダブルシステム研究会最優秀賞論文発表賞大学研究室におけるディペンダブルなアジャイルプロセス開発の実践
2019/12 - 日本ソフトウエア科学会ディペンダブルシステム研究会優秀ポスター発表賞開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
2016/12/14 - 日本ソフトウエア科学会ディペンダブルシステム研究会最優秀論文発表賞市民等と障害情報を共有する障害データベースの構築の試み

所属学会 (4件)：

日本品質管理学会 , 電子情報通信学会 , 情報処理学会 , コンピュータソフトウエア科学会

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

松野 裕