A Bayesian Approach to Argument-Based Reasoning for Attack Estimation. H Kido, K Okamoto
IJCAI, 249-255, 2017
23 2017 General models and completeness of first-order modal μ-calculus R Kashima, K Okamoto
Journal of Logic and Computation 18 (4), 497-507, 2008
15 2008 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
14 2012 A First-Order Extension of Modal μ-calculus K Okamoto
5 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
4 2020 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
3 2013 Comparing Expressiveness of First-Order Modal 岡本圭史
数理解析研究所講究録 1708, 1-14, 2010
3 * 2010 A bounded model checker for timed automata and its application to LTL properties K Okano, M Onishi, J Otsuka, S Ogata, T Sekizawa, K Okamoto, D Bekki
Procedia Computer Science 207, 532-541, 2022
2 2022 STAMP 海外事例の紹介: STPA-SafeSec 岡本圭史， 岡野浩三
SEC journal/情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター 編 13 (4 …, 2018
2 2018 RBAC モデルの形式検証 鈴木大輝， 小林秀幸， 岡本圭史， 高橋薫
仙台高等専門学校, 情報科学技術フォーラム講演論文集 11 (1), 221, 2012
2 2012 オントロジーに基づくサービスプロセスからの共通構造抽出法 清野貴博， 岡本圭史， 和泉憲明， 橋田浩一， 玉川奨， 飯島千絵， 山口高平
電気学会研究会資料. IS, 情報システム研究会 2010 (21), 117-122, 2010
2 2010 Formal Verification in a First-Order Extension of Modal μ-calculus 岡本圭史
コンピュータ ソフトウェア 26 (1), 103-110, 2009
2 * 2009 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
2 2008 STAMP/STPA とモデル検査の併用による単線鉄道踏切例題の解析の効果について 岡野浩三， 岡本圭史， 小形真平
日本信頼性学会誌 信頼性 41 (2), 89-95, 2019
1 2019 STAMP/STPA 単線列車例題に対する時間オートマトンモデル検査の適用と考察 岡野浩三， 小形真平， 楊盼， 岡本圭史
電子情報通信学会技術研究報告; 信学技報 117 (477), 1-6, 2018
1 2018 安全性モデリングと STAMP/STPA, その最新ツール紹介 岡本圭史， 平鍋健児
SEC journal/情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター 編 13 (4 …, 2018
1 2018 ユーザコンテキストに基づいた個人・組織情報へのアクセス制御 (経路・アクセス制御, 応用, インターネットやイントラネットの信頼性, 品質, 計測, 監視, セキュリティ, トラヒック理論及び一般) 伊藤仁， 小林秀幸， 岡本圭史， 青野雅樹， 高橋薫
電子情報通信学会技術研究報告. IA, インターネットアーキテクチャ 112 (353), 7-12, 2012
1 2012 Verification of RBAC model using the model checker NuSMV D Suzuki, H Kabayashi, K Okamoto, K Takahashi
International Symposium on Technology for Sustainability, 51-54, 2012
1 2012 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
1 2009 Completeness Theorem of First-Order Modal mu-calculus R Kashima, K Okamoto
Research Reports on Mathematical and Computing Sciences, TIT 244, 2007
1 * 2007 
Hiroyuki KidoCardiff Universitycardiff.ac.uk üzerinde doğrulanmış e-posta adresine sahip
