論文

• 今野 賢, デファゴ クサヴィエ, 冨田 尭, 井口 寧. 時系列障害原因分析による推論QoS規則導出手法, 情報処理学会論文誌デジタルプラクティス（TDP）, Vol. 2, No. 3, pp. 11-26, July 2021.  公式リンク  
  
• Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki.. Safraless LTL synthesis considering maximal realizability, Acta Informatica, pp. 1-38, Oct. 2016.
• 冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹. 確率頻度時間論理の統計的モデル検査, コンピューターソフトウェア, 岩波書店, Vol. 31, No. 3, pp. 336-356, Aug. 2014.
• 冨田尭, 萩原茂樹, 米崎直樹. 平均利得時間論理とそれを用いた検証・最適化手法, コンピューターソフトウェア, 岩波書店, Vol. 31, No. 2, pp. 93-117, Apr. 2014.

国際会議発表 (査読有り)

• Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki. Simple synthesis of reactive systems with tolerance for unexpected environmental behavior, the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16), Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16), ACM New York, pp. 15-21, May 2016.
• Takashi Tomita, Takahito Kimura, Shigeki Hagihara, Naoki Yonezaki. An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints, Workshop on Computation: Theory and Practice (WCTP2014), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2014), pp. 30-42, Oct. 2014.
• Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. A Formal Ontology of Interactions with Intensional Quantitative Semantics, Workshop on Computation: Theory and Practice (WCTP-2012), Theory and Practice of Computation, Proceedings in Information and Communications Technology, Vol. 7, pp. 13-33, June 2013.
• Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki. A Temporal Logic with Mean-Payoff Constraints, 14th International Conference on Formal Engineering Methods (ICFEM 2012), Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Springer, Vol. 7635, pp. 249-265, Nov. 2012.
• Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki. Probabilistic Temporal Logic with Frequency Operators and Its Model Checking, 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011), Proceedings 13th International Workshop on Verification of Infinite-State Systems. 2011, Electronic Proceedings in Theoretical Computer Science, Vol. 73, pp. 79–93, Oct. 2011.
• Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. Qualitative Inference Rules for Analysis of Biological Object Interactions, 9th International Conference on Bioinformatics, 9th International Conference on Bioinformatics, Abstracts, pp. 48, Sept. 2010.
• Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. 2-layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics, CBI-KSBSB Joint Conference, CBI-KSBSB Joint Conference, P12-144, pp. 217, Nov. 2009.

国内会議発表 (査読有り)

• 冨田尭, 上野篤史, 萩原茂樹, 島川昌也, 米崎直樹. 可能な限り仕様を満たすリアクティブシステムの合成, 第22回 ソフトウェア工学の基礎ワークショップ FOSE 2015, ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015, 近代科学社, pp. 77-86, Nov. 2015.

国内会議発表 (査読なし・不明)

• 冨田尭, 萩原茂樹, 島川昌也, 米崎直樹. 実現可能性の必要条件に基づいた不完全リアクティブシステム合成, 日本ソフトウェア科学会第32回大会講演論文集, Sept. 2015.
• 上野篤史, 冨田尭, 島川昌也, 萩原茂樹, 米崎直樹. 環境許容性のあるリアクティブシステム合成法, 電子情報通信学会ソフトウェアサイエンス研究会, 信学技報, Vol. 114, No. 510, pp. 7-12, Mar. 2015.
• 冨田尭, 上野篤史, 萩原茂樹, 米崎直樹. 協調的リアクティブシステムの合成手法, 日本ソフトウェア科学会第31回大会講演論文集, Sept. 2014.
• 冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法, 日本ソフトウェア科学会第30回大会講演論文集, Sept. 2013.
• 冨田尭, 萩原茂樹, 米崎直樹. Mean-Payoff制約を記述可能な線形時間論理, 日本ソフトウェア科学会第29回大会講演論文集, Aug. 2012.
• 樋浦信, 冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹. 条件付頻度を扱えるように拡張したLTLによるリアクティブシステム仕様の充足可能性判定, ディペンダブルシステムワークショップ & シンポジウム (DSW & DSS 2011), Dec. 2011.
• 冨田尭, 萩原茂樹, 伊藤宗平, 樋浦信, 米崎直樹. 頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査, 日本ソフトウェア科学会第28回大会講演論文集, Sept. 2011.
• 冨田尭, 萩原茂樹, 樋浦信, 伊藤宗平, 米崎直樹. 頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム, 情報処理学会第73回全国大会講演論文集, Vol. 1, pp. 235-236, Mar. 2011.
• 冨田 尭, 泉 直子, 萩原茂樹, 米崎直樹. 量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー, 日本ソフトウェア科学会第25回大会講演論文集, Sept. 2008.

学位論文

• 定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究,  論文要旨,  博士(工学),  東京工業大学,  2013/09/25,   
• 定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究,  本文,  博士(工学),  東京工業大学,  2013/09/25,   
• 定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究,  審査の要旨,  博士(工学),  東京工業大学,  2013/09/25,   

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]