TOP  >  Personal Info.  >  Misc
TOMITA, Takashi Associate Professor
Information Science, Next-Generation Digital Infrastructure, Research Center for Advanced Computing Infrastructure

Misc

21 items
Linguistic and Topological Characteristics of Temporal Property Classes
冨田 尭
日本ソフトウェア科学会第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
Test Case Generation Method for Simulation Verification in Autonomous Driving System Development
鈴木玄貴, 冨田尭, 青木利晃, 河井達治, 川上大介, 千田伸男
情報処理学会研究報告(Web), 2021, SE-207, -, 2021
Decision Procedures for necessary conditions of Reactive System Specifications.
冨田尭
日本ソフトウェア科学会大会講演論文集(Web), 37th, -, 2020
自動運転システムにおける画像を対象とした形式仕様記述言語BBSLの提案
田中健人, 青木利晃, 川上大介, 千田伸男, 河井達治, 冨田尭
情報処理学会研究報告(Web), 2020, SE-205, -, 2020
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成
石井 大輔, 野村 亮太, 八田 竜起, 冨田 尭, 青木 利晃
日本ソフトウェア科学会第35回大会, -, 2018
確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法
青木 利晃, 川上 大介, 千田 伸男, 冨田 尭
IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム論文集, 2018, 236-243, 2018
Simulinkモデルに対するテストスイート自動生成
冨田 尭, 石井 大輔, 青木 利晃
第14回ディペンダブルシステムワークショップ (DSW), 2016, -, 2016
Refinement Methods of Biased Distributions for Statistical Model Checking
冨田 尭
日本ソフトウェア科学会大会第33回大会, 439-451, 2016
AI-3-5 Statistical Model Checking of Hybrid Systems
Ishii Daisuke, Tomita Takashi, Yonezaki Naoki
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 2016, "SS-38"-"SS-39", 2016
Imperfect Reactive System Synthesis Based on Necessary Conditions of Realizability
冨田 尭, 萩原 茂樹, 島川 昌也
日本ソフトウェア科学会大会第32回大会, 17p-, 2015
Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior
上野篤史, 冨田尭, 島川昌也, 萩原茂樹, 米崎直樹
電子情報通信学会技術研究報告, 114, 510(SS2014 55-73), 7-12, 2015
A Synthesis Method of Cooperative Reactive Systems
冨田 尭, 上野 篤史, 萩原 茂樹, 米崎 直樹
日本ソフトウェア科学会大会第31回大会, 20-29, 2014
Automatic Synthesis of Optimal Markov Decision Processes Realizing Mean-Payo Temporal Logic Specifications under Probabilistic Environments
冨田 尭, 山崎 徹郎, 萩原 茂樹
日本ソフトウェア科学会大会第30回大会, 454-480, 2013
A Linear-Time Logic with Mean-Payoff Constraints
冨田 尭, 萩原 茂樹, 米崎 直樹
日本ソフトウェア科学会大会第29回大会, 217-231, 2012
Probabilistic Model Checking with Statistical Methods for Linear-Time Logic with Frequency Operators
冨田 尭, 萩原 茂樹, 伊藤 宗平
日本ソフトウェア科学会大会第28回大会, 1-13, 2011
頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム
冨田尭, 萩原茂樹, 樋浦信, 伊藤宗平, 米崎直樹
情報処理学会第73回全国大会, 1, 235-236, 2011
量的関係を考慮した生体内の活性化/阻害機能の形式相互作用オントロジー
冨田尭, 泉直子, 萩原茂樹, 米崎直樹
日本ソフトウェア科学会第25回大会, -, 2008