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

■研究業績

◆発表論文
A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework
Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
11th International Conference on Rigorous State-Based Methods (ABZ), 330-338, 2025
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking
Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki
11th International Conference on Rigorous State-Based Methods (ABZ), 231-248, 2025
Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach
Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
IEEE Transactions on Reliability, -, 2025
Specification-based Testing of the Image-recognition Performance of Automated Driving Systems
Kento Tanaka, Toshiaki Aoki, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
IEEE Access, 13, 6321-6349, 2024
Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 1, 250-261, 2023
◆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

■担当講義

計算機システムとAI基礎, 形式言語とオートマトン（英語）, 基礎情報数学

■学外活動

◆所属学会
情報処理学会 (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