TOMITA, Takashi Associate Professor
Information Science, Next-Generation Digital Infrastructure, Research Center for Advanced Computing Infrastructure
◆Degrees
Ph.D. (Engineering) Tokyo Institute of Technology
◆Professional Experience
2023 - : Japan Advanced Institute of Science and Technology , Research Center for Advanced Computing Infrastructure , Associate Professor
2020 - 2023 : Japan Advanced Institute of Science and Technology , Research Center for Advanced Computing Infrastructure , Senior Lecturer (Junior Associate Professor)
2015 - 2020 : Japan Advanced Institute of Science and Technology , Research Center for Advanced Computing Infrastructure , Assistant Professor
2013 - 2015 : Tokyo Institute of Technology , Graduate School of Information Science and Engineering , Researcher
◆Specialties
Software, Mathematical informatics, Biological, health, and medical informatics
◆Research Keywords
Software Engineering, Formal Methods, Verification, Model Checking, Program Synthesis, Test Generation, Reactive Systems, Model-Based Development, In-Vehicle Systems, Formal Languages, Automata Theory, Temporal Logic, Probability and Statistics

■Publications

◆Published Papers
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
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
◆Conference Activities & Talks
Linguistic and Topological Characteristics of Temporal Property Classes
日本ソフトウェア科学会第40回大会, 2023
Test Case Generation Method for Simulation Verification in Autonomous Driving System Development
情報処理学会研究報告(Web), 2021
Decision Procedures for necessary conditions of Reactive System Specifications.
日本ソフトウェア科学会第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

■Teaching Experience

Fundamental Mathematics for Information Science

■Contributions to  Society

◆Academic Society Affiliations
Information Processing Society of Japan (IPSJ), Association for Computing Machinery (ACM), Institute of Electrical and Electronics Engineers (IEEE), Japanese Society for Bioinformatics (JSBi), Japan Society for Software Science and Technology (JSSST)
◆Academic Contribution
PC member , WCTP (Workshop on Computation: Theory and Practice)
PC member , BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms)

■Academic  Awards

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