冨田尭

トミタタカシ | Tomita Takashi

所属機関・部署：
職名：准教授
その他の所属（所属・部署名・職名） (1件)：

ホームページURL (2件)： https://www.jaist.ac.jp/~tomita/index-jp.html , https://www.jaist.ac.jp/~tomita/index.html

研究分野 (4件)：ソフトウェア , ソフトウェア , 数理情報学 , 生命、健康、医療情報学

研究キーワード (13件)：ソフトウェア工学 , 形式手法 , 検証 , モデル検査 , プログラム合成 , テスト生成 , リアクティブシステム , モデルベース開発 , 車載システム , 形式言語 , オートマトン理論 , 時間論理 , 確率・統計

論文 (28件)：

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida. Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. ENASE. 2023. 250-261
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). 2022. 422-433
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai. SMT-Based Model Checking of Industrial Simulink Models. 23rd International Conference on Formal Engineering Methods (ICFEM). 2022. 156-172
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. IEICE Transactions on Information and Systems. 2022. E105.D. 10. 1665-1677
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida. A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC). 2022. 950-955

MISC (21件)：

冨田尭. 時間的性質類の言語的及び位相的特性. 日本ソフトウェア科学会第40回大会. 2023
青木利晃, 冨田尭, 河井達治, 川上大介, 千田伸男. 自動運転システムを対象としたシナリオ開発のためのモデリング言語. IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム論文集2022. 2022
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai. SMT-Based Model Checking of Industrial Simulink Models. Computing Research Repository (CoRR). 2022. 2206.02992
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki. Compositional Test Generation of Industrial Synchronous Systems. Computing Research Repository (CoRR). 2021. 2112.05411
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki. Approximate Translation from Floating-Point to Real-Interval Arithmetic. Computing Research Repository (CoRR). 2021. 2112.02804

特許 (3件)：

講演・口頭発表等 (24件)：

時間的性質類の言語的及び位相的特性
(日本ソフトウェア科学会第40回大会 2023)
自動運転システム開発におけるシミュレーション検証のためのテストケース生成手法の提案
(情報処理学会研究報告(Web) 2021)
リアクティブシステム実現可能性必要条件の判定手続き
(日本ソフトウェア科学会第37回大会 2020)
A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models
(11th Workshop on Modelling in Software Engineering (MiSE 2019) 2019)
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール
(組込みシステムシンポジウム2018 2018)

学歴 (3件)：

学位 (1件)：

経歴 (4件)：

委員歴 (2件)：

2023 - 現在 WCTP (Workshop on Computation: Theory and Practice) プログラム委員
2016 - 2019 BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms) プログラム委員

受賞 (3件)：

2019 - ソフトウェアテスト技術振興協会善吾賞確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法
2015 - IEEE Computer Society Japan Chapter FOSE Young Researcher Award 可能な限り仕様を満たすリアクティブシステムの合成
2012 - 日本ソフトウェア科学会学生奨励賞 Mean-Payoffを記述可能な線形時間論理

所属学会 (5件)：

情報処理学会 (IPSJ) , 米国計算機学会 (ACM) , 米国電気電子学会 (IEEE) , 日本バイオインフォマティクス学会 (JSBi) , 日本ソフトウェア科学会 (JSSST)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

冨田 尭