Takashi Tomita

According to our database, Takashi Tomita authored at least 22 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.

Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki

IEICE Trans. Inf. Syst., October, 2022

Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data.

Jonghyeok Jeon, Takashi Tomita

Remote. Sens., 2022

Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques.

Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

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

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Approximate Translation from Floating-Point to Real-Interval Arithmetic.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

SMT-Based Model Checking of Industrial Simulink Models.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.

Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki

Softw. Test. Verification Reliab., 2021

Compositional Test Generation of Industrial Synchronous Systems.

Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

CoRR, 2021

2020

Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems.

Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

2019

A scalable Monte-Carlo test-case generation tool for large and complex simulink models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

Reducing false positives of static analysis for SEI CERT C coding standard.

Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada

Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, 2019

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.

Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.

Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.

Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2017

Safraless LTL synthesis considering maximal realizability.

Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Acta Informatica, 2017

Template-Based Monte-Carlo Test Generation for Simulink Models.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.

Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2012

A Temporal Logic with Mean-Payoff Constraints.

Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Formal Methods and Software Engineering, 2012

2011

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011