-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpublications-e.html
119 lines (114 loc) · 5.64 KB
/
publications-e.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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
<!DOCTYPE HTML>
<html lang="en">
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/publications-e.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:55:00 GMT -->
<head>
<meta charset="utf-8">
<title>PUBLICATIONS | YOUR SITE 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-e.html"><font color=#ffffff>High Reliability Software System Verification Laboratory</font></a></h1>
</header>
<div id="nav_frame">
<nav>
<ul id="nav1">
<li><a href="index-e.html">HOME</a></li>
<li><a href="research-e.html">RESEARCH</a></li>
<li><a href="members-e.html">MEMBERS</a></li>
<li><a href="publications-e.html">PUBLICATIONS</a></li>
<li><a href="access-e.html">ACCESS</a></li>
<li><a href="index-2.html">JAPANESE</a></li>
</ul>
</nav>
</div>
<div id="main">
<h1>PUBLICATIONS</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> Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, Hajimu Iida,
"Risk Analysis of Scenarios based on STAMP/STPA Using Statistical Model Checking",
Winter Workshop 2020 in Kyoto, Jan. 2020. (in Japanese)
<!--
辻光顕, 高井利憲, 柿本和希, 石濱直樹, 片平真史, 飯田元,
"統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析",
ウィンターワークショップ2020・イン・京都 論文集, 2020年1月.
-->
</li>
</ol>
<h2 class="mt0">2019</h2>
<ol>
<li> Mitsuaki Tsuji, Toshinori Takai, Masafumi Katahira, Naoki Ishihama, Kazuki Kakimoto, Hajimu Iida,
"Formal STAMP Modelling toward Safety Verification of Hybrid Systems",
IEICE Technical Report, Mar. 2019. (in Japanese)
<!--
辻光顕, 高井利憲, 片平真史, 石濱直樹, 柿本和希, 飯田元,
"ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案",
電子情報通信学会技術研究報告, 2018年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> Toma Miyamura, Shinji Kawaguchi, Naoki Ishihama, Kazuki Kakimoto, Hajimu Iida, Masafumi Katahira,
"Classification of Problem Detection for Incomplete Software Requirements Using the Development Standard Process",
IEICE Technical Report, Jan. 2018. (in Japanese)
<!--
宮村純真, 川口真司, 石濱直樹, 柿本和希, 飯田元, 片平真史,
"開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法",
電子情報通信学会技術研究報告, 2018年1月.
-->
</li>
<li> Kotoko Irie, Masafumi Katahira, Naoki Ishihama, Kazuki Kakimoto, Choi Eunjong, Hajimu Iida,
"Investigation for Improving Change Impact Assessment Methods in System Safety Analysis",
National Convention of IPSJ Kansai Branch, Sep. 2018. (in Japanese)
<!--
入江琴子, 片平真史, 石濱直樹, 柿本和希, 崔恩瀞, 飯田元,
"システム開発過程での変更の影響度から見る安全解析手法の比較検討",
情報処理学会関西支部大会, 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> Kazuki Kakimoto, Shinji Kawaguchi, Toshinori Takai, Naoki Ishihama, Hajimu Iida, Masafumi Katahira,
"Visualization of CBCS safety requirement to optimize the use of CBCS safety requirement",
The 13th Workshop on Critical Software Systems, 2016. (in Japanese), (Best Paper Award)
</li>
<li>Kazuki Kakimoto, Shinji Kawaguchi, Toshinori Takai, Naoki Ishihama,
Hajimu Iida, Masafumi Katahira, "SEC Journal Paper Award", Nov. 2016. </li>
<li>Kazuki Kakimoto, Shinji Kawaguchi, Toshinori Takai, Naoki Ishihama,
Hajimu Iida, Masafumi Katahira, "Explication and evaluation of general
safety requirements using GSN", SEC journal, number 47, Dec. 2016. (in Japanese)</li>
</ol>
</div>
</div>
<footer>
<div id="footer_color">
<div id="copy">Copyright © High Reliability Software System Lab All rights reserved.</div>
</div>
</footer>
</body>
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/publications-e.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:55:00 GMT -->
</html>