Polymorphic Fractional Capabilities. - Hirotoshi Yasuoka; Tachio Terauchi (SAS, 2009)

Quantitative Information Flow - Verification Hardness and Possibilities. - Hirotoshi Yasuoka; Tachio Terauchi (CSF, 2010)

On bounding problems of quantitative information flow. - Hirotoshi Yasuoka; Tachio Terauchi (J. Comput. Secur., 2011)

Quantitative information flow as safety and liveness hyperproperties. - Hirotoshi Yasuoka; Tachio Terauchi (Theor. Comput. Sci., 2014)

A Decision Tree Approach to Data Classification using Signal Temporal Logic. - Giuseppe Bombara; Cristian Ioan Vasile; Francisco Penedo; Hirotoshi Yasuoka; Calin Belta (HSCC, 2016)

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. - Chih-Hong Cheng; Chung-Hao Huang; Hirotoshi Yasuoka (ATVA, 2018)

Towards Dependability Metrics for Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess; Hirotoshi Yasuoka (MEMOCODE, 2018)

Open Problems in Engineering and Quality Assurance of Safety Critical Machine Learning Systems. - Hiroshi Kuwajima; Hirotoshi Yasuoka; Toshihiro Nakae (CoRR, 2018)

Runtime Monitoring Neuron Activation Patterns. - Chih-Hong Cheng; Georg Nührenberg; Hirotoshi Yasuoka (DATE, 2019)

Open Problems in Engineering Machine Learning Systems and the Quality Model. - Hiroshi Kuwajima; Hirotoshi Yasuoka; Toshihiro Nakae (CoRR, 2019)

Engineering problems in machine learning systems. - Hiroshi Kuwajima; Hirotoshi Yasuoka; Toshihiro Nakae (Mach. Learn., 2020)

The missing link: Developing a safety case for perception components in automated driving. - Rick Salay; Krzysztof Czarnecki 001; Hiroshi Kuwajima; Hirotoshi Yasuoka; Toshihiro Nakae; Vahdat Abdelzad; Chengjie Huang; Maximilian Kahn; Van Duong Nguyen (CoRR, 2021)

Computational Complexity of Quadratic Unconstrained Binary Optimization. - Hirotoshi Yasuoka (CoRR, 2021)