研究発表
公開件数:106件

No.1
会議種別 ポスター発表
タイトル Models of Consensus Building among Citizens and Professionals in SNS
会議名 14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017)
開催年月日 2017/05/24
URL URL
概要

No.2
会議種別 ポスター発表
タイトル Agile Way of Risk Awareness by Smartphone-Connected Environmental Sensors
会議名 14th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2017)
開催年月日 2017/05/24
URL URL
概要

No.3
会議種別 口頭発表(一般)
タイトル 河川水流の可視化による一般市⺠への防災情報提供へ向けた初期検討
会議名 第6回減災情報システム合同研究会
開催年月日 2017/03/21
URL URL
概要

No.4
会議種別 口頭発表(一般)
タイトル メンタルモデルを用いた大学研究室の特徴分析
会議名 電子情報通信学会KBSE研究会
開催年月日 2017/03/04
URL URL
概要

No.5
会議種別 口頭発表(一般)
タイトル D-Caseに基づく議論構造可視化支援ツールの開発と,スマートコミュニティにおける合意形成の実証
会議名 電気通信大学「システム安全学ワークショップ」
開催年月日 2017/03/01
URL URL
概要

No.6
会議種別 ポスター発表
タイトル リスクアセスメントに基づくウエブサーバのセキュリティ対策
会議名 第14回 ディペンダブルシステムワークショップ
開催年月日 2016/12/14
URL URL
概要

No.7
会議種別 口頭発表(一般)
タイトル 市民等と障害情報を共有する障害データベースの構築の試み
会議名 第14回 ディペンダブルシステムワークショップ
開催年月日 2016/12/14
URL URL
概要

No.8
会議種別 ポスター発表
タイトル 多様なステークホルダによるシステムの安全性の合意形成に向けて
会議名 計測自動制御学会 システム・情報部門 学術講演会 2016
開催年月日 2016/12/06
URL URL
概要

No.9
会議種別 口頭発表(一般)
タイトル ETロボコンにおけるSTAMP/STPAの試行およびウエブベースSTPAツールの設計と開発
会議名 第1回 STAMPワークショップ in Japan
開催年月日 2016/12/06
URL URL
概要

No.10
会議種別 ポスター発表
タイトル システム思考に基づくリスク分析手法STAMPの試行およびwebベースSTAMPツールの設計と開発に向けて
会議名 第60回日本大学理工学部学術講演会
開催年月日 2016/12/03
URL
概要

No.11
会議種別
タイトル D-Case: ステークホルダーを明確化したGSNによる合意形成手法
会議名 電子情報通信学会KBSE研究会
開催年月日 2016/11/04
URL URL
概要

No.12
会議種別 口頭発表(一般)
タイトル 安全消費者機械のディペンダビリティ保証の標準化
会議名 ソフトウエア工学研究会
開催年月日 2016/07/13
URL URL
概要

No.13
会議種別 ポスター発表
タイトル A Prototype Development of Assurance Cases Tool and
Experiments on SNS Discussion of Radiation Disaster
会議名 The 13th International Conference on Information Systems for Crisis Response and Management
開催年月日 2016/05
URL
概要

No.14
会議種別
タイトル D-Caseに基づく議論構造可視化支援ツールのプロトタイプ開発とスマートコミュニティにおける合意形成の実証
会議名 知能ソフトウエア工学(KBSE)研究会、電子情報通信学会
開催年月日 2016/03/04
URL
概要

No.15
会議種別 口頭発表(一般)
タイトル 市民・行政・専門家の連携による環境監視・減災支援基盤の構築と社会実装
会議名 電気通信大学情報システム学研究科シンポジウム
開催年月日 2016/03/01
URL
概要

No.16
会議種別 口頭発表(一般)
タイトル D-Caseに基づく議論構造可視化支援ツールの開発とスマートコミュニティにおける合意形成の実証(IPA-RISEプロジェクト)
会議名 電気通信大学情報システム学研究科シンポジウム
開催年月日 2016/03/01
URL
概要

No.17
会議種別
タイトル オープン型障害データベースによる障害情報の市民等への提供の試み~最近の通信ネットワーク障害を例にとって~
会議名 第74回FTCS研究会
開催年月日 2016/01/22
URL
概要

No.18
会議種別 口頭発表(一般)
タイトル Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools
会議名 2015 MathWorks Asian Research Faculty Summit
開催年月日 2015/11/08
URL
概要

No.19
会議種別 口頭発表(一般)
タイトル Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools
会議名 International Symposium on Information Technology and Application (ISITA2015)
開催年月日 2015/11/06
URL
概要

No.20
会議種別 口頭発表(一般)
タイトル アイデア作成ツールBrainPlotsの紹介
会議名 電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2015/10/30
URL URL
概要

No.21
会議種別 口頭発表(一般)
タイトル D-CaseによるSysMLの説明力向上を目指して
会議名 電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2015/10/30
URL URL
概要

No.22
会議種別 口頭発表(一般)
タイトル 記述試行からのアシュアランスケース実用化へ向けた課題
会議名 電子情報通信学会知能ソフトウエア工学(KBSE)研究会
開催年月日 2015/09/25
URL
概要

No.23
会議種別 口頭発表(招待・特別)
タイトル Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools
会議名 VeriSure: Verification and Assurance 2015
開催年月日 2015/07/18
URL URL
概要

No.24
会議種別 ポスター発表
タイトル Trust Establishment in Participatory Radiation Sensing
会議名 IFIPTM 2015 (Ninth IFIP WG 11.11 International Conference on Trust Management)
開催年月日 2015/05/26
URL URL
概要

No.25
会議種別 口頭発表(招待・特別)
タイトル A Design and Implementation of an Assurance Case Languages
会議名 第75回先端ソフトウェア科学・工学に関するGRACEセミナー
開催年月日 2015/01/30
URL
概要

No.26
会議種別 ポスター発表
タイトル 信頼性・安全性保証に関する研究
会議名 日本品質管理学会第44回年次大会
開催年月日 2014/11/29
URL
概要

No.27
会議種別 口頭発表(招待・特別)
タイトル D-Case実用化へ向けて
会議名 ET2014カンファレンス DEOSによるディペンダビリティ実用化最新動向
~企業でのD-Case活用~
開催年月日 2014/11/19
URL URL
概要

No.28
会議種別 口頭発表(招待・特別)
タイトル D-Case/アシュアランスケースを書いてみよう!!
会議名 ET2014 IPA/SEC先端技術入門ゼミ
開催年月日 2014/11/19
URL
概要

No.29
会議種別 口頭発表(招待・特別)
タイトル System Assurance and OMG Dependability Assurance
会議名 MathWorks Asian Faculty Summit
開催年月日 2014/11/14
URL
概要

No.30
会議種別 口頭発表(招待・特別)
タイトル ヒューマンファクターを考慮したシステムアシュアランス
会議名 電子情報通信学会安全性研究会/信学技報, vol. 114, no. 192, SSS2014-17, pp. 19-22, 2014年8月.
開催年月日 2014/08/28
URL
概要

No.31
会議種別 口頭発表(一般)
タイトル 安全性、ディペンダビリティの保証
会議名 第44回信頼性・保全性シンポジウム
開催年月日 2014/07/11
URL
概要

No.32
会議種別 口頭発表(招待・特別)
タイトル [チュートリアル講演]アシュアランスケース演習 ~ ツールを使って書いてみよう!! ~
会議名 電子情報通信学会知能ソフトウェア工学研究会
開催年月日 2014/05/30
URL
概要

No.33
会議種別 口頭発表(一般)
タイトル OMGコンシューマデバイス・ディペンダビリティ保証国際規格の策定とその評価実験
会議名 電子情報通信学会知能ソフトウェア工学研究会
開催年月日 2014/05/30
URL
概要

No.34
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル アシュアランスケースパターンを用いたリスク分析の確認手法の提案
会議名 電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集
開催年月日 2014/02
URL
概要

No.35
会議種別 公開講演,セミナー,チュートリアル,講習,講義等
タイトル D-Case 安全・安心、ディペンダビリティ合意形成のための手法とツールの紹介
会議名 日本信頼性学会LCC研究会
開催年月日 2014/02
URL
概要

No.36
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル リスクを積極的に提示するアンチウィルスインターフェースについて
会議名 電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集
開催年月日 2014/02
URL
概要

No.37
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル 携帯端末を用いた建物火災における避難誘導システムの提案と評価
会議名 電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集
開催年月日 2014/02
URL
概要

No.38
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル 高層建築物でのエレベータを利用した避難方法について~超高齢社会を想定して~
会議名 電気通信大ISシンポジウム第18回「信頼性とシステム安全学」予稿集
開催年月日 2014/02
URL
概要

No.39
会議種別 公開講演,セミナー,チュートリアル,講習,講義等
タイトル 新聞報道による情報システム事故の信頼性・安全性の分析
会議名 情報処理学会 Software Japan 2014
開催年月日 2014/02/04
URL
概要

No.40
会議種別 公開講演,セミナー,チュートリアル,講習,講義等
タイトル アシュアランスケース超入門、チュートリアル
会議名 電子情報通信学会KBSE研究会
開催年月日 2014/01
URL
概要

No.41
会議種別 公開講演,セミナー,チュートリアル,講習,講義等
タイトル D-Case超入門
会議名 横河電機セミナー
開催年月日 2014/01
URL
概要

No.42
会議種別 口頭発表(一般)
タイトル アシュアランスケースツールへのプログラミング言語技術の適用
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2013
URL
概要

No.43
会議種別 口頭発表(一般)
タイトル ディペンダビリティケース分解パターンについての考察
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2013
URL
概要

No.44
会議種別 口頭発表(一般)
タイトル ディペンダビリティケース用語構成規則の適用評価
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2013
URL
概要

No.45
会議種別 口頭発表(一般)
タイトル ディペンダビリティケース用語構成規則の提案
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2013
URL
概要

No.46
会議種別 口頭発表(一般)
タイトル ユースケース分析に基づくディペンダビリティケース作成法の提案
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2013
URL
概要

No.47
会議種別 口頭発表(一般)
タイトル 共助による右直事故のリスク軽減
会議名 日本機械学会第22回交通・物流部門大会(TRANSLOG2013)予稿集
開催年月日 2013/12
URL
概要

No.48
会議種別 口頭発表(一般)
タイトル ACCシステムを対象としたアシュアランスケース適用実験
会議名 信学技報
開催年月日 2013/11
URL
概要

No.49
会議種別 口頭発表(一般)
タイトル アシュアランスケース言語の設計と実装
会議名 情報処理学会プログラミング研究会
開催年月日 2013/11
URL
概要

No.50
会議種別 公開講演,セミナー,チュートリアル,講習,講義等
タイトル D-Case超入門
会議名 日本信頼性学会情報システム信頼性研究会
開催年月日 2013/10
URL
概要

No.51
会議種別 口頭発表(一般)
タイトル DEOS and D-Case
会議名 Proc. of Inter. Conference of Asia-Pacific Councils on Systems Engineering(APCOSEC)
開催年月日 2013/09
URL
概要

No.52
会議種別 口頭発表(一般)
タイトル Describing an assurance case using D-Case for microsatellite operations
会議名 Proc. of Inter. Conference of Asia-Pacific Councils on Systems Engineering (APCOSEC)
開催年月日 2013/09
URL
概要

No.53
会議種別 口頭発表(一般)
タイトル 事故DBの実現に向けて
会議名 日本信頼性学会情報システム信頼性研究会
開催年月日 2013/08/26
URL
概要

No.54
会議種別 口頭発表(一般)
タイトル ETロボコンを対象としたD-Case記述事例
会議名 ソフトウエア・シンポジウム2013 in 岐阜
開催年月日 2013/07
URL
概要

No.55
会議種別 口頭発表(基調)
タイトル D-Caseによるディペンダビリティ保証
会議名 MMテクニカルフォーラム: 高信頼性を保証するディペンダビリティケースの紹介
開催年月日 2013/01
URL
概要

No.56
会議種別 その他
タイトル Application of D-Case to the usage flow diagram scenario of the Distributed E-Learning System called KISSEL in Asian Pacific Universities
会議名 電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012
URL
概要

No.57
会議種別 口頭発表(一般)
タイトル TOGAF NEXTに対するADMプロセステンプレートの提案
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012
URL
概要

No.58
会議種別 その他
タイトル D-Caseとその事例
会議名 ET2012スペシャルセッション
開催年月日 2012/11
URL
概要

No.59
会議種別 口頭発表(招待・特別)
タイトル 消費者機械とAssurance Case
会議名 JMAABコアミーティング
開催年月日 2012/11
URL
概要

No.60
会議種別 口頭発表(一般)
タイトル ディペンダビリティケース作成法に関する一考察
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/11
URL
概要

No.61
会議種別 口頭発表(招待・特別)
タイトル ディペンダビリティケースの紹介
会議名 電子情報通信学会ディペンダブルコンピューティング研究会
開催年月日 2012/10
URL
概要

No.62
会議種別 その他
タイトル アシュアランスケースにおける品質到達性とトレーサビリティを考慮した記述ルール提案と超小型衛星開発への適用評価
会議名 第10回クリティカルソフトウェアワークショップ
開催年月日 2012/09
URL
概要

No.63
会議種別 口頭発表(招待・特別)
タイトル D-Case: Assurance Case for Open Systems
会議名 he Open Group “AEA-Japan” Forum 2012 & Open Technical Forum 2012-3
開催年月日 2012/09
URL
概要

No.64
会議種別 口頭発表(招待・特別)
タイトル DS-Bench toolset: Tools for dependability benchmarking with simulation and assurance
会議名 日本ソフトウエア科学会全国大会
開催年月日 2012/08
URL
概要

No.65
会議種別 口頭発表(一般)
タイトル スーパーコンピュータ運用手順に対するディペンダビリティの確認手法の提案
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/07
URL
概要

No.66
会議種別 口頭発表(一般)
タイトル エンタープライズアーキテクチャ開発プロセスに対するディペンダビリティケース作成法の提案
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/07
URL
概要

No.67
会議種別 口頭発表(一般)
タイトル アシュアランスケースへの構造化文書の適用に関する調査
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/07
URL
概要

No.68
会議種別 口頭発表(一般)
タイトル ディペンダビリティケース作成法に関する一考察
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/07
URL
概要

No.69
会議種別 口頭発表(一般)
タイトル Modular GSNの定式化
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/07
URL
概要

No.70
会議種別 口頭発表(一般)
タイトル A proposed research framework for dependability science based on assurance cases
会議名 信学技報,電子情報通信学会知能ソフトウエア工学研究会
開催年月日 2012/07
URL
概要

No.71
会議種別 その他
タイトル D-Case Pocket Book Draft
会議名 Open Group RTES forum
開催年月日 2012/07
URL
概要

No.72
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル ET ロボコンを対象としたドメインからの D-Case による保証議論の構築
会議名 第32回ソフトウェア・シンポジウムSS2012
開催年月日 2012/06
URL
概要

No.73
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル システム継続性を保証するためのリスク分析手法の構築経験
会議名 第32回ソフトウェア・シンポジウムSS2012
開催年月日 2012/06
URL
概要

No.74
会議種別 口頭発表(一般)
タイトル アシュアランスケースを用いた小型人工衛星の品質保証
会議名 日本信頼性学会春季信頼性シンポジウム発表報文集,日本信頼性学会第20回春季信頼性シンポジウム
開催年月日 2012/06
URL
概要

No.75
会議種別 その他
タイトル Response to OMG Consumer Device Dependability Standard Proposal
会議名 OMG SysA meeting
開催年月日 2012/06
URL
概要

No.76
会議種別 口頭発表(招待・特別)
タイトル D-Caseでロジカルに重要性が増す安全性の保証
会議名 Dependable Software Day トークライブ ESEC2012
開催年月日 2012/05
URL
概要

No.77
会議種別 口頭発表(招待・特別)
タイトル D-Case Editor: A Free Assurance Case Editor
会議名 Embedded World 2012 FLOSS Session
開催年月日 2012/02
URL
概要

No.78
会議種別 その他
タイトル DEOS and D-Case for Open Systems Dependability
会議名 Open Group RTES forum
開催年月日 2012/01
URL
概要

No.79
会議種別 その他
タイトル d*フレームワーク:複数のアクタ間のディペンダビリティケース(ポスター発表)
会議名 ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011)
開催年月日 2011/12
URL
概要

No.80
会議種別 その他
タイトル DS-Benchツールセット:ディペンダビリティベンチマークのための支援ツール(ポスター発表)
会議名 ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011)
開催年月日 2011/12
URL
概要

No.81
会議種別 口頭発表(招待・特別)
タイトル 変化し続けるシステムのディペンダビリティ合意形成の方法とツール
会議名 ET2011スペシャルセッション
開催年月日 2011/11
URL
概要

No.82
会議種別 口頭発表(招待・特別)
タイトル システムのディペンダビリティ、安全性保証の現在
会議名 国際標準化セミナー
開催年月日 2011/11
URL
概要

No.83
会議種別 その他
タイトル Mechanizing Assurance Case
会議名 System Assurance Task Force, OMG Technical Meeting
開催年月日 2011/09
URL
概要

No.84
会議種別 その他
タイトル Draft Assurance Case Repository White Paper
会議名 System Assurance Task Force, OMG Technical Meeting
開催年月日 2011/09
URL
概要

No.85
会議種別 その他
タイトル Dependability Case for Open Systems Lifecycle
会議名 Real Time Embedded System Forum, Open Group Conference
開催年月日 2011/02
URL
概要

No.86
会議種別 その他
タイトル Dependability Case for Open Systems Lifecycle
会議名 Real Time Embedded System Forum, Open Group Conference
開催年月日 2011/02
URL
概要

No.87
会議種別 その他
タイトル 説明責任を支援する技術 (1)
会議名 ET 2010スペシャルセッション
開催年月日 2010/12
URL
概要

No.88
会議種別 口頭発表(一般)
タイトル 組み込みシステムのディペンダビリティ評価
会議名 日本応用数理学会2010年度年会講演予稿集,日本応用数理学会2010年度年会
開催年月日 2010/09
URL
概要

No.89
会議種別 その他
タイトル Standardization of GSN Patterns in OMG sysA PTF
会議名 System Assurance Task Force, OMG Technical Meeting
開催年月日 2010/09
URL
概要

No.90
会議種別 口頭発表(一般)
タイトル D-Caseを用いた保証プロセスについて
会議名 日本ソフトウエア科学会 第8回ディペンダブルシステムワークショップ (DSW 2010)論文集,第8回ディペンダブルシステムワークショップ (DSW 2010)
開催年月日 2010/07
URL
概要

No.91
会議種別 その他
タイトル A White Paper on Assurance Case Process Metamodel
会議名 System Assurance Task Force, OMG Technical Meeting
開催年月日 2010/06
URL
概要

No.92
会議種別 その他
タイトル Dependability Case for Embedded Systems in DEOS project
会議名 System Assurance Task Force, OMG Technical Meeting
開催年月日 2009/12
URL
概要

No.93
会議種別 その他
タイトル D-Case
会議名 DEOS-横河電機ワークショップ
開催年月日 2009/10
URL
概要

No.94
会議種別 その他
タイトル 実用化を目指した組込みシステム用オペレーティングシステムプロジェクト(DEOS プロジェクト)(ポスター発表)
会議名
開催年月日 2009/07
URL
概要

No.95
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル オペレーティングシステムおよび実システムにおけるディペンダビリティの評価と見積り
会議名 第7回ディペンダブルシステムワークショップ(DSW 09summer)
開催年月日 2009/07
URL
概要

No.96
会議種別 シンポジウム・ワークショップ パネル(公募)
タイトル ディペンダブルシステム向けベンチマークフレームワークの提案
会議名 第7回ディペンダブルシステムワークショップ(DSW 09summer)
開催年月日 2009/07
URL
概要

No.97
会議種別 その他
タイトル 利用者指向ディペンダビリティ
会議名 TXテクノロジー・ショーケース in つくば
開催年月日 2009/01
URL
概要

No.98
会議種別 その他
タイトル SSA形式と等価な型システムによるコンパイラ最適化の実装
会議名 第217回計算機言語談話会 産業技術総合研究所システム検証研究センター
開催年月日 2008/02
URL
概要

No.99
会議種別 その他
タイトル A Type System Equivalent to Static Single Assignment
会議名 第 9 回プログラミン グおよびプログラミング言語ワークショップ (PPL2007)
開催年月日 2007/03
URL
概要

No.100
会議種別 その他
タイトル Type Theoretical Compiler Verification
会議名 理論計算機科学と圏論ワークショップ (CSCAT 2004)
開催年月日 2004/03
URL
概要

No.101
会議種別 その他
タイトル A Type System for Optimization Verifying Compilers
会議名 第 6 回プログラミングおよびプログラミング言語ワークショップ (PPL2004)
開催年月日 2004/03
URL
概要

No.102
会議種別 その他
タイトル A Type System for Verification of Compiler Optimizations
会議名 シンポジウム 「システム検証の科学技術」
開催年月日 2004/02
URL
概要

No.103
会議種別 その他
タイトル A Type System for Verification of Compiler Optimizations
会議名 第 47 回情報処 理学会プログラミング研究会
開催年月日 2004/02
URL
概要

No.104
会議種別 その他
タイトル Flow Analytic Type System for Compiler Optimizations
会議名 第 20 回「記号論 理学と情報科学」(SLACS 2003)
開催年月日 2003/09
URL
概要

No.105
会議種別 その他
タイトル Flow Analytic Type System for Array Bound Checks
会議名 第 41 回情報処理学会プログラミング研究会
開催年月日 2002/10
URL
概要

No.106
会議種別 その他
タイトル Flow Analytic Type System for Array Bound Checks
会議名 第 19 回 「記号論理 学と情報科学」(SLACS 2002)
開催年月日 2002/09
URL
概要