Rchr
J-GLOBAL ID：201901008311210382
Update date: Nov. 27, 2024
Hagihara Shigeki
ハギハラ シゲキ | Hagihara Shigeki
Affiliation and department：
Job title：
Associate Professor
Research field (3)：
Information security
, Information theory
, Software
Research theme for competitive and other funds (2)：
- 2016 - 2022 Synthesis of embedded systems satisfying quantitative constraints by formal methods
- 2012 - 2015 Extracting information for correction of flaws from embedded system specification of practical scale by formal method
Papers (1)：
-
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki. Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. Proceedings of the 8th International Conference on Software and Computer Applications(ICSCA). 2019. 347-352
MISC (2)：
-
冨田尭, 上野篤史, 萩原茂樹, 米崎直樹. 協調的リアクティブシステムの合成手法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2014. 31st
-
冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2013. 30th
Professional career (1)：
- Doctor of Engineering (Tokyo Institute of Technology)
Return to Previous Page
