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

■研究業績

◆発表論文
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
IEICE Transactions, 103-A, 2, 451-461, 2020
A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
11th Workshop on Modelling in Software Engineering (MiSE 2019), 39-46, 2019
Reducing False Positives of Static Analysis for SEI CERT C Coding Standard
Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019), 41-48, 2019
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
8th Interna- tional Conference on Software and Computer Applications (ICSCA 2019), 347-352, 2019
Template-Based Monte-Carlo Test Generation for Simulink Models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, LNCS, 11267, 63-78, 2019
◆Misc
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成
石井 大輔, 野村 亮太, 八田 竜起, 冨田 尭, 青木 利晃
日本ソフトウェア科学会第35回大会, -, 2018
Simulinkモデルに対するテストスイート自動生成
冨田 尭, 石井 大輔, 青木 利晃
第14回ディペンダブルシステムワークショップ (DSW’16), -, 2016
AI-3-5 ハイブリッドシステムの統計的モデル検査(AI-3.ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開,依頼シンポジウム,ソサイエティ企画)
石井 大輔, 冨田 尭, 米崎 直樹
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016, "SS-38"-"SS-39", 2016
◆講演・口頭発表
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
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
Workshop on Computation: Theory and Practice 2018 (WCTP2018), UP Professional Schools BGC, Manila, Philippines, 2018
Template-Based Monte-Carlo Test Generation for Simulink Models
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17 ), Seoul, South Korea, 2018
Randomized Test Generation Methods for Model-Based Control System Development
The First Asian Symposium on Collaborative Software Engineering (ACSE 2017), Waseda University (Nishiwaseda Campus), Tokyo, 2017

■学外活動

◆所属学会
ACM, 日本バイオインフォマティクス学会, IEEE, 日本ソフトウェア科学会
◆学術貢献活動
プログラム委員 , BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms)

■賞等

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