Keishi Okamoto
(岡本 圭史)
Modified on: 03/29
Profile Information
- Affiliation
- Department of General Engineering, National Institute of Technology, Sendai College
- Researcher number
- 00308214
- J-GLOBAL ID
- 201101012079788184
- researchmap Member ID
- B000004255
- External link
Research Interests
4Research Areas
4Research History
8-
Apr, 2018
-
Apr, 2011 - Mar, 2018
-
Apr, 2004 - Mar, 2011
-
Apr, 2002 - Mar, 2005
-
Apr, 2000 - Mar, 2004
-
Apr, 2003 - Sep, 2003
-
Apr, 2002 - Mar, 2003
-
Apr, 1998 - Mar, 2001
Awards
1-
Nov, 2014
Papers
36-
安全工学, 62(3) 187-195, 2023
-
Procedia Computer Science, 207 532-541, Sep, 2022 Peer-reviewed
-
RIMS Kokyuroku, 2218(2218) 105-118, May, 2022 Lead author
-
第84回全国大会講演論文集, 2022(1) 843-844, Feb 17, 2022
-
International Journal of Software Engineering (IJSE), 8(3) 27-39, Oct, 2020 Peer-reviewedLast author
-
RIMS Kokyuroku, 2170(2170) 64-72, Sep, 2020 Lead author
-
Procedia Computer Science, 176 1392-1401, 2020 Peer-reviewed
-
信頼性 = The journal of Reliability Engineering Association of Japan : 日本信頼性学会誌, 41(2) 89-95, Mar, 2019 Peer-reviewed
-
RIMS Kokyuroku, 2084 21-26, Jun, 2018
-
SEC Journal, 13(4) 23‐29-29, Mar, 2018 Peer-reviewed
-
SEC Journal, 13(4) 42‐47-47, Mar, 2018 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10412 LNAI 160-173, 2017 Peer-reviewed
-
IJCAI International Joint Conference on Artificial Intelligence, 249-255, 2017 Peer-reviewed
-
RIMS Kokyuroku, 2002(2002) 9-18, Jul, 2016
-
京都大学数理解析研究所講究録, 2002 9-18, Jul, 2016
-
RIMS Kokyuroku, 1938(1938) 46-53, Apr, 2015
-
IEICE Transactions on Information and Systems, E96-D(12) 2555-2564, Dec, 2013 Peer-reviewed
-
Proceedings of the 2012 3rd International Conference on Networking and Computing, ICNC 2012, 240-246, 2012 Peer-reviewed
-
RIMS Kokyuroku, 1708(1708) 1-14, Aug, 2010
Misc.
46-
自動車技術会大会学術講演会講演予稿集(Web), 2023, 2023
-
電気関係学会東北支部連合大会講演論文集(CD-ROM), 2022, 2022
-
日本高専学会年会講演会講演概要集(CD-ROM), 28th, 2022
-
電子情報通信学会技術研究報告, 119(451(SS2019 41-60)(Web)), 2020
-
第81回全国大会講演論文集, 2019(1) 259-260, Feb 28, 2019
-
安全工学研究発表会講演予稿集, 51st 33‐38, Nov 27, 2018
-
数理解析研究所講究録, (2084) 21-26, Aug, 2018
-
情報処理学会全国大会講演論文集, 80th(1) 1.213‐1.214-214, Mar 13, 2018
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117(477) 1-6, Mar 6, 2018
-
SEC journal, 13(4) 23-29, Mar, 2018
-
SEC journal, 13(4) 42-47, Mar, 2018
-
電子情報通信学会技術研究報告, 117(477(SS2017 64-77)) 1‐6-6, Feb 27, 2018
-
電気関係学会東北支部連合大会講演論文集(CD-ROM), 2017 ROMBUNNO.1F01-72, Aug 24, 2017
-
情報処理学会全国大会講演論文集, 79th(1) 1.337‐1.338, Mar 16, 2017
-
情報処理学会全国大会講演論文集, 78th(1) 1.363-1.364-364, Mar 10, 2016
-
情報処理学会全国大会講演論文集, 78th(1) 1.427-1.428-428, Mar 10, 2016
-
電子情報通信学会大会講演論文集(CD-ROM), 2016 ROMBUNNO.AI‐1‐1, Mar 1, 2016
-
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 2016 "SS-17"-"SS-18", Mar 1, 2016
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115(281) 13-16, Oct 29, 2015
-
電子情報通信学会技術研究報告, 115(281(KBSE2015 35-39)) 13-16, Oct 22, 2015
Books and Other Publications
7-
電波新聞社, Nov, 2019
-
独立行政法人情報処理推進機構(IPA)社会基盤センター, Mar, 2019
-
立行政法人情報処理推進機構(IPA)技術本部 ソフトウェア高信頼化センター(SEC), Mar, 2018
-
独立行政法人情報処理推進機構, Mar, 2017
-
独立行政法人情報処理推進機構, Mar, 2017
-
日経テクノロジーOnline, Nov, 2016
-
独立行政法人情報処理推進機構, Apr, 2016
Presentations
32-
ソフトウェア・シンポジウム2023, Jun 13, 2023
-
情報処理学会第84回全国大会, Mar, 2022
-
RIMS Symposia (Open), Model theoretic aspects of the notion of independence and dimension, Dec, 2021
-
2nd Asian STAMP Workshop, Dec 1, 2021
-
2nd Asian STAMP Workshop, Dec 1, 2021
-
2nd Asian STAMP Workshop, Dec 1, 2021
-
第18回 ディペンダブルシステムワークショップ(DSW2020), Mar 18, 2021
-
RIMS Model Theory Workshop 2020, Dec 9, 2020
-
第2回AI/IoTシステムのための安全性シンポジウム/第1回Asian STAMP Workshop, Nov 11, 2020
-
2019 RIMS Model Theory Workshop, Dec 4, 2019
-
情報処理学会第81回全国大会, Mar 15, 2019
-
Mar 9, 2019
-
フトウェア・シンポジウム2018, Jun, 2018
-
2017 RIMS Model Theory Workshop, Dec 4, 2017
-
第2回STAMPワークショップ in Japan, Nov 29, 2017
-
第2回STAMPワークショップ in Japan, Nov 28, 2017
-
Embedded Technology 2017, Nov 17, 2017
-
The 10th International Conference on Knowledge Science, Engineering and Management, Aug, 2017
-
International Joint Conference on Artificial Intelligence, Aug, 2017
-
ET-WEST2017 SEC先端技術入門ゼミ, Jul 12, 2017
Teaching Experience
18Professional Memberships
3Research Projects
4-
科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2021 - Mar, 2025
-
科学研究費補助金(基盤研究(C)), 文部科学省, Apr, 2019 - Mar, 2022
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Jul, 2015 - Mar, 2019
-
科学研究費補助金(基盤研究(C)), 基盤研究(C), 文部科学省, 2010 - 2013
Social Activities
3