Home Jp
Dependable Computingの日米の大先生、Avezienis先生と南谷先生と(DSN 2014, Atlanta, Georgia, USA, June 2014)
email address: matsuno.yutaka "at" nihon-u.ac.jp
履歴
2023.4-現在 教授、日本大学理工学部応用情報工学科
2015.4~2023.3 准教授、日本大学理工学部応用情報工学科
2013.4~2015.3 助教、 電気通信大学大学院情報システム学研究科
2012.4~2013.3 特任講師、名古屋大学情報連携統括本部
2010.4~2012.3 特任講師、東京大学情報基盤センター
2008.10~2010.3 産総研特別研究員、産業技術総合研究所システム検証研究センター
2008.4~2008.9 教育研究支援者、東北大学大学院情報科学研究科
2006.4~2008.3 産学官連携研究員、東北大学電気通信研究所
2001.4~2006.3 東京大学大学院新領域創成科学研究科 修士(2001.4~2003.3)、博士(2003.4~2006.3)課程修了
1997.4~2001.3 東京大学工学部電子工学科 学部課程卒業
1993.4~1996.3 早稲田大学高等学院 卒業
1990.4~1993.3 八王子市立松が谷中学校、Madrona Middle School, CA, USA, Torrance High School, CA, USA
1984.4~1990.3 八王子市立松が谷小学校
研究分野:
Assurance Cases, Dependability, Programming Lanugages, Safety, and Type System
業績書 (PDFはファイル(CV.pdf))
プロジェクト:
D-Case Project システム保証、Assurance Caseに関する企業との研究会、講習会など。
OMG Dependability Assurance Framework for Safety-Sensitive Consumer Devices (SSCD) 国際標準化プロジェクト。トヨタ, IPA, 富士通、産総研、等、多くの団体との共同プロジェクト。
発表文献の一部 (全発表文献 はこちら。DBLPのページ) (DSN 2012 と DSN2014の論文は下に添付されています)
鶴岡重信、Anu BANEPALI、深沼二葉、松野裕: IoTと点流速を用いた流量観測システム、土木学会論文集、2018
Yang Ishigaki, Yutaka Matsuno, Koichi Bando, Kenji Tanaka:
Wisdom of Crowds for Reliable Discussion and Need Finding: A Case Study of Information Sharing Regarding Radiation after the Fukushima Nuclear Disaster. HICSS 2017
Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka:
Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases. SAFECOMP Workshops 2016: 55-62
Toshinori Takai, Hiroyuki Kido and Yutaka Matsuno, Modular Construction of Assurance Cases Written in Defeasible GSN, AAA2015, 2nd International Workshop for Argument for Agreement and Assurance, Hiyoshi Campus, Keio University, Japan, Nov. 17, 2015
Koichi Bando, Yutaka Matsuno, Kenji Tanaka, Failure Analysis of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability, The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Zhangjiajie, China, November 18-20, 2015, Accepted as a Regular Paper.
Yang Ishigaki, Yoshinori Matsumoto, Yutaka Matsuno, Kenji Tanaka, Participatory Radiation Information Monitoring with SNS after Fukushima, 12th International Conference on Information Systems for Crisis Response and Management (ISCRAM2015), Short Paper, Kristiansand, Norway, May 2015.
Yang Ishigaki, Yoshinori Matsumoto, Yutaka Matsuno, Kenji Tanaka, Trust Establishment in Participatory Radiation Sensing, IFIPTM 2015 (Ninth IFIP WG 11.11 International Conference on Trust Management), Poster, May 2015.
Sui Kurihashi, Yutaka Matsuno, Kenji Tanaka, Enhancing Safety with a Mutual Assistance System for Automobile, SICE Journal of Control, Measurement, and System Integration, vol.8; NO.2, pages161-170, 2015.
Yutaka Matsuno, A Design and Implementation of an Assurance Case Language, in proc. IEEE/IFIP Dependable Systems and Netoworks (DSN) 2014, pages 630-641, June 23-26, 2014, Atlanta, USA.
発表スライドが下にあります。
Yutaka Matsuno, Shuichiro Yamamoto, A New Method for Writing Assurance Cases, International Journal of Secure Software Engineering (IJSSE), vol 4, issue 1, pages 31-49, 2013.
Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, Yutaka Ishikawa, DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance, in proc. IEEE/IFIP Dependable Systems and Networks (DSN) 2012, 8 pages, June 25-28, 2012, Boston, USA.
Yutaka Matsuno, Atsushi Ohori, A Type System Equivalent to Static Single Assignment, in proc. ACM Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), pages 249-260, July 10-12, 2006, Venice, Italy.
Yutaka Matsuno, Hiroyuki Sato, A Type System for Optimization Verifying Compilers, Computer Software 22(3), pages 19-35, 2005.
Yutaka Matsuno, Hiroyuki Sato, Flow Analytic Type System for Array Bound Checks, Electrtonic Notes in Theoretical Computer Science, vol 78, pages 178-195, 2003.
外部獲得資金
研究代表者、科研若手B 「ステークホルダーネットワークによる合意形成支援手法とツールの開発」、2017年ー2018年度
研究代表者、新技術開発財団 復興支援特定研究助成「市民・専門家双方のための放射線リスクコミュニケーションデータベース構築」、2016年度
研究代表者、科研若手B「概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究」、2015年ー2016年度
研究分担者(研究代表者 田中健次 電通大教授)、科研基盤A「市民・行政・専門家の連携による環境監視・減災支援基盤の構築と社会実装」、2015年ー2018年度
研究分担者(研究代表者 高井利憲 奈良先端大特任准教授)、科研基盤C「議論学を応用したソフトウエアインテグレイティレベルの提案」、2015年ー2017年度
研究代表者、トヨタ自動車との共同研究「消費者機械安全保証手法の研究」、2014年度
研究代表者、トヨタ自動車との共同研究「エンジン制御開発の保証議論、プロセスモデル、用語モデル開発のための調査研究」、2013年度
研究分担者(研究代表者 倉光君郎 横国大准教授)、JST CREST DEOSプロジェクト「D-Caseの実用化」、2013年度
© Yutaka Matsuno 2014, 2015, 2016