Keishi Okamoto

11 papers A* 1B 2C 2Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2022 B conf
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.
KES
Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
2020 J jnl
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy.
CoRR
Hiroyuki Kido, Keishi Okamoto
2020 B conf
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.
KES
Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
2017 A* conf
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation.
IJCAI
Hiroyuki Kido, Keishi Okamoto
2017 C conf
Balancing Between Cognitive and Semantic Acceptability of Arguments.
KSEM
Hiroyuki Kido, Keishi Okamoto
2015 — conf
Warpage analysis of organic substrates for 2.1D packaging.
3DIC
Sayuri Kohara, Keishi Okamoto, Hirokazu Noma, Kazushige Toriyama, Hiroyuki Mori
2013 J jnl
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker.
IEICE Trans. Inf. Syst.
Takashi Kitamura, Keishi Okamoto
2012 Misc conf
Automated Route Planning for Milk-run Transport Logistics Using Model Checking.
ICNC
Takashi Kitamura, Keishi Okamoto
2010 C conf
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.
PRDC
Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
2010 J jnl
Formal Verification in a First-Order Extension of Modal
Inf. Media Technol.
Keishi Okamoto
2008 J jnl
General Models and Completeness of First-Order Modal µ-calculus.
J. Log. Comput.
Ryo Kashima, Keishi Okamoto