Hirotoshi Yasuoka
According to our database1,
Hirotoshi Yasuoka
authored at least 13 papers
between 2009 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
0
1
2
3
4
2
1
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
The missing link: Developing a safety case for perception components in automated driving.
CoRR, 2021
2020
2019
CoRR, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
Open Problems in Engineering and Quality Assurance of Safety Critical Machine Learning Systems.
CoRR, 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2014
Theor. Comput. Sci., 2014
2011
2010
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010
2009
Proceedings of the Static Analysis, 16th International Symposium, 2009