Yutaka Matsuno
Yutaka Matsuno
Department of Computer Engineering, College of Science and Technology, Nihon University
確認したメール アドレス: nihon-u.ac.jp - ホームページ
タイトル
引用先
引用先
A dependability case editor with pattern library
Y Matsuno, H Takamura, Y Ishikawa
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
482010
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
402013
Parameterised argument structure for GSN patterns
Y Matsuno, K Taguchi
2011 11th International Conference on Quality Software, 96-101, 2011
262011
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
252012
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
222010
A design and implementation of an assurance case language
Y Matsuno
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
192014
A type system equivalent to static single assignment
Y Matsuno, A Ohori
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
182006
An implementation of GSN community standard
Y Matsuno, S Yamamoto
2013 1st International Workshop on Assurance Cases for Software-Intensive …, 2013
132013
d* framework: Inter-dependency model for dependability
S Yamamoto
DSN2012, 2012
132012
D-case editor: A typed assurance case editor
Y Matsuno
University of Tokyo, 2011
132011
Continuous argument engineering: Tackling uncertainty in machine learning based systems
F Ishikawa, Y Matsuno
International Conference on Computer Safety, Reliability, and Security, 14-21, 2018
112018
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
102013
Participatory Radiation Information Monitoring with SNS after Fukushima.
Y Ishigaki, Y Matsumoto, Y Matsuno, K Tanaka
ISCRAM, 2015
72015
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
72014
Consensus building and in-operation assurance for service dependability
Y Matsuno, S Yamamoto
International Conference on Availability, Reliability, and Security, 639-653, 2012
72012
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
72012
A review method based on a matrix interpretation of GSN.
S Yamamoto, Y Matsuno
JCKBSE, 36-42, 2012
62012
Failure Analyses of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability
K Bando, Y Matsuno, K Tanaka
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015
52015
A comparative study of d∗ framework and GSN
T Saruwatari, Y Matsuno, S Yamamoto
2013 IEEE International Symposium on Software Reliability Engineering …, 2013
52013
ディペンダビリティケース分解パターンについての考察 (知能ソフトウェア工学)
山本修一郎, 松野裕
電子情報通信学会技術研究報告: 信学技報 112 (496), 67-72, 2013
52013
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20