Keishi Okamoto
Keishi Okamoto
Associate Professor of General Sciences, Sendai National College of Technology
Verified email at sendai-nct.ac.jp
Title
Cited by
Cited by
Year
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation.
H Kido, K Okamoto
IJCAI, 249-255, 2017
162017
General models and completeness of first-order modal μ-calculus
R Kashima, K Okamoto
Journal of Logic and Computation 18 (4), 497-507, 2008
132008
Automated route planning for milk-run transport logistics using model checking
T Kitamura, K Okamoto
2012 Third International Conference on Networking and Computing, 240-246, 2012
112012
A First-Order Extension of Modal μ-calculus
K Okamoto
4
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker
T Kitamura, K Okamoto
IEICE TRANSACTIONS on Information and Systems 96 (12), 2555-2564, 2013
32013
RBAC モデルの形式検証
鈴木大輝, 小林秀幸, 岡本圭史, 高橋薫
仙台高等専門学校, 情報科学技術フォーラム講演論文集 11 (1), 221, 2012
22012
Comparing Expressiveness of First-Order Modal -calculus and First-Order (Model Theory and It's Application to Algebra)
岡本圭史
数理解析研究所講究録 1708, 1-14, 2010
2*2010
オントロジーに基づくサービスプロセスからの共通構造抽出法
清野貴博, 玉川奨, 飯島千絵, 岡本圭史, 和泉憲明, 橋田浩一, 山口高平
[C] 電子・情報・システム部門 情報システム研究会, 2010
22010
Formal Verification in a First-Order Extension of Modal μ-calculus
K Okamoto
Information and Media Technologies 5 (1), 40-47, 2010
22010
Formalization of system lsi specification and automatic generation of verification items
T Abe, T Higuchi, R Imai, Y Kinoshita, S Nakano, K Okamoto, M Saito, ...
The 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM …, 2008
22008
Verification of RBAC Model Using the Model Checker NuSMV
D SUZUKI, H KOBAYASHI, K OKAMOTO, K TAKAHASHI
International Symposium on Technology for Sustainability, 51-54, 2012
12012
Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems
EH Choi, K Okamoto, T Tsuchiya, T Kikuno
2009 Software Technologies for Future Dependable Distributed Systems, 138-142, 2009
12009
Partially locally atomic models
K Okamoto, K Wakai
Tsukuba journal of mathematics 22 (1), 235-240, 1998
11998
Normal elementary maps
K Okamoto
Tokyo Journal of Mathematics 21 (1), 153-158, 1998
11998
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy
H Kido, K Okamoto
arXiv preprint arXiv:2012.08479, 2020
2020
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking
P Yang, K Okano, S Ogata, K Okamoto
IEICE Technical Report; IEICE Tech. Rep. 119 (451), 93-98, 2020
2020
Expressing Dung's Extensions as FO-Formulas to Enumerate Them with an SMT Solver (Model theoretic aspects of the notion of independence and dimension)
K Okamoto, H Kido, T Takai
数理解析研究所講究録= RIMS Kokyuroku 2170, 64-72, 2020
2020
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA
K Okano, P Yang, S Ogata, K Okamoto
Procedia Computer Science 176, 1392-1401, 2020
2020
STAMP/STPA とモデル検査の併用による単線鉄道踏切例題の解析の効果について (安全性の証明)
岡野浩三, 岡本圭史, 小形真平
信頼性= The journal of Reliability Engineering Association of Japan: 日本信 …, 2019
2019
AADL モデル活用による安全分析 STMAP/STPA の支援
目黒友貴, 岡本圭史, 大友楓雅, 力武克彰
第 81 回全国大会講演論文集 2019 (1), 259-260, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20