Publications

Book

  • D-Case入門 -Lets write a dependability case!-
    • Authors: Matsuno Yutaka, Takai Toshinori, Yamamoto Shuichiro
    • Publishing Office : Daitec Holdings Co., Ltd（Free of Charge）

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.