トップページ  >  教員個別情報  >  Misc
冨田　尭 （TOMITA, Takashi）准教授
情報科学, 次世代デジタル社会基盤研究領域, 情報社会基盤研究センター

Misc

21件
時間的性質類の言語的及び位相的特性
冨田 尭
日本ソフトウェア科学会第40回大会, -, 2023
自動運転システムを対象としたシナリオ開発のためのモデリング言語
青木 利晃, 冨田 尭, 河井 達治, 川上 大介, 千田 伸男
IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム論文集2022, -, 2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
Computing Research Repository (CoRR), 2206.02992, -, 2022
Compositional Test Generation of Industrial Synchronous Systems.
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
Computing Research Repository (CoRR), 2112.05411, -, 2021
Approximate Translation from Floating-Point to Real-Interval Arithmetic
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Computing Research Repository (CoRR), 2112.02804, -, 2021
自動運転システム開発におけるシミュレーション検証のためのテストケース生成手法の提案
鈴木玄貴, 冨田尭, 青木利晃, 河井達治, 川上大介, 千田伸男
情報処理学会研究報告(Web), 2021, SE-207, -, 2021
リアクティブシステム実現可能性必要条件の判定手続き
冨田尭
日本ソフトウェア科学会大会講演論文集(Web), 37th, -, 2020
自動運転システムにおける画像を対象とした形式仕様記述言語BBSLの提案
田中健人, 青木利晃, 川上大介, 千田伸男, 河井達治, 冨田尭
情報処理学会研究報告(Web), 2020, SE-205, -, 2020
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成
石井 大輔, 野村 亮太, 八田 竜起, 冨田 尭, 青木 利晃
日本ソフトウェア科学会第35回大会, -, 2018
確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法
青木 利晃, 川上 大介, 千田 伸男, 冨田 尭
IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム論文集, 2018, 236-243, 2018
Simulinkモデルに対するテストスイート自動生成
冨田 尭, 石井 大輔, 青木 利晃
第14回ディペンダブルシステムワークショップ (DSW), 2016, -, 2016
統計的モデル検査における偏向分布洗練手法
冨田 尭
日本ソフトウェア科学会大会第33回大会, 439-451, 2016
AI-3-5 ハイブリッドシステムの統計的モデル検査(AI-3.ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開,依頼シンポジウム,ソサイエティ企画)
石井 大輔, 冨田 尭, 米崎 直樹
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016, "SS-38"-"SS-39", 2016
実現可能性の必要条件に基づいた不完全リアクティブシステム合成
冨田 尭, 萩原 茂樹, 島川 昌也
日本ソフトウェア科学会大会第32回大会, 17p-, 2015
環境許容性のあるリアクティブシステム合成法
上野篤史, 冨田尭, 島川昌也, 萩原茂樹, 米崎直樹
電子情報通信学会技術研究報告, 114, 510(SS2014 55-73), 7-12, 2015
協調的リアクティブシステムの合成手法
冨田 尭, 上野 篤史, 萩原 茂樹, 米崎 直樹
日本ソフトウェア科学会大会第31回大会, 20-29, 2014
確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法
冨田 尭, 山崎 徹郎, 萩原 茂樹
日本ソフトウェア科学会大会第30回大会, 454-480, 2013
Mean-Payoff制約を記述可能な線形時間論理
冨田 尭, 萩原 茂樹, 米崎 直樹
日本ソフトウェア科学会大会第29回大会, 217-231, 2012
頻度オペレータを導入した線形時間論理の統計的手法を用いた確率的モデル検査
冨田 尭, 萩原 茂樹, 伊藤 宗平
日本ソフトウェア科学会大会第28回大会, 1-13, 2011
頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム
冨田尭, 萩原茂樹, 樋浦信, 伊藤宗平, 米崎直樹
情報処理学会第73回全国大会, 1, 235-236, 2011
量的関係を考慮した生体内の活性化/阻害機能の形式相互作用オントロジー
冨田尭, 泉直子, 萩原茂樹, 米崎直樹
日本ソフトウェア科学会第25回大会, -, 2008