Rchr
J-GLOBAL ID：201901008471455373
Update date: Jan. 19, 2024
Tomita Takashi
トミタ タカシ | Tomita Takashi
Affiliation and department：
Job title：
Associate Professor
Other affiliations (1)：
-
Japan Advanced Institute of Science and Technology
Graduate School of Advanced Science and Technology
Associate Professor
Homepage URL (2)：
https://www.jaist.ac.jp/~tomita/index-jp.html
,
https://www.jaist.ac.jp/~tomita/index.html
Research field (4)：
Software
, Software
, Mathematical informatics
, Biological, health, and medical informatics
Research keywords (13)：
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
Papers (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
ｍore...
MISC (21)：
-
Linguistic and Topological Characteristics of Temporal Property Classes. 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
ｍore...
Patents (3)：
Lectures and oral presentations (24)：
-
Linguistic and Topological Characteristics of Temporal Property Classes
(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) 2019)
-
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール
(組込みシステムシンポジウム2018 2018)
ｍore...
Education (3)：
- 2009 - 2013 Tokyo Institute of Technology Graduate School of Information Science and Engineering Department of Computer Science
- 2007 - 2009 Tokyo Institute of Technology Graduate School of Information Science and Engineering Department of Computer Science
- 2003 - 2007 Tokyo Institute of Technology School of Engineering Department of Computer Science
Professional career (1)：
- Ph.D. (Engineering) (Tokyo Institute of Technology)
Work history (4)：
- 2023/04 - 現在 Japan Advanced Institute of Science and Technology Research Center for Advanced Computing Infrastructure Associate Professor
- 2020/04 - 2023/03 Japan Advanced Institute of Science and Technology Research Center for Advanced Computing Infrastructure Senior Lecturer (Junior Associate Professor)
- 2015/04 - 2020/03 Japan Advanced Institute of Science and Technology Research Center for Advanced Computing Infrastructure Assistant Professor
- 2013/10 - 2015/03 Tokyo Institute of Technology Graduate School of Information Science and Engineering Researcher
Committee career (2)：
- 2023 - 現在 WCTP (Workshop on Computation: Theory and Practice) PC member
- 2016 - 2019 BIOINFORMATICS (International Conference on Bioinformatics Models, Methods and Algorithms) PC member
Awards (3)：
- 2019 - ソフトウェアテスト技術振興協会 善吾賞 確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法
- 2015 - IEEE Computer Society Japan Chapter FOSE Young Researcher Award 可能な限り仕様を満たすリアクティブシステムの合成
- 2012 - 日本ソフトウェア科学会 学生奨励賞 Mean-Payoffを記述可能な線形時間論理
Association Membership(s) (5)：
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)
