Theses
Book
D-Case入門 -Lets write a dependability case!-
Matsuno Yutaka, Takai Toshinori, Yamamoto Shuichiro
Publishing Office : Daitec Holdings Co., Ltd
（Free of Charge）
実践D-Case
Matsunno Yutaka, Yamamoto Shuichiro
(Publication On Demand)
Paper
Yutaka Matsuno, A Design and Implementation of an Assurance Case Language. In Proc. of IEEE/IFIP DSN 2014,
12 pages, Atlanta, USA, June 23-26,2014
Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, and Yutaka
Ishikawa. DS-Bench toolset: Tools for dependability benchmarking with simulation and assurance.
In Proc. IEEE/IFIP DSN 2012,8 pages, Boston, USA, June 25-28, 2012
Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, and Yutaka Ishikawa. Toward
a language for communication among stakeholders. In Proc. of the 16th IEEE Pacific Rim
International Symposium on Dependable Computing (PRDC’10), pages 93–100, 2010.
Yutaka Matsuno and Kenji Taguchi. Parameterised argument structure for GSN patterns. In Proc.
IEEE 11th International Conference on Quality Software (QSIC 2011), pages 96–101, 2011.
Yutaka Matsuno, Hiroki Takamura, and Yutaka Ishikawa. A dependability case editor with pattern
library. In Procs. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pages 170–171, 2010.
Yutaka Matsuno and Shuichiro Yamamoto. Consensus building and in-operation assurance for
service dependability. In Proc. of CD-ARES, LNCS 7465, pages 639–653. Springer, 2012.
Yutaka Matsuno and Shuichiro Yamamoto. Toward dynamic assurance cases. In Proc. JCKBSE
2012, pages 154–160. IOS Press, 2012.
Yutaka Matsuno and Shuichiro Yamamoto. A new method for writing assurance cases. Interna-
tional Journal of Secure Software Engineering (IJSSE), Special Issue on Cybersecurity Scientific
Validation, January 2013. Accepted for Publication.
Kohei Tanaka, Yutaka Matsuno, Yoshihiro Nakabo, Seiko Shirasaka, and Shinichi Nakasuka.
Toward strategic development of hodoyoshi microsatellite using assurance cases. In Proc. of
International Astronautical Federation (IAC2012), 2012.
Shuichiro Yamamoto and Yutaka Matsuno. A review method based on a matrix interpretation of
GSN. In Proc. JCKBSE 2012, pages 36–42. IOS Press, 2012.
伊東敦、松野裕. ET ロボコンを対象としたドメインからのD-Case による保証議論の構築. In
ソフトウエアシンポジウム2012 予稿集, 2012.
中澤仁、松野裕、徳田英幸. D-Case を用いたユビキタス・センサ・ネットワーク管理ツー
ル. 電子情報通信学会論文誌（和文B）ユビキタス・センサネットワークを支えるシステム開
発論文特集, J95-B(11), 11 2012.