Programming Language, Type Theory, Dependability, Safety, System Assurance

Informatics, Software, Software

Social infrastructure (civil Engineering, architecture, disaster prevention), Social systems engineering, Social systems engineering/ Safety system

Social infrastructure (civil Engineering, architecture, disaster prevention), Safety engineering, Social systems engineering/ Safety system

Apr. 2023 - Present
College of Science and Technology, Nihon Universityh, Department of Computer Engineering, Professor

Apr. 2015 - Mar. 2023
College of Science and Technology, Nihon University, Department of Computer Engineering, Associate Professor

Apr. 2013 - Mar. 2015
Graduate School of Information Systems, The University of Electro-Communications, Department of Social Intelligence and Informatics, Assistant Professor

Apr. 2012 - Mar. 2013
名古屋大学, 情報連携統括本部, 特任講師

Apr. 2010 - Mar. 2012
東京大学, 情報基盤センター, 特任講師

Oct. 2008 - Mar. 2010
産業技術総合研究所, システム検証研究センター, 産総研特別研究員

Apr. 2008 - Sep. 2008
東北大学大学院, 情報科学研究科, 教育研究支援者

Apr. 2006 - Mar. 2008
東北大学, 電気通信研究所, 産学官連携研究員

Apr. 2003 - Mar. 2006
The University of Tokyo, Graduate School of Frontier Science, Frontier Informatics

Apr. 2001 - Mar. 2003
The University of Tokyo, Graduate School of Frontier Science, Department of Frontier Informatics

Apr. 1997 - Mar. 2001
The University of Tokyo, Faculty of Engineering, Department of Electronics Engineering

Apr. 1993 - Mar. 1996
早稲田大学高等学院

Jun. 2024 - Present

Apr. 2015 - Present
編集委員, 日本ソフトウエア科学会

Apr. 2015 - Present
幹事, 日本ソフトウエア科学会ディペンダブルシステム研究会

Apr. 2014 - Present
D-Case部会主査, 一般社団法人 ディペンダビリティ技術推進協会（略称DEOS協会）

Oct. 2024 - Oct. 2024
Program Committee Member, Program Committee of The 35th IEEE International Symposium on Software Reliability Engineering

Mar. 2024 - Mar. 2024

Nov. 2023 - Nov. 2023
Local Organizing Committee Member, The 8th IFIP WG5.15 Conference on Information Technology in Disaster Risk Reduction

Apr. 2015 - Mar. 2021
企画委員, 日本ソフトウエア科学会

Apr. 2015 - Mar. 2017
知能ソフトウエア工学研究会幹事, 電子情報通信学会

Apr. 2015 - Nov. 2015
AAA2015プログラム委員会, JSAI

Feb. 2015 - Sep. 2015
プログラム委員, インプレス・IoTセキュリティフォーラム

Dec. 2014 - Mar. 2015
Ad-hoc委員会委員長, インプレス・組み込みセキュリティ・セーフティフォーラム

Dec. 2023
日本ソフトウェア科学会ディペンダブルシステム研究会, 最優秀賞論文発表賞
大学研究室におけるディペンダブルなアジャイルプロセス開発の実践
児玉英明;羽山夏生;松野裕

日本ソフトウエア科学会ディペンダブルシステム研究会, 優秀ポスター発表賞
開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証, Japan society
小池 湧大;関弘翔;松野裕

日本ソフトウエア科学会ディペンダブルシステム研究会, 最優秀論文発表賞
市民等と障害情報を共有する障害データベースの構築の試み, Japan society
坂東幸一;松野裕;石垣陽;田中健次

A Case Study of Continuous Assurance Argument for Level 4 Automated Driving
Hideaki Kodama; Yutaka Matsuno; Toshinori Takai; Hiroshi Ota; Manabu Okada; Tomoyuki Tsuchiya
Computer Safety, Reliability, and Security. SAFECOMP 2024. Lecture Notes in Computer Science, Sep. 2024, Refereed
Corresponding

YODA: Middleware for Improving Setup and Preprocessing in Static Analysis of IoT Firmware
Minami YODA; Shigeo NAKAMURA; Yutaka MATSUNO; Yuichi SEI; Yasuyuki TAHARA; Akihiko OHSUGA
2024 16th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI), Jul. 2024, Refereed

A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN
Masahiro Watanabe; Yutaka Matsuno; Toshinori Takai
2023 30th Asia-Pacific Software Engineering Conference (APSEC), Dec. 2023, Refereed

Toward Dependability Assurance Framework for Automated Driving Systems
Yutaka Matsuno; Toshinori Takai; Manabu Okada; Tomoyuki Tsuchiya
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops. SAFECOMP 2023, Sep. 2023, Refereed, Not invited
Lead

アシュアランスキャリングコードを実現するためのプログラ マブルな GSN(PGSN)の提案
山田 翔太; 山形 頼之; 松野 裕; 西原 秀明
ソフトウェアエンジニアリングシンポジウム2023論文集, Aug. 2023, Not refereed, Not invited

Development and Evaluation of a Shelter Simulator Using Gamification
Yutaka Matsuno; Mei Matsuura
IFIP Advances in Information and Communication Technology, May 2023, Refereed

ソフトウェア開発プロジェクトにおける引き継ぎプロセス及びドキュメント作成手順の提案と評価
小沢暢; 松野裕
第 9 回実践的 IT 教育シンポジウム (rePiT2023) 論文集, Feb. 2023, Refereed, Not invited
Last

大学研究室におけるアジャイルプロセスによる,プロダクト開発に向けて
杉田 卓斗 安藤 玲央 越前谷 彩乃 榎本 シン 松野 裕
第 8 回 実践的 IT 教育シンポジウム (rePiT2022) 論文集, Feb. 2022, Refereed, Not invited
Last

Assurance Carrying Code for Software Supply Chain (Fast Abstracts)
Yutaka Matsuno; Yoriyuki Yamagata; Hideaki Nishihara and Yuichiro Hosokawa
Proc. the 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), Oct. 2021, Refereed, Not invited
Lead

Development of Flood Disaster Prevention Simulation Smartphone Application Using Gamification
Yutaka Matsuno; Futaba Fukanuma; Shigenobu Tsuruoka
Dynamics of Disasters: Impact, Risk, Resilience, and Solutions (Kotsireas, I.S., Nagurney, A., Pardalos, P., Tsokas, A. (Eds.)), Springer Optimization and Its Applications, Mar. 2021, Refereed, Not invited
Lead

大学研究室におけるアジャイルプロセスの提案と実践
小林孝有; 栗間智大; 杉田卓斗; 村上知里; 松野裕
第7回 実践的IT教育シンポジウム(rePiT2021)予稿集, Jan. 2021, Refereed, Not invited
Corresponding

An Algebraic Approach for Confidence Evaluation of Assurance Cases (Short Paper)
Yoriyuki Yamagata; Yutaka Matsuno
Proc. of 22nd International Conference on Formal Engineering Methods (ICFEM2020), Lecture Notes in Computer Science (LNCS), Dec. 2020, Refereed, Not invited

Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems
Fuyuki Ishikawa; Yutaka Matsuno
The 28th IEEE International Requirements Engineering Conference (RE 2020, RE@Next! Track), Aug. 2020, Refereed, Not invited

Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-based Method
Yutaka Matsuno; Toshinori Takai; Shuichiro Yamamoto
IEICE Transactions on Information & Systems, Jun. 2020, Refereed, Not invited
Lead

Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests
Yutaka Matsuno; Fuyuki Ishikawa; Susumu Tokumoto
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, Sep. 2019, Refereed, Not invited
Lead

D-Case Steps: New Steps for Writing Assurance Cases
Yuto Onuma; Toshinori Takai; Tsutomu Koshiyama; Yutaka Matsuno
Proceedings of 6th Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018), Sep. 2018, Refereed, Not invited
Corresponding

Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems
Fuyuki Ishikawa; Yutaka Matsuno
Proceedings of 6th Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018), Sep. 2018, Refereed, Not invited

IoTと点流速センサを用いた流量観測システム
鶴岡 重信、Anu BANEPALI、深沼 二葉、松野 裕
土木学会論文集F3(土木情報学), Mar. 2018, Refereed, Not invited

Trend analyses of failures in information systems: A case study on communications networks and financial information systems
Koichi Bando; Yutaka Matsuno; Yang Ishigaki; Kenji Tanaka
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, May 2017, Refereed, Not invited

Wisdom of Crowds for Reliable Discussion and Need Finding: A Case Study of Information Sharing Regarding Radiation after the Fukushima Nuclear Disaster
Yang Ishigaki; Yutaka Matsuno; Koichi Bando; Kenji Tanaka
Proceedings of the 50th Hawaii International Conference on System Sciences, Jan. 2017, Refereed, Not invited

Trend Analyses of Failures in Information Systems -A Case Study on Communications Networks and Financial Information Systems
Koichi Bando; Yutaka Matsuno; Yang Ishigaki; Kenji Tanaka
2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), 2017, Refereed, Not invited

D-case communicator: A web based GSN editor for multiple stakeholders
Yutaka Matsuno
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, Refereed, Not invited

A Prototype Implementation of a Failure Database for Information Sharing with the General Public － A Case Study on Radiation Risk Information after Fukushima Nuclear Disaster (Fast Abstract)
Koichi Bando; Yutaka Matsuno; Yang Ishigaki; Kenji Tanaka
Proc. of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Jun. 2016, Refereed, Not invited

システム安全性保証のためのアシュアランスケース
松野裕
計測と制御, May 2016, Refereed, Invited

Environmental Health Communication and its visualization on Social Media-Case Study on Radiation Health Communication after the Fukushima Disaster
Yang Ishigaki; Yutaka Matsuno; Koichi Bando; Kenji Tanaka
Hawaii International Conference on System Science HICSS-49, Symposium of Learning Health System: Designing and Generalizing the Challenge of the Learning Health System, Jan. 2016, Refereed, Not invited

Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases
Yutaka Matsuno; Yang Ishigaki; Koichi Bando; Hiroyuki Kido; Kenji Tanaka
COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, Refereed, Not invited

Modular Construction of Assurance Cases Written in Defeasible GSN
Toshinori Takai; Hiroyuki Kido; Yutaka Matsuno
Proceedings of the Second International Workshop on Argumentat for Agreement and Assurance, Nov. 2015, Refereed, Not invited

A new method for writing assurance cases
Yutaka Matsuno; Shuichiro Yamamoto
Transportation Systems and Engineering: Concepts, Methodologies, Tools, and Applications, Jun. 2015, Refereed, Not invited

Participatory Radiation Information Monitoring with SNS after Fukushima
Yang Ishigaki; Yoshinori Matsumoto; Yutaka Matsuno; Kenji Tanaka
Proc. of 12th International Conference on Information Systems for Crisis Response and Management (ISCRAM2015), May 2015, Refereed, Not invited

Self-perception of assister driver responsibility and contribution in mutual assistance system
Sui Kurihashi; Yutaka Matsuno; Kenji Tanaka
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, Refereed, Not invited

Enhancing Safety with a Mutual Assistance System for Automobile
Sui Kurihashi; Yutaka Matsuno; Kenji Tanaka
SICE Journal of Control, Measurement, and System Integration, 2015, Refereed, Not invited

Failure Analyses of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability
Koichi Bando; Yutaka Matsuno; Kenji Tanaka
2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2015, Refereed, Not invited

Design and Implementation of GSN Patterns: A Step toward Assurance Case Lanuguage
Yutaka Matsuno
IPSJ Transactions on Programming, Jun. 2014, Refereed, Not invited

Evaluation of a Mutual Assistance System from both the Recipient and Assister sides
Sui Kurihashi; Yutaka Matsuno; Kenji Tanaka
2014 Proceedings of the SICE Annual Conference (SICE), 2014, Refereed, Not invited

システムの保全性保証
松野裕
日本信頼性学会機関誌「信頼性」, 2014, Not refereed, Not invited

A Design and Implementation of an Assurance Case Language
Yutaka Matsuno
2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2014, Refereed, Not invited

Consensus Building and In-operation Assurance for Service Dependability, Journal of Wireless Mobile Networks
Yutaka Matsuno; Shuichiro Yamamoto
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Mar. 2013, Refereed, Not invited

A dependability assurance method based on data flow diagram (DFD)
Nada Olayan; Vaise Patu; Yutaka Matsuno; Shuichiro Yamamoto
Proceedings - UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation, EMS 2013, 2013, Refereed, Not invited

A comparative study of d*framework and GSN
Takuya Saruwatari; Yutaka Matsuno; Shuichiro Yamamoto
2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013, 2013, Refereed, Not invited

An evaluation of argument patterns to reduce pitfalls of applying assurance case
Shuichiro Yamamoto; Yutaka Matsuno
2013 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE 2013 - Proceedings, 2013, Refereed, Not invited

An Implementation of GSN Community Standard
Yutaka Matsuno; Shuichiro Yamamoto
2013 1ST INTERNATIONAL WORKSHOP ON ASSURANCE CASES FOR SOFTWARE-INTENSIVE SYSTEMS (ASSURE), 2013, Refereed, Not invited

A method to share word knowledge of Dependability Case
Masanori Matsumura; Vaise Patu; Yutaka Matsuno; Syota Takama; Tatsuya Tokuno; Shuichiro Yamamoto
17TH INTERNATIONAL CONFERENCE IN KNOWLEDGE BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS - KES2013, 2013, Refereed, Not invited

Standardisation of Dependability for Consumer Devices at the OMG
Matsuno; Y; Biggs; G.; Ohata; A.; Ishizaki; N.; Taguchi; K.
Proc．of 7th IFAC Symposium on Advances in Automotive Control (IFAC AAC), 2013, Refereed, Not invited

A New Method for Writing Assurance Cases.
Yutaka Matsuno; Shuichiro Yamamoto
International Journal of Secure Software Engineering (IJSSE), Special Issue on Cybersecurity Scientific Validation, 2013, Refereed, Not invited

Toward strategic development of hodoyoshi microsatellite using assurance cases
Kohei Tanaka; Yutaka Matsuno; Yoshihiro Nakabo; Seiko Shirasaka
Proceedings of International Astronautical Federation (IAC 2012), Sep. 2012, Refereed, Not invited

d* framework: Inter-Dependency Model for Dependability(Fast Abstract)
Shuichiro Yamamoto; Yutaka Matsuno
Proceedings of IEEE Dependable Systems Network (DSN), Jun. 2012, Refereed, Not invited

Iterative and Simultaneous Development of Embedded Control Software and Dependability Cases for Consumer Devices
Yutaka Matsuno; Kenji Taguchi; Yoshihiko Nakabo; Akira Ohata
2012 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2012, Refereed, Not invited

Iterative and Simultaneous Development of Embedded Control Software and Dependability Cases for Consumer Devices
Yutaka Matsuno; Kenji Taguchi; Yoshihiko Nakabo; Akira Ohata
2012 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2012, Refereed, Not invited

Consensus building and in-operation assurance for service dependability
Yutaka Matsuno; Shuichiro Yamamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Refereed, Not invited

A review method based on a matrix interpretation of GSN
Shuichiro Yamamoto; Yutaka Matsuno
KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2012, Refereed, Not invited

Toward Dynamic Assurance Cases
Yutaka Matsuno; Shuichiro Yamamoto
KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2012, Refereed, Not invited

Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL
Vaise Patu; Yutaka Matsuno; Shuichiro Yamamoto
23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, Refereed, Not invited

A Proposal on a Method for Reviewing Operation Manuals of Supercomputer
Shota Takama; Vaise Patu; Yutaka Matsuno; Shuichiro Yamamoto
23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, Refereed, Not invited

D-Caseを用いたユビキタス・センサネットワーク管理ツール
中澤仁; 松野裕; 徳田英幸
電子情報通信学会論文誌(和文B) ユビキタス・センサネットワークを支えるシステム開発論文特集, 2012, Refereed, Not invited

DS-Bench Toolset: Tools for Dependability Benchmarking with Simulation and Assurance
Hajime Fujita; Yutaka Matsuno; Toshihiro Hanawa; Mitsuhisa Sato; Shinpei Kato; Yutaka Ishikawa
2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2012, Refereed, Not invited

D-Case Editor: A Typed Assurance Case Editor
Yutaka Matsuno
Proceedings of OSADL 13th Real-Time Linux Workshop, Oct. 2011, Refereed, Not invited

Dependability Case for Open Systems Lifecycle
Yutaka Matsuno; Makoto Takeyama; Jin Nakazawa
Proceedings of Inconsistency Robustness, Aug. 2011, Refereed, Not invited

Evaluating degree of systems' dependability with semi-structured assurance case
Jin Nakazawa; Yutaka Matsuno; Hideyuki Tokuda
ACM International Conference Proceeding Series, 2011, Refereed, Not invited

Parameterised argument structure for GSN patterns
Yutaka Matsuno; Kenji Taguchi
Proceedings - International Conference on Quality Software, 2011, Refereed, Not invited

Dependability case editor with pattern library
Yutaka Matsuno; Hiroki Takamura; Yutaka Ishikawa
Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 2010, Refereed, Not invited

Towards a language for communication among stakeholders
Yutaka Matsuno; Jin Nakazawa; Makoto Takeyama; Midori Sugaya; Yutaka Ishikawa
Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, 2010, Refereed, Not invited

Toward User Oriented Dependability Standard for Future Embedded Systems
Yoshiki Kinoshita; Yutaka Matsuno; Hiroki Takamura; Makoto Takeyama
FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, Refereed, Not invited

A Type System Equivalent to Static Single Assignment
Yutaka Matsuno; Atsushi Ohori
Proceedings of ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP’06), Jul. 2006, Refereed, Not invited

A Type System for Optimization Verifying Compilers
Yutaka Matsuno; Hiroyuki Sato
Computer Software, 2005, Refereed, Not invited

A Type System for Proving Correctness of Compiler Optimizations
Yutaka Matsuno; Hiroyuki Sato
Proceedings of International Workshop on Software Verification and Validation (SVV’04), Nov. 2004, Refereed, Not invited

A Type System for Verification of Compiler Optimization.
Yutaka Matsuno; Hiroyuki Sato
情報処理学会論文誌:プログラミング, 2004, Refereed, Not invited
Lead

Flow analytic type system for array bound checks
Matsuno Yutaka; Hiroyuki Sato
Electronic Notes in Theoretical Computer Science, Apr. 2003, Refereed, Not invited

Flow Analytic Type System for Array Bound Checks
Yutaka Matsuno; Hiroyuki Sato
Proceedings of Computing: The Australasian Theory Symposium (CATS’03), Feb. 2003, Refereed, Not invited

DSN2019参加報告
松野裕; 町田文雄
コンピュータソフトウェア, 24 Jan. 2020, Refereed, Not invited
Lead

システム保証のためのソフトウエアテスト
松野裕
日本信頼性学会誌, 01 Mar. 2016, Refereed, Invited
Lead

A Writing Method for Assurance Cases
MATSUNO Yutaka; TAKAI Toshinori; PATU Vaise; YAMAMOTO Shuichiro
Technical report of IEICE. KBSE, 15 Nov. 2012, Not refereed, Not invited

消費者機械安全性・信頼性保証の国際標準化
大畠明、松野裕、田口研治、中坊 嘉宏
SEC Journal, 2012, Not refereed, Not invited

D-Case: ステークホルダとシステムをつなぐドキュメント
松野裕
Bulletin JASA, 2011, Not refereed, Not invited

ロボットの安全とSystem Assurance
中坊嘉宏,松野裕
日本ロボット学会誌, 2011, Not refereed, Not invited

ディペンダビリティ調査報告2月22日～3月9日 Newcastle, Edinburgh, York, Bath, London, UK
木下佳樹、武山誠、松野裕
産総研テクニカルレポート, 2009, Not refereed, Not invited

対訳 ディペンダブル・セキュアコンピューティングの基本概念と用語
木下佳樹、松野裕、高村博紀、武山誠
産総研テクニカルレポート, 2009, Not refereed, Not invited

はじめてのD-Case
松野裕; 高井利憲; 大村一世; 岡田学; 越山勉; 斎藤功; 秋山浩一; 能條英紀; 山浦一郎, Joint work, 松野裕; 高井利憲; 大村一世; 岡田学; 越山勉; 斎藤功; 秋山浩一; 能條英紀; 山浦一郎
一般社団法人 ディペンダビリティ技術推進協会, Jun. 2018, Not refereed

実践D-Case
松野裕; 山本修一郎, Joint work, 松野裕、山本修一郎
ダイテックオンデマンド出版, 2013, Not refereed

D-Case入門～ディペンダビリティ・ケースを書いてみよう!～
松野裕; 高井利憲; 山本修一郎, Joint work, 松野裕、高井利憲、山本修一郎
ダイテックホールディング, 2012, Not refereed

Proposal of an Extended STAMP/STPA Method for Scenario-Based Safety Analysis of Interactions in Autonomous Driving
鳥谷部航; 松野裕
電子情報通信学会知能ソフトウェア工学研究会（KBSE）, Nov. 2024, Not invited

D-Case Communicator (Tool Demo)
Yutaka Matsuno
ASSURE 2024, th International Workshop on Assurance for Software-intensive Systems, Oct. 2024, Not invited

A Decompilation Method for Generating Executable C Codes from IoT Firmware using Large Language Model
Yuki Kato; Minami Yoda; Yutaka Matsuno
Computer Security Symposium 2024, Oct. 2024, Not invited

明確な解答のないシナリオを含む防災学習アプリによる防災意識向上の評価
秋山健鴻; 松野裕
電子情報通信学会KBSE研究会, Mar. 2024, Not invited

小説におけるキャラクターの「らしさ」を踏まえた台詞自動校正に関する研究
松浦芽衣; 松野裕
電子情報通信学会KBSE研究会, Mar. 2024, Not invited

A Study on Automatic Performance System for Emulating the Playing Style of a Specific Pianist using Feature Extraction with LSTM and Score Analysis
Li Senhao; Yutaka Matsuno
電子情報通信学会音声研究会, Feb. 2024, Not invited

大学研究室におけるディペンダブルなアジャイルプロセス開発の実践
児玉英明; 羽山夏生; 松野裕
日本ソフトウェア科学会ディペンダブルシステムワークショップ, Dec. 2023, Not invited

Citizen and Developer Collaborative Method for Disaster Experience App Development and a Continuous Disaster Prevention Learning Framework
Yutaka Matsuno
The 8th IFIP WG5.15 Conference on Information Technology in Disaster Risk Reduction, Nov. 2023, Not invited

シミュレーションゲーム形式の避難所体験アプリの開発
櫨山章太郎; 秋山健鴻; 児玉英明; 田代紗英; 栗山章; 島崎敢; 松野裕
日本デジタルゲーム学会第13年次大会, Feb. 2023, 日本デジタルゲーム学会, Not invited

ゴール構造化表記法を用いた車両システム構想設計における新規アイデアの要求獲得と合意形成手法
渡邉将弘、松野裕、高井利憲
電子情報通信学会KBSE研究会, Jan. 2023, 電子情報通信学会KBSE

Slackにおける履歴を用いたチャットボットに関する研究
松岡祐史、松野裕
電子情報通信学会KBSE研究会, Jan. 2023, 電子情報通信学会KBSE研究会, Not invited

ライトノベルを対象とした物語の特徴分析
岩鶴諭、松野裕
電子情報通信学会KBSE研究会, Jan. 2023, 電子情報通信学会KBSE研究会, Not invited

モデルベース開発の実践と評価
大熊 拓海 (日本大学); 児玉 英明 (日本大学); 瀧山 彰仁 (日本大学); 中道 浩紀 (日本大学); 高井 利憲 (奈良先端科学技術大学院大学); 岡田 学(株式会社ティアフォー); 杉田 卓斗 (株式会社Spectee); 松野 裕 (日本大学)
第20回ディペンダブルシステムワークショップ, Dec. 2022, 日本ソフトウェア科学会DSW研究会, Not invited

機械学習を用いたマルチモードファイバ波長計における光子数ゆらぎの影響
奥山皓介、西脇大輔、松野 裕、行方直人、井上修一郎
第 66 回理工学部学術講演会, Dec. 2022, 日本大学理工学部, Not invited

アジャイル開発における要求トレースモデルの提案
児玉英明; 鳥谷部航; 松野裕
電子情報通信学会KBSE研究会, Nov. 2022, 電子情報通信学会KBSE研究会, Not invited

ゲーミフィケーションによる災害時における避難所シミュレーションアプリの開発と評価
松浦芽衣; 榎本シン; 越前谷彩乃; 古大工智哉; 松野裕
電子情報通信学会KBSE研究会, Mar. 2022, 電子情報通信学会, Not invited

学部生によるオンラインコミュニケーションツールの参照実装
安藤玲央; 大河内崇史; 前山祐作; 村田一真; 松野裕
電子情報通信学会KBSE研究会, Mar. 2022, 電子情報通信学会, Not invited

ディペンダブルなデジタル社会の実現に向けて/D-Caseの紹介
松野裕
ET&IoTスペシャルセッション, Nov. 2021, 組込みシステム技術協会, Invited

大学研究室におけるアジャイルプロセスによるプロダクト開発に向けて
杉田卓斗・安藤玲央・越前谷彩乃・榎本シン・松野 裕
電子情報通信学会知能ソフトウェア工学研究会（KBSE）, Nov. 2021, 電子情報通信学会KBSE研究会, Not invited

DevOpsアシュアランスケースによるディペンダビリティ保証
大熊拓海、小池湧大、松野裕
DSW2020, Mar. 2021, 日本ソフトウェア科学会ディペンダブルシステム研究会

DevOpsアシュアランスケースによる自動運転システムの安全性保証
小池湧大(日大); 大熊拓海; 岡田 学(ティアフォー); 高井利憲(チェンジビジョン); 松野 裕(日大)
電子情報通信学会知能ソフトウェア工学研究会, Jan. 2021, 電子情報通信学会, Not invited

Web上のニュースソースのタイトル文による自動分類器の提案と検証
杉田卓斗、松野裕
NLP若手の会 (YANS) 第15回シンポジウム プログラム, Sep. 2020, NLP若手の会, Not invited

Web上のニュースソースのタイトル文による自動分類器の提案と検証
杉田卓斗、松野裕
電子情報通信学会知能ソフトウェア工学研究会, Sep. 2020, 電子情報通信学会, Not invited

開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
松野裕
ウィンターワークショップ2020・イン・京都(遠隔での参加), Jan. 2020, 情報処理学会/ソフトウェア工学研究会, Invited

大学研究室におけるアジャイル開発プロセスの提案と実践
森田祐宏; 加地奏万; 村上知里; 松野裕
電子情報通信学会KBSE研究会, Jan. 2020, 電子情報通信学会KBSE研究会, Not invited

音声情報のVR空間上での可視化による議事録作成ツールの開発
中村悠介; 塩畑圭佑; 村上知里; 松野裕
電子情報通信学会KBSE研究会, Jan. 2020, 電子情報通信学会KBSE研究会, Not invited

Safety Assurance of Machine Learning System
Yutaka Matsuno
University of Exeter Business School Seminars, Jan. 2020, University of Exeter Business School, Invited

アシュアランスケースの議論構造分析による評価方式の提案
秋山 泰澄; 越山 勉; 高井 利憲; 松野 裕
第17回 ディペンダブルシステムワークショップ (DSW 2019), Dec. 2019, 日本ソフトウェア科学会 ディペンダブルシステム研究会, Not invited

開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
小池 湧大,関 弘翔,松野 裕
第17回 ディペンダブルシステムワークショップ (DSW 2019), Dec. 2019, Not invited

ものづくりにおける GSN/D-Case による安全論証と合意
高井利憲、松野裕
第 10 回横幹連合コンファレンス, Nov. 2019, 横幹連合, Not invited

QRコードを利用した現在地照会システムのアシュアランスケースを用いた要件定義および 有用性の検討
杉田卓斗、小池湧大、森田祐宏、村上知里、松野裕
第26回 ソフトウェア工学の基礎ワークショップ FOSE2019, Nov. 2019, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会, Not invited

音声情報のVR空間上での可視化による要求獲得のための議事録生成ツールの開発
塩畑圭佑、中村悠介、村上知里、松野裕
第26回 ソフトウェア工学の基礎ワークショップ FOSE2019, Nov. 2019, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会, Not invited

大学研究室におけるアジャイル開発プロセスの提案と実践
加地奏万、森田祐宏、村上知里、松野裕
第26回 ソフトウェア工学の基礎ワークショップ FOSE2019, Nov. 2019, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会, Not invited

機械学習システムの動的な保証のための支援ツール開発
小池湧大、松野裕、石川冬樹
第２回機械学習工学研究会(MLSE夏合宿2019), Jul. 2019, 日本ソフトウエア科学会機械学習工学研究会, Not invited

Development of Flood Disaster Prevention Simulation Smart-phone Application Using Gamification
Yutaka Matsuno; Futaba Fukanuma; Shigenobu Tsuruoka
4th INTERNATIONAL CONFERENCE ON DYNAMICS OF DISASTERS, DOD 2019, Jul. 2019, Ilias S. Kotsireas, Anna Nagurney, Panos M. Pardalos, Fuad Aleskerov, Not invited

音声情報の可視化による議事録生成ツールへ向けて
中村悠介; 中瀬武; 谷島聖司; 松野裕
電子情報通信学会KBSE研究会, Mar. 2019, 電子情報通信学会, Not invited

降雨量当てスマートフォンアプリケーションによる降雨量の学習効果の評価
石井大就、島崎敢、中島広子、石垣陽、松野裕
電子情報通信学会知能ソフトウェア工学研究会（KBSE）, Jan. 2019, 電子情報通信学会, Not invited

日常のコミュニケーションにおける前提情報の認識量に関する被験者実験
青山祐太、大沼祐人、松野裕
電子情報通信学会知能ソフトウェア工学研究会（KBSE）, Jan. 2019, 電子情報通信学会, Not invited

カードゲーム開発のためのクラウドファンディングの実践
森田祐宏、中瀬武、松野裕
電子情報通信学会知能ソフトウェア工学研究会（KBSE）, Jan. 2019, 電子情報通信学会, Not invited

合意形成手法D-Caseの研究および普及活動-研究室の立ち上げからこれまでの４年間の活動を通して-
松野裕
ソフトウエア信頼性研究会第１４回ワークショップ(FORCE2018), Dec. 2018, ソフトウエア信頼性研究会, Invited

組込みシステムにおけるUIデバイスを考慮したUI設計指針の検討
外山祥平、松野裕、平山雅之
ソフトウエア信頼性研究会第１４回ワークショップ(FORCE2018), Dec. 2018, ソフトウエア信頼性研究会, Not invited

合意形成手法 “D-Case” ワークショップ及びその評価
大沼 祐人; 妹背 宏哉; 前原 菜々子; 斎藤 功; 松野 裕
第16回 ディペンダブルシステムワークショップ（DSW 2018）, Dec. 2018, 日本ソフトウエア科学会, Not invited

Development of Flood Disaster Prevention Simulation Smart-phone Application Using Gamification
Futaba Fukanuma; Shigenobu Tsuruoka; Yutaka Matsuno
The 5th International Conference on Information and Communication Technologies for Disaster Management (ICT-DM), Dec. 2018, IEEE, Not invited

深層学習によるファイバ分光器の高精度化
井出和輝; 松野裕; 行方直人; 井上修一郎
第６２回日本大学理工学部学術講演会, Dec. 2018, 日本大学理工学部, Not invited

アシュアランスケースの主張の変換を含めた議論パターンの提案
越山勉、高井利憲、松野裕、高橋聖
電子情報通信学会信頼性研究会, Oct. 2018, 電子情報通信学会, Not invited

アシュアランスケースの紹介とSCDLとの連携に向けて
松野裕
Safety Concept Notation Open Conference 2018 東京, Oct. 2018, 安全コンセプト記法研究会（SCN-SG）, Invited

放射線リスクコミュニケーションにおける市民合意形成の取り組み：D‑Case応用事例として
松野裕
第46回日本放射線技術学会秋季学術大会, Oct. 2018, 日本放射線技術学会, Invited

Development of Point Current, Gate Opening, Inundation River Sensor for IoT System
Anu Banepali; Shigeru Tsuruoka; Futaba Fukanuma; Yutaka Matsuno; Takashi Izumi
第43回土木情報学シンポジウム, Sep. 2018, 土木学会, Not invited

Continuous Argument Engineering： 機械学習システムにおける議論モデルの活用に向けて
石川冬樹、松野裕
第1回機械学習工学ワークショップ（MLSE2018）, Jul. 2018, 日本ソフトウェア科学会 機械学習工学研究会, Not invited

ゲーミフィケーションを用いた防災シミュレーションツールの開発
深沼二葉、鶴岡重信、松野裕
減災情報システム第7回合同研究会, Mar. 2018, 地域安全学会・電子情報通信学会, Not invited

D-Caseワークショップの試行及び評価
大沼祐人、松野裕
電子情報通信学会KBSE研究会, Mar. 2018, 電子情報通信学会, Not invited

STAMP/STPA事例の振り返りとGSNを用いたSTPAプロセスの説明支援
秋山泰澄 、岡本圭史、松野裕
第２回STAMPワークショップ, Nov. 2017, 情報処理推進機構, Not invited

IoTと点流速センサを用いた流量観測システム
鶴岡 重信、Anu BANEPALI、深沼 二葉、松野 裕
土木情報学シンポジウム, Sep. 2017, 土木学会, Not invited

Agile Way of Risk Awareness by Smartphone-Connected Environmental Sensors
Yang Ishigaki; Yoshinori Matsumoto; Takashi Moritake; Yutaka Matsuno; Kenji Tanaka
14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017), May 2017, Not invited

Models of Consensus Building among Citizens and Professionals in SNS
Yutaka Matsuno; Yang Ishigaki; Kenji Tanaka
14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017), May 2017, Not invited

河川水流の可視化による一般市⺠への防災情報提供へ向けた初期検討
松野裕、鶴岡重信、石垣陽、田中健次
第６回減災情報システム合同研究会, Mar. 2017, 減災情報システム合同研究会, Not invited

メンタルモデルを用いた大学研究室の特徴分析
森田祐宏、山﨑優希、松野裕
電子情報通信学会KBSE研究会, Mar. 2017, 電子情報通信学会, Not invited

D-Caseに基づく議論構造可視化支援ツールの開発と，スマートコミュニティにおける合意形成の実証
松野裕
電気通信大学「システム安全学ワークショップ」, Mar. 2017, 電気通信大学田中健次研究室, Invited

市民等と障害情報を共有する障害データベースの構築の試み
坂東幸一,松野裕,石垣陽,田中健次
第14回 ディペンダブルシステムワークショップ, Dec. 2016, 日本ソフトウエア科学会ディペンダブルシステム研究会, Not invited

リスクアセスメントに基づくウエブサーバのセキュリティ対策
笠井要輔、松野裕
第14回 ディペンダブルシステムワークショップ, Dec. 2016, 日本ソフトウエア科学会ディペンダブルシステム研究会, Not invited

ETロボコンにおけるSTAMP/STPAの試行およびウエブベースSTPAツールの設計と開発
阿部惇朗、古川優也、松野裕、岡本圭史
第1回 STAMPワークショップ in Japan, Dec. 2016, 情報処理推進機構, Not invited

多様なステークホルダによるシステムの安全性の合意形成に向けて
松野裕
計測自動制御学会 システム・情報部門 学術講演会 2016, Dec. 2016, 計測自動制御学会 システム・情報部門, Invited

システム思考に基づくリスク分析手法STAMPの試行およびwebベースSTAMPツールの設計と開発に向けて
阿部惇朗、古川優也、松野裕
第６０回日本大学理工学部学術講演会, Dec. 2016, 日本大学理工学部, Not invited

D-Case: ステークホルダーを明確化したGSNによる合意形成手法
石津流弥、松野裕
電子情報通信学会KBSE研究会, Nov. 2016, 電子情報通信学会, Not invited

Standardization of “Dependability Assurance Framework for Safety Sensitive Consumer Devices”
宮崎 比呂志; 石崎 直哉; 田口 研治; 松野 裕; 春山 浩行; 大畠 明
ソフトウエア工学研究会, Jul. 2016, 情報処理学会ソフトウエア工学研究会, Not invited

“Dependability Assurance Framework for Safety Sensitive Consumer Devices” 標準化
宮崎比呂志; 石崎 直哉; 田口 研治; 松野 裕; 春山 浩行; 大畠 明
第193回ソフトウェア工学研究発表会, Jul. 2016, 情報処理学会ソフトウエア工学研究会, Not invited

A Prototype Development of Assurance Cases Tool and Experiments on SNS Discussion of Radiation Disaster
Yutaka Matsuno; Yang Ishigaki; Koichi Bando; Kenji Tanaka
The 13th International Conference on Information Systems for Crisis Response and Management, May 2016, Not invited

D-Caseに基づく議論構造可視化支援ツールのプロトタイプ開発とスマートコミュニティにおける合意形成の実証
松野裕、石垣陽、坂東幸一、木藤浩之、田中健次
知能ソフトウエア工学（KBSE）研究会、電子情報通信学会, Mar. 2016, 電子情報通信学会知能ソフトウエア工学研究会, Not invited

D-Caseに基づく議論構造可視化支援ツールの開発とスマートコミュニティにおける合意形成の実証（IPA-RISEプロジェクト）
松野裕、石垣陽、坂東幸一、木藤浩之、田中健次
電気通信大学情報システム学研究科シンポジウム, Mar. 2016, 電気通信大学大学院情報システム学研究科, Invited

市民・行政・専門家の連携による環境監視・減災支援基盤の構築と社会実装
石垣陽、松野裕、栗橋翠、田中健次
電気通信大学情報システム学研究科シンポジウム, Mar. 2016, 電気通信大学大学院情報システム学研究科, Not invited

A Prototype Implementation of Open Failure Database for Information Sharing with Citizens－A case study on Recent Communications Network Failures
坂東幸一、松野裕、石垣陽、田中健次
第74回FTCS研究会, Jan. 2016, FTCS研究会, Not invited

Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools
Yutaka Matsuno
2015 MathWorks Asian Research Faculty Summit, Nov. 2015, MathWorks, Invited

Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools
Yutaka Matsuno
International Symposium on Information Technology and Application (ISITA2015), Nov. 2015, 日本大学理工学部応用情報工学科, Invited

D-CaseによるSysMLの説明力向上を目指して
岡本圭史、松野裕、吉田聡
電子情報通信学会知能ソフトウエア工学研究会, Oct. 2015, 電子情報通信学会, Not invited

アイデア作成ツールBrainPlotsの紹介
河野理愛、松野裕
電子情報通信学会知能ソフトウエア工学研究会, Oct. 2015, 電子情報通信学会知能ソフトウエア工学研究会, Invited

記述試行からのアシュアランスケース実用化へ向けた課題
松野裕
電子情報通信学会知能ソフトウエア工学(KBSE)研究会, Sep. 2015, 電子情報通信学会, Not invited

Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools
Yutaka Matsuno
VeriSure: Verification and Assurance 2015, Jul. 2015, SRI International, Invited

Trust Establishment in Participatory Radiation Sensing
Yang Ishigaki; Yoshinori Matsumoto; Yutaka Matsuno; Kenji Tanaka
IFIPTM 2015 (Ninth IFIP WG 11.11 International Conference on Trust Management), May 2015, IFIP, Not invited

A Design and Implementation of an Assurance Case Languages
Yutaka Matsuno
第75回先端ソフトウェア科学・工学に関するGRACEセミナー, Jan. 2015, 国立情報学研究所, Invited

信頼性・安全性保証に関する研究
松野裕
日本品質管理学会第４４回年次大会, Nov. 2014, 日本品質管理学会, Not invited

D-Case/アシュアランスケースを書いてみよう！！
松野裕
ET2014 IPA/SEC先端技術入門ゼミ, Nov. 2014, IPA/SEC, Invited

D-Case実用化へ向けて
松野裕
ET2014カンファレンス DEOSによるディペンダビリティ実用化最新動向 ～企業でのD-Case活用～, Nov. 2014, JASA, Invited

System Assurance and OMG Dependability Assurance
Yutaka Matsuno
MathWorks Asian Faculty Summit, Nov. 2014, MathWorks Japan, Invited

ヒューマンファクターを考慮したシステムアシュアランス
Yutaka Matsuno
電子情報通信学会安全性研究会/信学技報, vol. 114, no. 192, SSS2014-17, pp. 19-22, 2014年8月., Aug. 2014, Not invited

安全性、ディペンダビリティの保証
松野裕
第44回信頼性・保全性シンポジウム, Jul. 2014, Union of Japanese Scientists and Engineers, Invited

OMGコンシューマデバイス・ディペンダビリティ保証国際規格の策定とその評価実験
松野裕
電子情報通信学会知能ソフトウェア工学研究会, May 2014, Not invited

［チュートリアル講演］アシュアランスケース演習 ～ ツールを使って書いてみよう!! ～
松野裕
電子情報通信学会知能ソフトウェア工学研究会, May 2014, 電子情報通信学会知能ソフトウェア工学研究会, Not invited

新聞報道による情報システム事故の信頼性・安全性の分析
坂東幸一,松野 裕
情報処理学会 Software Japan 2014, Feb. 2014, Invited

高層建築物でのエレベータを利用した避難方法について～超高齢社会を想定して～
髙橋陽生,松野 裕,田中健次
電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集, Feb. 2014, Not invited

携帯端末を用いた建物火災における避難誘導システムの提案と評価
戸村 敦,松野 裕,田中健次
電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集, Feb. 2014, Not invited

リスクを積極的に提示するアンチウィルスインターフェースについて
国分佑樹,松野 裕,田中健次
電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集, Feb. 2014, Not invited

D-Case 安全・安心、ディペンダビリティ合意形成のための手法とツールの紹介
松野 裕
日本信頼性学会LCC研究会, Feb. 2014, Invited

アシュアランスケースパターンを用いたリスク分析の確認手法の提案
松野 裕、西 康晴
電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集, Feb. 2014, Not invited

D-Case超入門
松野 裕
横河電機セミナー, Jan. 2014, Invited

アシュアランスケース超入門、チュートリアル
松野 裕
電子情報通信学会KBSE研究会, Jan. 2014, Invited

共助による右直事故のリスク軽減
栗橋 翠,松野 裕,田中健次
日本機械学会第22回交通・物流部門大会（TRANSLOG2013）予稿集, Dec. 2013, Not invited

アシュアランスケース言語の設計と実装
松野 裕
情報処理学会プログラミング研究会, Nov. 2013, Not invited

ACCシステムを対象としたアシュアランスケース適用実験
松野 裕
信学技報, Nov. 2013, Not invited

D-Case超入門
松野 裕
日本信頼性学会情報システム信頼性研究会, Oct. 2013, Invited

Describing an assurance case using D-Case for microsatellite operations
Tanaka; K.; Matsuno; Y; Nakabo; Y.; Hiramatsu; T.; Shirasaka; S.; Nakasuka,S.
Proc. of Inter. Conference of Asia-Pacific Councils on Systems Engineering (APCOSEC), Sep. 2013, Not invited

DEOS and D-Case
Matsuno; Y
Proc. of Inter. Conference of Asia-Pacific Councils on Systems Engineering(APCOSEC), Sep. 2013, Not invited

事故ＤＢの実現に向けて
坂東幸一,松野 裕
日本信頼性学会情報システム信頼性研究会, Aug. 2013, Not invited

ETロボコンを対象としたD-Case記述事例
上野肇、松野裕
ソフトウエア・シンポジウム2013 in 岐阜, Jul. 2013, Not invited

D-Caseによるディペンダビリティ保証
松野裕
MMテクニカルフォーラム: 高信頼性を保証するディペンダビリティケースの紹介, Jan. 2013, Not invited

ユースケース分析に基づくディペンダビリティケース作成法の提案
松野裕、山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, 2013, Not invited

ディペンダビリティケース用語構成規則の提案
松村昌典、松野裕、山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, 2013, Not invited

ディペンダビリティケース用語構成規則の適用評価
松村昌典、山本修一郎、松野裕
信学技報,電子情報通信学会知能ソフトウエア工学研究会, 2013, Not invited

ディペンダビリティケース分解パターンについての考察
山本修一郎、松野裕
信学技報,電子情報通信学会知能ソフトウエア工学研究会, 2013, Not invited

アシュアランスケースツールへのプログラミング言語技術の適用
松野裕、山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, 2013, Not invited

ディペンダビリティケース作成法に関する一考察
山本修一郎; 松野裕
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Nov. 2012, Not invited

消費者機械とAssurance Case
松野裕
JMAABコアミーティング, Nov. 2012, MathWorks Japan, Not invited

D-Caseとその事例
松野裕
ET2012スペシャルセッション, Nov. 2012, Not invited

ディペンダビリティケースの紹介
松野裕
電子情報通信学会ディペンダブルコンピューティング研究会, Oct. 2012, Not invited

D-Case: Assurance Case for Open Systems
松野裕
he Open Group “AEA-Japan” Forum 2012 & Open Technical Forum 2012-3, Sep. 2012, Not invited

アシュアランスケースにおける品質到達性とトレーサビリティを考慮した記述ルール提案と超小型衛星開発への適用評価
田中康平、松野裕、中坊嘉宏、白坂成功、中須賀真一
第10回クリティカルソフトウェアワークショップ, Sep. 2012, 情報処理推進機構, Not invited

DS-Bench toolset: Tools for dependability benchmarking with simulation and assurance
松野裕
日本ソフトウエア科学会全国大会, Aug. 2012, Not invited

D-Case Pocket Book Draft
Yutaka Matsuno
Open Group RTES forum, Jul. 2012, Open Group RTES forum, Not invited

A proposed research framework for dependability science based on assurance cases
Vaise Patu; Yutaka Matsuno; Shuichiro Yamamoto
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Jul. 2012, Not invited

Modular GSNの定式化
猿渡卓也; 松野裕; 星野隆; 山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Jul. 2012, Not invited

ディペンダビリティケース作成法に関する一考察
山本修一郎; 松野裕
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Jul. 2012, Not invited

アシュアランスケースへの構造化文書の適用に関する調査
松野裕,ヴァイセ バトゥ,山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Jul. 2012, Not invited

エンタープライズアーキテクチャ開発プロセスに対するディペンダビリティケース作成法の提案
徳野達也,松野裕,山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Jul. 2012, Not invited

スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案
高間翔太,松野裕,山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, Jul. 2012, Not invited

Response to OMG Consumer Device Dependability Standard Proposal
Yutaka Matsuno
OMG SysA meeting, Jun. 2012, OMG SysA meeting, Not invited

アシュアランスケースを用いた小型人工衛星の品質保証
田中康平、松野裕、中坊嘉宏、白坂成功、中須賀真一
日本信頼性学会春季信頼性シンポジウム発表報文集,日本信頼性学会第２０回春季信頼性シンポジウム, Jun. 2012, Not invited

システム継続性を保証するためのリスク分析手法の構築経験
山本修一郎、松野裕
第32回ソフトウェア・シンポジウムSS2012, Jun. 2012, Not invited

ET ロボコンを対象としたドメインからの D-Case による保証議論の構築
伊東敦、松野裕
第32回ソフトウェア・シンポジウムSS2012, Jun. 2012, Not invited

D-Caseでロジカルに重要性が増す安全性の保証
松野裕
Dependable Software Day トークライブ ESEC2012, May 2012, Not invited

D-Case Editor: A Free Assurance Case Editor
Yutaka Matsuno
Embedded World 2012 FLOSS Session, Feb. 2012, Not invited

DEOS and D-Case for Open Systems Dependability
Yutaka Matsuno
Open Group RTES forum, Jan. 2012, Open Group RTES forum, Not invited

TOGAF NEXTに対するADMプロセステンプレートの提案
徳野達也; 松野裕; 山本修一郎
信学技報,電子情報通信学会知能ソフトウエア工学研究会, 2012, Not invited

Application of D-Case to the usage flow diagram scenario of the Distributed E-Learning System called KISSEL in Asian Pacific Universities
Vaise Patu; Yutaka Matsuno; Shuichiro Yamamoto
電子情報通信学会知能ソフトウエア工学研究会, 2012, Not invited

DS-Benchツールセット：ディペンダビリティベンチマークのための支援ツール(ポスター発表)
藤田肇、松野裕、塙敏博、上野肇、佐藤三久、加藤真平、石川裕
ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011), Dec. 2011, Not invited

d*フレームワーク:複数のアクタ間のディペンダビリティケース(ポスター発表)
松野裕、高井利憲、山本修一郎
ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011), Dec. 2011, Not invited

システムのディペンダビリティ、安全性保証の現在
松野裕; 田口研治
国際標準化セミナー, Nov. 2011, 計測自動制御学会, Not invited

変化し続けるシステムのディペンダビリティ合意形成の方法とツール
松野裕
ET2011スペシャルセッション, Nov. 2011, Not invited

Draft Assurance Case Repository White Paper
Luke Emmet; Yutaka Matsuno
System Assurance Task Force, OMG Technical Meeting, Sep. 2011, System Assurance Task Force, OMG Technical Meeting, Not invited

Mechanizing Assurance Case
Kenji Taguchi; Makoto Takeyama; Yutaka Matsuno
System Assurance Task Force, OMG Technical Meeting, Sep. 2011, System Assurance Task Force, OMG Technical Meeting, Not invited

Dependability Case for Open Systems Lifecycle
Yutaka Matsuno; Jin Nakazawa; Makoto Takeyama; Toshinori Takai; Takeo Matsuzaki; Kenji Taguchi; Hiroki Takamura
Real Time Embedded System Forum, Open Group Conference, Feb. 2011, Real Time Embedded System Forum, Open Group Conference, Not invited

説明責任を支援する技術 (1)
松野裕
ET 2010スペシャルセッション, Dec. 2010, Not invited

Standardization of GSN Patterns in OMG sysA PTF
Yutaka Matsuno; Kenji Taguchi; Hiroki Takamura
System Assurance Task Force, OMG Technical Meeting, Sep. 2010, System Assurance Task Force, OMG Technical Meeting, Not invited

組み込みシステムのディペンダビリティ評価
松野裕
日本応用数理学会2010年度年会講演予稿集,日本応用数理学会2010年度年会, Sep. 2010, Not invited

D-Caseを用いた保証プロセスについて
高井利憲、伊東敦、武山誠、上野肇、高村博紀、松野裕
日本ソフトウエア科学会 第8回ディペンダブルシステムワークショップ (DSW 2010)論文集,第8回ディペンダブルシステムワークショップ (DSW 2010), Jul. 2010, Not invited

A White Paper on Assurance Case Process Metamodel
Toshinori Takai; Atsushi Itoh; Makoto Takeyama; Hajime Ueno; Kenji Taguchi; Hiroki Takamura; Jin Nakazawa; Yutaka Matsuno
System Assurance Task Force, OMG Technical Meeting, Jun. 2010, System Assurance Task Force, OMG Technical Meeting, Not invited

Dependability Case for Embedded Systems in DEOS project
utaka Matsuno; Shinpei Nakata
System Assurance Task Force, OMG Technical Meeting, Dec. 2009, System Assurance Task Force, OMG Technical Meeting, Not invited

D-Case
松野裕
DEOS-横河電機ワークショップ, Oct. 2009, DEOS-横河電機ワークショップ, Not invited

ディペンダブルシステム向けベンチマークフレームワークの提案
加 藤真平; 藤田肇; 中澤仁; 松田元彦; 前田俊行; 杵渕雄樹; 塙敏博; 三浦信一; 石綿陽一; 松野裕; 高村博紀; 山田浩史; 吉田哲也; 倉光君郎; 菅谷みどり; 石川裕
第7回ディペンダブルシステムワークショップ(DSW 09summer), Jul. 2009, 第7回ディペンダブルシステムワークショップ(DSW 09summer) 論文集, Not invited

オペレーティングシステムおよび実システムにおけるディペンダビリティの評価と見積り
中澤仁; 松野裕; 菅谷みどり; 塙敏博; 前田俊行; 藤田肇; 石綿陽一; 杵渕雄樹; 高村博紀; 松田元彦; 三浦信一; 山田浩
第7回ディペンダブルシステムワークショップ(DSW 09summer), Jul. 2009, 第7回ディペンダブルシステムワークショップ(DSW 09summer) 論文集, Not invited

実用化を目指した組込みシステム用オペレーティングシステムプロジェクト(DEOS プロジェクト)（ポスター発表）
松野裕
Jul. 2009, 組込みシステム技術に関するサマーワークショップ, Not invited

利用者指向ディペンダビリティ
松野裕
TXテクノロジー・ショーケース in つくば, Jan. 2009, TXテクノロジー・ショーケース in つくば 農林水産技術会議事務局, Not invited

SSA形式と等価な型システムによるコンパイラ最適化の実装
松野裕
第217回計算機言語談話会 産業技術総合研究所システム検証研究センター, Feb. 2008, 産業技術総合研究所システム検証研究センター, Not invited

A Type System Equivalent to Static Single Assignment
松野裕; 大堀淳
第 9 回プログラミン グおよびプログラミング言語ワークショップ (PPL2007), Mar. 2007, 第 9 回プログラミン グおよびプログラミング言語ワークショップ (PPL2007), Not invited

A Type System for Optimization Verifying Compilers
松野裕、佐藤周行
第 6 回プログラミングおよびプログラミング言語ワークショップ (PPL2004), Mar. 2004, 第 6 回プログラミングおよびプログラミング言語ワークショップ (PPL2004), Not invited

Type Theoretical Compiler Verification
松野裕、佐藤周行
理論計算機科学と圏論ワークショップ (CSCAT 2004), Mar. 2004, 理論計算機科学と圏論ワークショップ (CSCAT 2004), Not invited

A Type System for Verification of Compiler Optimizations
松野裕、佐藤周行
シンポジウム 「システム検証の科学技術」, Feb. 2004, シンポジウム 「システム検証の科学技術」, Not invited

A Type System for Verification of Compiler Optimizations
松野裕、佐藤周行
第 47 回情報処 理学会プログラミング研究会, Feb. 2004, 第 47 回情報処 理学会プログラミング研究会, Not invited

Flow Analytic Type System for Compiler Optimizations
松野裕、佐藤周行
第 20 回「記号論 理学と情報科学」(SLACS 2003), Sep. 2003, 第 20 回「記号論 理学と情報科学」(SLACS 2003), Not invited

Flow Analytic Type System for Array Bound Checks
松野裕、佐藤周行
第 41 回情報処理学会プログラミング研究会, Oct. 2002, 第 41 回情報処理学会プログラミング研究会, Not invited

Flow Analytic Type System for Array Bound Checks
松野裕、佐藤周行
第 19 回 「記号論理 学と情報科学」(SLACS 2002), Sep. 2002, 第 19 回 「記号論理 学と情報科学」(SLACS 2002), Not invited

Software Engineering
Apr. 2020 - Present
Department of Computer Engineering, College of Science and Technology, Nihon University

Applied Statistics
Apr. 2015 - Present
Department of Computer Engineering, College of Science and Technology, Nihon University

社会知能情報学基礎１
電気通信大学

社会知能情報学基礎１
The University of Electro-Communications

Apr. 2013 - Present
日本品質管理学会

Apr. 2013 - Present
電子情報通信学会

Apr. 2013 - Present
情報処理学会

Apr. 2006 - Present
コンピュータソフトウエア科学会

複雑システムに対応する保証付き階層化安全分析手法STPA-Refine
日本学術振興会, 科学研究費助成事業, Apr. 2024 - Mar. 2028
岡本 圭史, 松野 裕, 高井 利憲

Developing a programming language for automatic synthesis of assurance cases
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2023 - Mar. 2026
山形 頼之; 松野 裕; 西原 秀明

DevOpsアシュアランスケースによる機械学習システムのディペンダビリティ保証
JSPS, 科学研究費助成事業, Apr. 2020 - Mar. 2023
松野裕

変化する要求と環境における機械学習システムのディペンダビリティ保証ツール・手法の研究開発
National Institute of Informatics, 公募型共同研究, Apr. 2021 - Mar. 2022

Infrastructure Construction and Social Implementation for Support of Environmental Monitoring and Disaster Reduction by Cooperation of Citizens, Administration and Experts
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, 01 Apr. 2015 - 31 Mar. 2019
TANAKA Kenji; ISHIGAKI Yang

ステークホルダーネットワークによる合意形成支援手法とツールの開発
Apr. 2017 - Mar. 2019
松野裕

Defining software integrity levels using argumentation theory
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, 01 Apr. 2015 - 31 Mar. 2018
Takai Toshinori; FURUSAWA Hitoshi

市民・専門家双方のための放射線リスク コミュニケーションデータベース構築
新技術開発財団, 復興支援特定研究助成, Mar. 2016 - Mar. 2017

概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究
Apr. 2015 - Mar. 2017

528058, 2010-267460, ディペンダビリティ維持システム、変化対応サイクル実行装置、障害対応サイクル実行装置、ディペンダビリティ維持システムのの制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体
横手 靖彦、所眞理雄、山本 修一郎、松野裕

WO 2012/073686, 2010-267461,2011JP076219, ディペンダビリティ維持装置、ディペンダビリティ維持システム、障害対応システム、ディペンダビリティ維持装置の制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体
松野裕, 横手靖彦