Keishi Okamoto

J-GLOBAL         Last updated: Apr 26, 2019 at 13:36
 
Avatar
Name
Keishi Okamoto
Affiliation
Sendai National College of Technology
Section
Department of General Engineering
Research funding number
00308214

Academic & Professional Experience

 
Apr 2011
   
 
准教授, 仙台高等専門学校
 
Apr 2004
 - 
Mar 2011
招聘研究員他, 独立行政法人産業技術総合研究所
 
Apr 2003
 - 
Sep 2003
非常勤講師, 横浜国立大学
 
Apr 2002
 - 
Mar 2003
非常勤講師, 湘北短期大学
 
Apr 2000
 - 
Mar 2004
非常勤講師, 東京女子大学
 
Apr 1998
 - 
Mar 2001
助手, 早稲田大学
 
Apr 2002
 - 
Mar 2005
非常勤講師, 早稲田大学
 

Published Papers

 
岡本圭史, 岡本圭史, 平鍋健児
SEC Journal   13(4) 23‐29   Mar 2018
岡本圭史, 岡本圭史, 岡野浩三, 岡野浩三
SEC Journal   13(4) 42‐47   Mar 2018
Takashi Kitamura,Keishi Okamoto
IEICE Transactions   E96-D(12) 2555-2564   Dec 2013   [Refereed]

Misc

 
小松秀生, 岡本圭史
情報処理学会全国大会講演論文集   80th(1) 1.213‐1.214   Mar 2018
岡本圭史
安全工学研究発表会講演予稿集   51st 33‐38   Nov 2018
吉成未菜里, 岡本圭史
情報処理学会全国大会講演論文集   78th(1) 1.427-1.428   Mar 2016
佐藤葉介, 岡本圭史
情報処理学会全国大会講演論文集   79th(1) 1.337‐1.338   Mar 2017
小松秀生, BAUDELET Geoffrey, 岡本圭史
電気関係学会東北支部連合大会講演論文集(CD-ROM)   2017(0) ROMBUNNO.1F01-72   Aug 2017

Conference Activities & Talks

 
Formal Proofs of Theorems of Programs with an SMT Solver
Shusei Komatsu, Geoffrey BAUDELET, Keishi Okamoto
2017 RIMS Model Theory Workshop   4 Dec 2017   
A Brief Survey of STAMP-based Hazard Analysis Tools
Keishi Okamoto
Embedded Technology 2017   17 Nov 2017   
Balancing Between Cognitive and Semantic Acceptability of Arguments
Hiroyuki Kido and Keishi Okamoto
The 10th International Conference on Knowledge Science, Engineering and Management   Aug 2017   
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation
Hiroyuki Kido and Keishi Okamoto
International Joint Conference on Artificial Intelligence   Aug 2017   
STAMP/STPA with AADL
Keishi Okamoto, Fuga Ootomo, Yoshiaki Rikitake
7 Jun 2017   

Teaching Experience