D-Case Editor     Information     Download     Papers

・Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, and Yutaka Ishikawa, "DS-Bench Toolset: Tools for Dependability Benchmarking with Simulation and Assurance,"42nd IEEE/IFIP International Conference on Dependable System and Networks (DSN 2012),8 pages,Jun.2012.(Accepted)

・Yutaka Matsuno, Kenji Taguchi: Parameterised Argument Structure for GSN Patterns, Proc. IEEE 11th International Conference on Quality Software (QSIC 2011), 6 pages, to appear, July 2011 (Short Paper).

・Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa: A Dependability Case Editor with Pattern Library, Proc. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pp. 170-171, Nov. 2010 (Fast Abstract).