Home En

Yutaka Matsuno 松野 裕, Ph.D.,   (Japanese Page)

Professor at Department of Computer Engineering, College of Science and Technology, Nihon University, Japan

With Hideyuki Jitsumoto (righthand side) at World of Coca-Cola, Atlanta, Georgia, USA, June 2014

email address: matsuno.yutaka "at" nihon-u.ac.jp

facebook and twitter

CV

• 2023.4~                    Professor at Department of Computer Engineering, College of Science and Technology, Nihon University

• 2015.4~2023.3    Associate Professor at Department of Computer Engineering, College of Science and Technology, Nihon University

• 2013.4~2015.3    Assistant Professor at Graduate School of Information Systems, The University of Electro-Communications

• 2012.4~2013.3    Project Lecturer at Information and Communications Headquarters, Nagoya University

• 2010.4~2012.3    Project Lecturer at Information Technology Center, The University of Tokyo

• 2008.10~2010.3  Post Doc at CVS, AIST

• 2008.4~2008.9    Post Doc at Graduate School of Information Sciences, Tohoku University

• 2006.4~2008.3    Post Doc at RIEC, Tohoku University

• 2001.4~2006.3    Ph.D. Candidate at Graduate School of Frontier Sciences, The University of Tokyo, obtained MS and Ph.D.

• 1997.4~2001.3    Undergraduate Student at Department of Electronics Engineering, The University of Tokyo, obtained BEng

• 1993.4~1996.3    Waseda University Senior High School

Research Interests:

Assurance Cases, Dependability, Programming Lanugages, Safety, and Type System

Project:

D-Case Project for collaborating on system assurance and assurance cases with industries. 

OMG Dependability Assurance Framework for Safety-Sensitive Consumer Devices (SSCD) Standardization Project with Toyota, IPA, Fujitsu, AIST, 

          and many other organizations.

Selected Publications (A complete list can be found here and and a partial list is in DBLP) (DSN 2012 and DSN 2014 papers are attached below)

• 鶴岡重信、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

• Koichi Bando, Yutaka Matsuno, Yang Ishigaki, Kenji Tanaka:

• Trend Analyses of Failures in Information Systems: A Case Study on Communications Networks and Financial Information Systems. PRDC 2017: 233-234

• 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.

  • Presentation Slides attached below 

• 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.

© Yutaka Matsuno 2014, 2015