木下 修司

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

日本ソフトウェア科学会第39回大会 2022年9月2日

Traceability as a Basis for Assurance 

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

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

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

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

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

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

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

Analysis of Open Systems Dependability Requirements for Formal Assurance Cases 

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

Analysis of Open Systems Dependability Requirements in Agda 

12th Theorem Proving and Provers (TPP 2016)、 東京都文京区 2016年11月14日

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

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

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

ディペンダビリティ技術推進協会標準化部会 第5回システムアシュランス研究会、神奈川県横浜市 2016年3月16日  招待有り

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

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

Formal Assurance Case in Agda (FACIA) 

2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan) 2015年11月17日

Towards Assurance Arguments of Disaster Management Plans 

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