研究者
J-GLOBAL ID:201901008311210382
更新日: 2024年01月30日
萩原 茂樹
ハギハラ シゲキ | Hagihara Shigeki
所属機関・部署:
職名:
准教授
研究分野 (3件):
情報セキュリティ
, 情報学基礎論
, ソフトウェア
競争的資金等の研究課題 (2件):
- 2016 - 2022 形式手法による定量的制約を満たす組み込みシステムの自動合成
- 2012 - 2015 形式手法による欠陥のある現実規模の組み込みシステム仕様からの修正情報抽出
MISC (2件):
-
冨田尭, 上野篤史, 萩原茂樹, 米崎直樹. 協調的リアクティブシステムの合成手法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2014. 31st
-
冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2013. 30th
学位 (1件):
前のページに戻る