-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpublications.html
97 lines (90 loc) · 4.53 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!DOCTYPE HTML>
<html lang="ja">
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/publications.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:54:38 GMT -->
<head>
<meta charset="utf-8">
<title>研究業績 | 超高信頼ソフトウエアシステム検証学研究室</title>
<!--[if lt IE 9]>
<script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<script src="http://ie7-js.googlecode.com/svn/version/2.1(beta4)/IE9.js"></script>
<![endif]-->
<link href="css/style.css" rel="stylesheet" media="all">
</head>
<body>
<div id="container">
<header id="header">
<h1><a href="index-2.html"><font color=#ffffff>超高信頼ソフトウエアシステム検証学研究室</font></a></h1>
</header>
<div id="nav_frame">
<nav>
<ul id="nav1">
<li><a href="index-2.html">ホーム</a></li>
<li><a href="research.html">研究内容</a></li>
<li><a href="members.html">メンバー</a></li>
<li><a href="publications.html">研究業績</a></li>
<li><a href="access.html">アクセス</a></li>
<li><a href="index-e.html">ENGLISH</a></li>
</ul>
</nav>
</div>
<div id="main">
<h1>研究業績</h1>
<h2 class="mt0">2020年</h2>
<ol>
<li> Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida,
"Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking",
The 4th IEEE International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'20),
9 pages, Oct. 2020. (To appear)
</li>
<li> 辻光顕, 高井利憲, 柿本和希, 石濱直樹, 片平真史, 飯田元,
"統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析",
ウィンターワークショップ2020・イン・京都 論文集, 2020年1月.
</li>
</ol>
<h2 class="mt0">2019年</h2>
<ol>
<li> 辻光顕, 高井利憲, 片平真史, 石濱直樹, 柿本和希, 飯田元,
"ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案",
電子情報通信学会技術研究報告, 2019年3月.
</li>
</ol>
<h2 class="mt0">2018年</h2>
<ol>
<li> Kazuki Kakimoto, Hiroki Umeda, Kazuhiro Sogawa, Yasushi Ueda,
"A Scenario-based Approach; Assuring Effect of Software Product",
Procedia Computer Science, Volume 126, pp.646-655, Sep. 2018.
</li>
<li> 宮村純真, 川口真司, 石濱直樹, 柿本和希, 飯田元, 片平真史,
"開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法",
電子情報通信学会技術研究報告, 2018年1月.
</li>
<li> 入江琴子, 片平真史, 石濱直樹, 柿本和希, 崔恩瀞, 飯田元,
"システム開発過程での変更の影響度から見る安全解析手法の比較検討",
情報処理学会関西支部大会, 2018年9月.
</li>
</ol>
<h2 class="mt0">2017年</h2>
<ol>
<li> Kazuki Kakimoto, Kensuke Sasaki, Hiroki Umeda, Yasushi Ueda,
"IV&V Case: Empirical Study of Software Independent Verification and Validation Based on Safety Case",
The 28th IEEE International Symposium on Software Reliability Engineering (ISSRE'17), pp.32-35, Oct. 2017.
</li>
</ol>
<h2 class="mt0">2016年</h2>
<ol>
<li> 柿本 和希, 川口 真司, 高井 利憲, 石濱 直樹, 飯田 元, 片平 真史, "CBCS 安全要求の適用性向上に向けた可視化の取り組み", クリティカルソフトウェアワークショップ, 2016年. (最優秀賞受賞) </li>
<li>
柿本和希，川口真司，高井利憲，石濱直樹，飯田元，片平真史， "「SEC journal」論文賞 所長賞" , 2016年11月. </li>
<li>
柿本和希，川口真司，高井利憲，石濱直樹，飯田元，片平真史，"Goal Structuring Notationを用いた汎用的な安全要求の明確化と評価"，SEC journal, number 47, 2016年12月．</li>
</ol>
</div>
</div>
<footer>
<div id="footer_color">
<div id="copy">Copyright © 超高信頼ソフトウエアシステム検証学研究室 All rights reserved.</div>
</div>
</footer>
</body>
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/publications.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:54:38 GMT -->
</html>