Rchr
J-GLOBAL ID:201301091829506633   Update date: Sep. 23, 2024

MATSUNO Yutaka

マツノ ユタカ | MATSUNO Yutaka
Affiliation and department:
Job title: Professor
Homepage URL  (2): https://www.matsulab.org/https://scholar.google.co.jp/citations?user=3Z-q4SQAAAAJ&hl=en
Research field  (3): Software ,  Social systems engineering ,  Safety engineering
Research keywords  (1): Programming Language, Type Theory, Dependability, Safety, System Assurance
Research theme for competitive and other funds  (9):
  • 2024 - 2028 複雑システムに対応する保証付き階層化安全分析手法STPA-Refine
  • 2023 - 2026 Developing a programming language for automatic synthesis of assurance cases
  • 2020 - 2023 DevOpsアシュアランスケースによる機械学習システムのディペンダビリティ保証
  • 2021 - 2022 変化する要求と環境における機械学習システムのディペンダビリティ保証ツール・手法の研究開発
  • 2015 - 2019 Infrastructure Construction and Social Implementation for Support of Environmental Monitoring and Disaster Reduction by Cooperation of Citizens, Administration and Experts
Show all
Papers (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 - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings. Lecture Notes in Computer Science, Springer. 2024. 14998. 150-165
  • Minami Yoda, Shigeo Nakamura, Yuichi Sei, Yutaka Matsuno, Yasuyuki Tahara, Akihiko Ohsuga. YODA: Middleware of Static Analysis Tools for IoT Firmware - Proposal and Evaluation of Time Reducing Mechanisms for Setup, Preprocessing, and Analysis. Proceedings of IIAI AAI 2024. 2024. Accepted
  • 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
more...
MISC (8):
Patents (2):
  • ディペンダビリティ維持システム、変化対応サイクル実行装置、障害対応サイクル実行装置、ディペンダビリティ維持システムのの制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体
  • ディペンダビリティ維持装置、ディペンダビリティ維持システム、障害対応システム、ディペンダビリティ維持装置の制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体
Books (3):
  • はじめてのD-Case
    一般社団法人 ディペンダビリティ技術推進協会 2018
  • 実践D-Case
    ダイテックオンデマンド出版 2013
  • D-Case入門~ディペンダビリティ・ケースを書いてみよう!~
    ダイテックホールディング 2012
Lectures and oral presentations  (157):
  • A Decompilation Method for Generating Executable C Codes from IoT Firmware using Large Language Model
    (Computer Security Symposium 2024)
  • 明確な解答のないシナリオを含む防災学習アプリによる防災意識向上の評価
    (電子情報通信学会KBSE研究会 2024)
  • 小説におけるキャラクターの「らしさ」を踏まえた台詞自動校正に関する研究
    (電子情報通信学会KBSE研究会 2024)
  • A Study on Automatic Performance System for Emulating the Playing Style of a Specific Pianist using Feature Extraction with LSTM and Score Analysis
    (2024)
  • 大学研究室におけるディペンダブルなアジャイルプロセス開発の実践
    (日本ソフトウェア科学会ディペンダブルシステムワークショップ 2023)
more...
Education (4):
  • 2003 - 2006 The University of Tokyo Graduate School of Frontier Science Frontier Informatics
  • 2001 - 2003 The University of Tokyo Graduate School of Frontier Science Department of Frontier Informatics
  • 1997 - 2001 The University of Tokyo Faculty of Engineering Department of Electronics Engineering
  • 1993 - 1996 早稲田大学高等学院
Work history (8):
  • 2023/04 - 現在 College of Science and Technology, Nihon Universityh Department of Computer Engineering Professor
  • 2015/04 - 2023/03 College of Science and Technology, Nihon University Department of Computer Engineering Associate Professor
  • 2013/04 - 2015/03 Graduate School of Information Systems, The University of Electro-Communications Department of Social Intelligence and Informatics Assistant Professor
  • 2012/04 - 2013/03 名古屋大学 情報連携統括本部 特任講師
  • 2010/04 - 2012/03 東京大学 情報基盤センター 特任講師
Show all
Committee career (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
Show all
Awards (3):
  • 2023/12 - 日本ソフトウェア科学会ディペンダブルシステム研究会 最優秀賞論文発表賞 大学研究室におけるディペンダブルなアジャイルプロセス開発の実践
  • 2019/12 - 日本ソフトウエア科学会ディペンダブルシステム研究会 優秀ポスター発表賞 開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
  • 2016/12/14 - 日本ソフトウエア科学会ディペンダブルシステム研究会 最優秀論文発表賞 市民等と障害情報を共有する障害データベースの構築の試み
Association Membership(s) (4):
日本品質管理学会 ,  電子情報通信学会 ,  情報処理学会 ,  コンピュータソフトウエア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page