Hirotoshi Yasuoka

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