Hirotoshi Yasuoka

According to our database, Hirotoshi Yasuoka authored at least 13 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Computational Complexity of Quadratic Unconstrained Binary Optimization.

Hirotoshi Yasuoka

CoRR, 2021

The missing link: Developing a safety case for perception components in automated driving.

Rick Salay, Krzysztof Czarnecki, Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae, Vahdat Abdelzad, Chengjie Huang, Maximilian Kahn, Van Duong Nguyen

CoRR, 2021

2020

Engineering problems in machine learning systems.

Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae

Mach. Learn., 2020

2019

Open Problems in Engineering Machine Learning Systems and the Quality Model.

Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae

CoRR, 2019

Runtime Monitoring Neuron Activation Patterns.

Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka

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.

Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae

CoRR, 2018

Towards Dependability Metrics for Neural Networks.

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems.

Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka

Proceedings of the Automated Technology for Verification and Analysis, 2018

2016

A Decision Tree Approach to Data Classification using Signal Temporal Logic.

Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2014

Quantitative information flow as safety and liveness hyperproperties.

Hirotoshi Yasuoka, Tachio Terauchi

Theor. Comput. Sci., 2014

2011

On bounding problems of quantitative information flow.

Hirotoshi Yasuoka, Tachio Terauchi

J. Comput. Secur., 2011

2010

Quantitative Information Flow - Verification Hardness and Possibilities.

Hirotoshi Yasuoka, Tachio Terauchi

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Polymorphic Fractional Capabilities.

Hirotoshi Yasuoka, Tachio Terauchi

Proceedings of the Static Analysis, 16th International Symposium, 2009