Yutaka Matsuno

According to our database, Yutaka Matsuno authored at least 43 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Case Study of Continuous Assurance Argument for Level 4 Automated Driving.

Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya

Proceedings of the Computer Safety, Reliability, and Security, 2024

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

Proceedings of the 16th IIAI International Congress on Advanced Applied Informatics, 2024

2023

Toward Dependability Assurance Framework for Automated Driving Systems.

Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN.

Masahiro Watanabe, Yutaka Matsuno, Toshinori Takai

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Development and Evaluation of a Shelter Simulator Using Gamification.

Yutaka Matsuno, Mei Matsuura

Proceedings of the Information Technology in Disaster Risk Reduction, 2022

2021

Assurance Carrying Code for Software Supply Chain.

Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method.

Yutaka Matsuno, Toshinori Takai, Shuichiro Yamamoto

IEICE Trans. Inf. Syst., 2020

Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems.

Fuyuki Ishikawa, Yutaka Matsuno

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Algebraic Approach for Confidence Evaluation of Assurance Cases.

Yoriyuki Yamagata, Yutaka Matsuno

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.

Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

D-Case Steps: New Steps for Writing Assurance Cases.

Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno

Proceedings of the Computer Safety, Reliability, and Security, 2018

Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems.

Fuyuki Ishikawa, Yutaka Matsuno

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders.

Yutaka Matsuno

Proceedings of the Computer Safety, Reliability, and Security, 2017

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 the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

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, 2017

2016

Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases.

Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka

Proceedings of the Computer Safety, Reliability, and Security, 2016

A Prototype Development of Assurance Cases Tool and Experiments on SNS Discussion of Radiation Disaster.

Yang Ishigaki, Yutaka Matsuno, Koichi Bando, Kenji Tanaka

Proceedings of the 13th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2016

2015

Failure Analyses of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability.

Koichi Bando, Yutaka Matsuno, Kenji Tanaka

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Empirical performance study of speculative parallel processing on commercial multi-core CPU with hardware transactional memory.

Kanemitsu Ootsu, Yutaka Matsuno, Takeshi Ohkawa, Takashi Yokota, Takanobu Baba

Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, 2015

Participatory Radiation Information Monitoring with SNS after Fukushima.

Yang Ishigaki, Yoshinori Matsumoto, Yutaka Matsuno, Kenji Tanaka

Proceedings of the 12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2015

Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System.

Sui Kurihashi, Yutaka Matsuno, Kenji Tanaka

Proceedings of the Human Interface and the Management of Information. Information and Knowledge in Context, 2015

2014

Design and Implementation of GSN Patterns: A Step toward Assurance Case Language.

Yutaka Matsuno

Inf. Media Technol., 2014

A Design and Implementation of an Assurance Case Language.

Yutaka Matsuno

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

A Framework for Dependability Consensus Building and In-Operation Assurance.

Yutaka Matsuno, Shuichiro Yamamoto

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013

A New Method for Writing Assurance Cases.

Yutaka Matsuno, Shuichiro Yamamoto

Int. J. Secur. Softw. Eng., 2013

A Method to Share Word Knowledge of Dependability Case.

Masanori Matsumura, Vaise Patu, Yutaka Matsuno, Shota Takama, Tatsuya Tokuno, Shuichiro Yamamoto

Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

A comparative study of d∗framework and GSN.

Takuya Saruwatari, Shuichiro Yamamoto, Yutaka Matsuno

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

An evaluation of argument patterns to reduce pitfalls of applying assurance case.

Shuichiro Yamamoto, Yutaka Matsuno

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

An implementation of GSN community standard.

Yutaka Matsuno, Shuichiro Yamamoto

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

A Dependability Assurance Method Based on Data Flow Diagram (DFD).

Nada Olayan, Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto

Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013

2012

A review method based on a matrix interpretation of GSN.

Shuichiro Yamamoto, Yutaka Matsuno

Proceedings of the Knowledge-Based Software Engineering, 2012

Toward Dynamic Assurance Cases.

Yutaka Matsuno, Shuichiro Yamamoto

Proceedings of the Knowledge-Based Software Engineering, 2012

A Proposal on a Method for Reviewing Operation Manuals of Supercomputer.

Shota Takama, Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

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

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance.

Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, Yutaka Ishikawa

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Consensus Building and In-operation Assurance for Service Dependability.

Yutaka Matsuno, Shuichiro Yamamoto

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011

Parameterised Argument Structure for GSN Patterns.

Yutaka Matsuno, Kenji Taguchi

Proceedings of the 11th International Conference on Quality Software, 2011

Evaluating degree of systems' dependability with semi-structured assurance case.

Jin Nakazawa, Yutaka Matsuno, Hideyuki Tokuda

Proceedings of the 13th European Workshop on Dependable Computing, 2011

2010

Towards a Language for Communication among Stakeholders.

Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

A Dependability Case Editor with Pattern Library.

Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2006

A Type System for Optimization Verifying Compilers.

Yutaka Matsuno, Hiroyuki Sato

Inf. Media Technol., 2006

A type system equivalent to static single assignment.

Yutaka Matsuno, Atsushi Ohori

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2003

Flow Analytic Type System for Array Bound Checks.

Yutaka Matsuno, Hiroyuki Sato

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003