冨田 尭 (TOMITA, Takashi)准教授
情報科学, 次世代デジタル社会基盤研究領域, 情報社会基盤研究センター
◆学位
博士(工学) 東京工業大学
◆職歴
2023 - : 北陸先端科学技術大学院大学 , 情報社会基盤研究センター , 准教授
2020 - 2023 : 北陸先端科学技術大学院大学 , 情報社会基盤研究センター , 講師
2015 - 2020 : 北陸先端科学技術大学院大学 , 情報社会基盤研究センター , 助教
2013 - 2015 : 東京工業大学 , 大学院情報理工学研究科 , 研究員
◆専門分野
ソフトウェア, 数理情報学, 生命、健康、医療情報学
◆研究キーワード
ソフトウェア工学, 形式手法, 検証, モデル検査, プログラム合成, テスト生成, リアクティブシステム, モデルベース開発, 車載システム, 形式言語, オートマトン理論, 時間論理, 確率・統計

■研究業績

◆発表論文
Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
ENASE, 250-261, 2023
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS), 422-433, 2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
23rd International Conference on Formal Engineering Methods (ICFEM), 156-172, 2022
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
IEICE Transactions on Information and Systems, E105.D, 10, 1665-1677, 2022
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems.
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 950-955, 2022
◆Misc
時間的性質類の言語的及び位相的特性
冨田 尭
日本ソフトウェア科学会第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
◆講演・口頭発表
時間的性質類の言語的及び位相的特性
日本ソフトウェア科学会第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), Montreal, Canada, 2019
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール
組込みシステムシンポジウム2018, 下呂市,岐阜, 2018

■担当講義

基礎情報数学

■学外活動

◆所属学会
情報処理学会 (IPSJ), 米国計算機学会 (ACM), 米国電気電子学会 (IEEE), 日本バイオインフォマティクス学会 (JSBi), 日本ソフトウェア科学会 (JSSST)
◆学術貢献活動
プログラム委員 , WCTP (Workshop on Computation: Theory and Practice)
プログラム委員 , BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms)

■賞等

・ 善吾賞 , 青木 利晃, 川上 大介, 千田 伸男, 冨田 尭 , ソフトウェアテスト技術振興協会 , 2019
・ FOSE Young Researcher Award , 冨田 尭 , IEEE Computer Society Japan Chapter , 2015
・ 学生奨励賞 , 冨田 尭 , 日本ソフトウェア科学会 , 2012