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
General models and completeness of first-order modal μ-calculus
R Kashima, K Okamoto
Journal of Logic and Computation 18 (4), 497-507, 2008
112008
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
102012
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation.
H Kido, K Okamoto
IJCAI, 249-255, 2017
92017
A First-Order Extension of Modal μ-calculus
K Okamoto
5
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
Comparing Expressiveness of First-Order Modal -calculus and First-Order (Model Theory and It's Application to Algebra)
岡本圭史
数理解析研究所講究録 1708, 1-14, 2010
3*2010
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, ...
Supplementary Proceedings of TEST-COM/FATES 2008, 75-76, 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
オントロジーに基づくサービスプロセスからの共通構造抽出法
清野貴博, 玉川奨, 飯島千絵, 岡本圭史, 和泉憲明, 橋田浩一, 山口高平
[C] 電子・情報・システム部門 情報システム研究会, 2010
12010
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
Balancing Between Cognitive and Semantic Acceptability of Arguments
H Kido, K Okamoto
International Conference on Knowledge Science, Engineering and Management …, 2017
2017
Verifying Correctness of Formal Specifications with an SMT Solver (Model theoretic aspects of the notion of independence and dimension)
岡本圭史
京都大学数理解析研究所, 2015
2015
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications
T Kitamura, K Okamoto, M Takeyama
2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010
2010
情報システムの構造化仕様のための業務オントロジーの試作
清野貴博, 岡本圭史, 和泉憲明, 橋田浩一
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 110 (305), 67-72, 2010
2010
形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
岡本圭史, 清野貴博, 高村博紀, 和泉憲明, 橋田浩一, 木下佳樹
[C] 電子・情報・システム部門 情報システム研究会, 2010
2010
FM Approaches to Assurance Cases
C JST
2009
命題様相 μ 計算の一階拡張における形式的検証
岡本圭史
コンピュータ ソフトウェア 26 (1), 1-1, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20