Hirotoshi Yasuoka

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 12

Top Topics

Information Flows

Activation Patterns

Machine Learning Systems

Top Venues

Publications

Rick Salay, Krzysztof Czarnecki, Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae, Vahdat Abdelzad, Chengjie Huang, Maximilian Kahn, Van Duong Nguyen
The missing link: Developing a safety case for perception components in automated driving. CoRR (2021)
Hirotoshi Yasuoka
Computational Complexity of Quadratic Unconstrained Binary Optimization. CoRR (2021)
Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae
Engineering problems in machine learning systems. Mach. Learn. 109 (5) (2020)
Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae
Open Problems in Engineering Machine Learning Systems and the Quality Model. CoRR (2019)
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
Runtime Monitoring Neuron Activation Patterns. DATE (2019)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. CoRR (2018)
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ATVA (2018)
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
Runtime Monitoring Neuron Activation Patterns. CoRR (2018)
Hiroshi Kuwajima, Hirotoshi Yasuoka, Toshihiro Nakae
Open Problems in Engineering and Quality Assurance of Safety Critical Machine Learning Systems. CoRR (2018)
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. CoRR (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. MEMOCODE (2018)
Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta
A Decision Tree Approach to Data Classification using Signal Temporal Logic. HSCC (2016)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative information flow as safety and liveness hyperproperties. Theor. Comput. Sci. 538 (2014)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative Information Flow as Safety and Liveness Hyperproperties QAPL (2012)
Hirotoshi Yasuoka, Tachio Terauchi
On Bounding Problems of Quantitative Information Flow CoRR (2011)
Hirotoshi Yasuoka, Tachio Terauchi
On bounding problems of quantitative information flow. J. Comput. Secur. 19 (6) (2011)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative Information Flow - Verification Hardness and Possibilities CoRR (2010)
Hirotoshi Yasuoka, Tachio Terauchi
On Bounding Problems of Quantitative Information Flow. ESORICS (2010)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative Information Flow - Verification Hardness and Possibilities. CSF (2010)
Hirotoshi Yasuoka, Tachio Terauchi
Polymorphic Fractional Capabilities. SAS (2009)