Takashi Tomita

According to our database1, Takashi Tomita authored at least 7 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2017
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

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
A Temporal Logic with Mean-Payoff Constraints.
Proceedings of the Formal Methods and Software Engineering, 2012

2011
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


  Loading...