According to our database1, Takashi Tomita authored at least 7 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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
Reducing false positives of static analysis for SEI CERT C coding standard.
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
Safraless LTL synthesis considering maximal realizability.
Acta Inf., 2017
Template-Based Monte-Carlo Test Generation for Simulink Models.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016
A Temporal Logic with Mean-Payoff Constraints.
Proceedings of the Formal Methods and Software Engineering, 2012
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011