Tomita Takashi 冨田尭

Researcher Number	80749226
Other IDs	https://orcid.org/0000-0003-1249-7862
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 准教授
Affiliation (based on the past Project Information) *help	2023: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 准教授 2019 – 2022: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 講師 2017 – 2018: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software
Keywords	Principal Investigator 形式手法 / ソフトウェア工学 / 電子制御モデル / モデルベース開発 / 確率・統計 / 協調的リテクティブシステム / 自動合成 / 実現可能性 / 協調的リアクティブシステム / ソフトウェア検証

Research Projects
(2 results)
Research Products
(8 results)

電子制御モデル検証における形式手法と確率・統計的手法の融合Principal Investigator
- Principal Investigator
  
  冨田尭
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Cooperative Reactive System Synthesis Based on Necessary Conditions of RealizabilityPrincipal Investigator
- Principal Investigator
  
  Tomita Takashi
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2022 2020 2018

All Journal Article Presentation

[Journal Article] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022
- Author(s)
  TOMITA Takashi、HAGIHARA Shigeki、SHIMAKAWA Masaya、YONEZAKI Naoki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E105.D Issue: 10 Pages: 1665-1677
- DOI
  10.1587/transinf.2021FOP0005
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2022-10-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11980, KAKENHI-PROJECT-17K17763, KAKENHI-PROJECT-18K18028
[Journal Article] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022
- Author(s)
  Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
- Journal Title
  
  IEICE Transaction on Information and Systems
  
  Volume: E105-D
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K17763
[Presentation] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
- Organizer
  NASA Formal Methods 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19773
[Presentation] SMT-Based Model Checking of Industrial Simulink Models2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Ngoc Thi Bich Do, Hideaki Takai
- Organizer
  20th International Conference on Software Engineering and Formal Methods
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19773
[Presentation] Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
- Organizer
  22nd IEEE International Conference on Software Quality, Reliability and Security
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19773
[Presentation] リアクティブシステム実現可能性必要条件の判定手続き2020
- Author(s)
  冨田　尭
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-17K17763
[Presentation] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2018
- Author(s)
  Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
- Organizer
  Workshop on Computation: Theory and Practice
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K17763
[Presentation] Towards Efficient Implementation of Realizability Checking for Reactive System Specifications2018
- Author(s)
  Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  8th International Conference on Software and Computer Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K17763

Tomita Takashi 冨田 尭

Research Projects

Research Products

電子制御モデル検証における形式手法と確率・統計的手法の融合Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Cooperative Reactive System Synthesis Based on Necessary Conditions of RealizabilityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2022

Author(s)

Journal Title

Data Source

[Presentation] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022

Author(s)

Organizer

Data Source

[Presentation] SMT-Based Model Checking of Industrial Simulink Models2022

Author(s)

Organizer

Data Source

[Presentation] Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods2022

Author(s)

Organizer

Data Source

[Presentation] リアクティブシステム実現可能性必要条件の判定手続き2020

Author(s)

Organizer

Data Source

[Presentation] A Characterization on Necessary Conditions of Realizability for Reactive System Specifications2018

Author(s)

Organizer

Data Source

[Presentation] Towards Efficient Implementation of Realizability Checking for Reactive System Specifications2018

Author(s)

Organizer

Data Source

Tomita Takashi 冨田尭