Yutaka Matsuno

Orcid: 0000-0001-9809-0814

According to our database1, Yutaka Matsuno authored at least 39 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Toward Dependability Assurance Framework for Automated Driving Systems.
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.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022
Development and Evaluation of a Shelter Simulator Using Gamification.
Proceedings of the Information Technology in Disaster Risk Reduction, 2022

2021
Assurance Carrying Code for Software Supply Chain.
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.
IEICE Trans. Inf. Syst., 2020

Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Algebraic Approach for Confidence Evaluation of Assurance Cases.
Proceedings of the Formal Methods and Software Engineering, 2020

2019
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.
Proceedings of the Computer Safety, Reliability, and Security, 2019

2018
D-Case Steps: New Steps for Writing Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2018

2017
D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders.
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.
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.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2016
Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2016

A Prototype Development of Assurance Cases Tool and Experiments on SNS Discussion of Radiation Disaster.
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.
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.
Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, 2015

Participatory Radiation Information Monitoring with SNS after Fukushima.
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.
Proceedings of the Human Interface and the Management of Information. Information and Knowledge in Context, 2015

2014
A Design and Implementation of an Assurance Case Language.
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.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013

A New Method for Writing Assurance Cases.
Int. J. Secur. Softw. Eng., 2013

A Method to Share Word Knowledge of Dependability Case.
Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

A comparative study of d∗framework and GSN.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

An evaluation of argument patterns to reduce pitfalls of applying assurance case.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

An implementation of GSN community standard.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

A Dependability Assurance Method Based on Data Flow Diagram (DFD).
Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013

2012
A review method based on a matrix interpretation of GSN.
Proceedings of the Knowledge-Based Software Engineering, 2012

Toward Dynamic Assurance Cases.
Proceedings of the Knowledge-Based Software Engineering, 2012

A Proposal on a Method for Reviewing Operation Manuals of Supercomputer.
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.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Consensus Building and In-operation Assurance for Service Dependability.
Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011
Parameterised Argument Structure for GSN Patterns.
Proceedings of the 11th International Conference on Quality Software, 2011

Evaluating degree of systems' dependability with semi-structured assurance case.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

2010
Towards a Language for Communication among Stakeholders.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

A Dependability Case Editor with Pattern Library.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2006
A type system equivalent to static single assignment.
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.
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003


  Loading...