Tomoya Yamaguchi

According to our database1, Tomoya Yamaguchi authored at least 8 papers between 2016 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Risk-Bounded Control Using Stochastic Barrier Functions.
IEEE Control. Syst. Lett., 2021

2020
Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress.
Proceedings of the 20th International Conference on Embedded Software, 2020

RTAMT: Online Robustness Monitors from STL.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
Application of Abstract Interpretation to the Automotive Electronic Control System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

2016
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016


  Loading...