Takashi Tomita

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 22

Top Topics

Observational Data

Monte Carlo Methods

Reactive Systems

Fault Tree Analysis

Top Venues

Publications

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)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Approximate Translation from Floating-Point to Real-Interval Arithmetic. NFM (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
SMT-Based Model Checking of Industrial Simulink Models. ICFEM (2022)
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. QRS (2022)
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. IEICE Trans. Inf. Syst. (10) (2022)
Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki
Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques. SAC (2022)
Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kavvakami, Nobuo Chida
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. COMPSAC (2022)
Jonghyeok Jeon, Takashi Tomita
Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data. Remote. Sens. 14 (22) (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
SMT-Based Model Checking of Industrial Simulink Models. CoRR (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Approximate Translation from Floating-Point to Real-Interval Arithmetic. CoRR (2021)
Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers. Softw. Test. Verification Reliab. 31 (8) (2021)
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
Compositional Test Generation of Industrial Synchronous Systems. CoRR (2021)
Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita
Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. PRDC (2020)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2020)
Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
Reducing false positives of static analysis for SEI CERT C coding standard. CESSER-IP@ICSE (2019)
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. ICSCA (2019)
Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada
Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. APSEC (2019)
Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo
Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. APSEC (2019)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
A scalable Monte-Carlo test-case generation tool for large and complex simulink models. MiSE@ICSE (2019)
Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
Safraless LTL synthesis considering maximal realizability. Acta Informatica 54 (7) (2017)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Template-Based Monte-Carlo Test Generation for Simulink Models. CyPhy (2017)
Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. FormaliSE@ICSE (2016)
Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
A Temporal Logic with Mean-Payoff Constraints. ICFEM (2012)
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking INFINITY (2011)