Toshinori Takai

J-GLOBAL         Last updated: Dec 26, 2018 at 09:51
 
Avatar
Name
Toshinori Takai
E-mail
takaiis.naist.jp
Affiliation
Nara Institute of Science and Technology

Research Areas

 
 

Education

 
Mar 1998
 - 
Apr 2001
Division of Information Science, Nara Institute of Science and Technology
 
Apr 1996
 - 
Mar 1998
Division of Information Science, Nara Institute of Science and Technology
 
Apr 1994
 - 
Mar 1996
Department of Artificial Intelligence, School of Computer Science and Systems Engineering, Kyushu Institute of Technology
 
Apr 1989
 - 
Mar 1994
Information and Computer Engineering, National Institute of Technology, Toyota College
 

Published Papers

 
Yuto Onuma,Toshinori Takai,Tsutomu Koshiyama,Yutaka Matsuno
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings   71-78   2018   [Refereed]
柿本 和希, 川口 真司, 高井 利憲, 石濱 直樹, 飯田 元, 片平 真史
SEC journal   12(3) 16-23   Dec 2016
Toshinori Takai,Hiroyuki Kido
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014   461-466   2014   [Refereed]
Khana Chindamaikul,Toshinori Takai,Hajimu Iida
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014   198-203   2014   [Refereed]
Kenji Taguchi, Souma Daisuke, Hideaki Nishihara, Toshinori Takai
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014   192-197   2014   [Refereed]

Conference Activities & Talks

 
八木 英光, 高井 利憲, 飯田 元
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   3 Mar 2016   
TAKAI Toshinori, KIDO Hiroyuki, MATSUNO Yutaka
Technical report of IEICE. KBSE   5 Mar 2015   
Recently, developing safety-critical systems or software requires assurance cases to describe arguments about risks. In the future, it can be easily expected that assurance cases are constructed for each component or each development phase first, ...
IZUMIKAWA Hiroki, TAKAI Toshinori
Technical report of IEICE. KBSE   5 Mar 2015   
In this paper, we aim to construct more reasonable GSN, than general GSN which usually uses "positive" top goal, by means of (1) defining persona about the subject of GSN and (2) setting "negative" top goal and leading positive claims with contrad...
TAKAI Toshinori, MATSUNO Yutaka
Technical report of IEICE. KBSE   26 Jan 2015   
We conducted an exercise called system assurance, which means a justified confidence about risk-related properties of system or software. The exercise is designed as (1) the topic of the exercise for each student is about the research topic of the...
MATSUNO Yutaka, TAKAI Toshinori, PATU Vaise, YAMAMOTO Shuichiro
Technical report of IEICE. KBSE   15 Nov 2012   
Assurance Cases have been recognized as a promising method for dependability assurance. However, there has not been a writing method which is easy to understand for ordinary engineers, specially in Japan. In this paper, we propose a writing method...