Takashi Tomita
Orcid: 0000-0003-1249-7862
According to our database1,
Takashi Tomita
authored at least 25 papers
between 1992 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
8
2
2
2
1
1
1
1
5
1
5
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
CoRR, January, 2025
Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems.
IEEE Access, 2025
2023
Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.
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.
IEICE Trans. Inf. Syst., October, 2022
Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data.
Remote. Sens., 2022
Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques.
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.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the Formal Methods and Software Engineering, 2022
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
2021
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.
Softw. Test. Verification Reliab., 2021
2020
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020
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.
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019
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.
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.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2017
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017
2016
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016
2012
Proceedings of the Formal Methods and Software Engineering, 2012
2011
Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011
1992
IEEE J. Solid State Circuits, October, 1992