フォロー
Yutaka Matsuno
Yutaka Matsuno
Professor, Department of Computer Engineering, College of Science and Technology, Nihon University
確認したメール アドレス: nihon-u.ac.jp - ホームページ
タイトル
引用先
引用先
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
642013
A dependability case editor with pattern library
Y Matsuno, H Takamura, Y Ishikawa
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
632010
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
382020
Parameterised argument structure for GSN patterns
Y Matsuno, K Taguchi
2011 11th International Conference on Quality Software, 96-101, 2011
382011
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
342012
A design and implementation of an assurance case language
Y Matsuno
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
302014
An implementation of GSN community standard
Y Matsuno, S Yamamoto
2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013
262013
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
242010
D-case editor: A typed assurance case editor
Y Matsuno
University of Tokyo, 2011
232011
A type system equivalent to static single assignment
Y Matsuno, A Ohori
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
192006
Continuous argument engineering: Tackling uncertainty in machine learning based systems
F Ishikawa, Y Matsuno
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018
182018
d* framework: Inter-dependency model for dependability
Y Shuichiro
DSN, 2012
182012
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
132014
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
122019
Participatory Radiation Information Monitoring with SNS after Fukushima.
Y Ishigaki, Y Matsumoto, Y Matsuno, K Tanaka
ISCRAM, 2015
122015
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 communicator: a web based GSN editor for multiple stakeholders
Y Matsuno
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
102017
Consensus building and in-operation assurance for service dependability
Y Matsuno, S Yamamoto
International Conference on Availability, Reliability, and Security, 639-653, 2012
102012
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
Dependability maintenance system, change accommodation cycle execution device, failure response cycle execution device, method for controlling dependability maintenance system …
Y Yokote, M Tokoro, S Yamamoto, Y Matsuno
US Patent 8,806,272, 2014
92014
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20