Obserwuj
Yutaka Matsuno
Yutaka Matsuno
Department of Computer Engineering, College of Science and Technology, Nihon University
Zweryfikowany adres z nihon-u.ac.jp - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
A dependability case editor with pattern library
Y Matsuno, H Takamura, Y Ishikawa
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
592010
An evaluation of argument patterns to reduce pitfalls of applying assurance case
S Yamamoto, Y Matsuno
2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013
572013
DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance
H Fujita, Y Matsuno, T Hanawa, M Sato, S Kato, Y Ishikawa
IEEE/IFIP International conference on dependable systems and networks (DSN …, 2012
302012
Parameterised argument structure for GSN patterns
Y Matsuno, K Taguchi
2011 11th International Conference on Quality Software, 96-101, 2011
302011
A design and implementation of an assurance case language
Y Matsuno
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
252014
Towards a language for communication among stakeholders
Y Matsuno, J Nakazawa, M Takeyama, M Sugaya, Y Ishikawa
2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010
232010
An implementation of GSN community standard
Y Matsuno, S Yamamoto
2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013
222013
Evidence-driven requirements engineering for uncertainty of machine learning-based systems
F Ishikawa, Y Matsuno
2020 IEEE 28th International Requirements Engineering Conference (RE), 346-351, 2020
192020
d* framework: Inter-dependency model for dependability
S Yamamoto
DSN, 2012
192012
A type system equivalent to static single assignment
Y Matsuno, A Ohori
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
182006
D-case editor: A typed assurance case editor
Y Matsuno
University of Tokyo, 2011
172011
Continuous argument engineering: Tackling uncertainty in machine learning based systems
F Ishikawa, Y Matsuno
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018
142018
Be careful who you trust: Issues with the Public Key Infrastructure
P Black, R Layton
2014 Fifth Cybercrime and Trustworthy Computing Conference, 12-21, 2014
112014
A Framework for Dependability Consensus Building and In-Operation Assurance.
Y Matsuno, S Yamamoto
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4 (1), 118-134, 2013
112013
D-Case NYUUMONN Dependability Case WO KAITEMIYOU!(D-Case Introduction.-Let's write a dependability case!-)
Y Matsuno, T Takai, S Yamamoto
Daitec Holding Co., Ltd, 67-82, 2012
102012
Consensus building and in-operation assurance for service dependability
Y Matsuno, S Yamamoto
Multidisciplinary Research and Practice for Information Systems: IFIP WG 8.4 …, 2012
102012
Participatory Radiation Information Monitoring with SNS after Fukushima.
Y Ishigaki, Y Matsumoto, Y Matsuno, K Tanaka
ISCRAM, 2015
92015
Tackling uncertainty in safety assurance for machine learning: continuous argument engineering with attributed tests
Y Matsuno, F Ishikawa, S Tokumoto
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019
82019
A review method based on a matrix interpretation of GSN
S Yamamoto, Y Matsuno
Knowledge-Based Software Engineering, 36-42, 2012
82012
D-case communicator: a web based GSN editor for multiple stakeholders
Y Matsuno
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
72017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20