Shuji Kinoshita

地域防災計画業務記述5原則の提言 – 自治体防災業務のオープンシステムディペンダビリティ達成に向けて – 

日本ソフトウェア科学会第39回大会, Sep 2, 2022

Traceability as a Basis for Assurance 

日本ソフトウェア科学会 第18回ディペンダブルシステムワークショップ(DSW 2020), Mar 19, 2021

ディペンダビリティに関する標準化活動の動向 

日本ソフトウェア科学会 第17回ディペンダブルシステムワークショップ(DSW 2019)，東京都墨田区, Dec 5, 2019

ISO/IEC/IEEE 15026-2 Assurance case 改訂の現状 

日本ソフトウェア科学会 第16回ディペンダブルシステムワークショップ(DSW 2018)、石川県金沢市, Dec 13, 2018

形式アシュアランスケースにおけるオントロジー構築法 

情報処理学会 ソフトウェア工学研究会 ウィンターワークショップ2017・イン・飛騨高山、岐阜県高山市, Jan 19, 2017

Analysis of Open Systems Dependability Requirements for Formal Assurance Cases 

日本ソフトウェア科学会 第14回ディペンダブルシステムワークショップ(DSW 2016)、北海道函館市, Dec 16, 2016

Analysis of Open Systems Dependability Requirements in Agda 

12th Theorem Proving and Provers (TPP 2016)、 東京都文京区, Nov 14, 2016

オープンシステム・ディペンダビリティに基づく平塚市地域防災計画の分析 

日本災害情報学会第18回学会大会、東京都世田谷区, Oct 22, 2016

アシュランス議論のための6W1Hモデル 

ディペンダビリティ技術推進協会標準化部会 第5回システムアシュランス研究会、神奈川県横浜市, Mar 16, 2016  Invited

地域防災計画のアシュランス議論に向けて 

日本ソフトウェア科学会 第13回ディペンダブルシステムワークショップ(DSW 2015)、静岡県熱海市, Dec 17, 2015

Formal Assurance Case in Agda (FACIA) 

2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan), Nov 17, 2015

Towards Assurance Arguments of Disaster Management Plans 

3rd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015), Delft (Netherland), Sep 22, 2015