Chung-Hao Huang

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 11

Top Topics

Visual Feedback

Location Estimation

Multilayer Perceptron

Top Venues

Publications

Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
Towards Safety Verification of Direct Perception Neural Networks. DATE (2020)
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. ICCAD (2019)
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi
Towards Safety Verification of Direct Perception Neural Networks. CoRR (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, Chung-Hao Huang, Harald Ruess
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). VSTTE (2018)
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. CoRR (2018)
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. CoRR (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. MEMOCODE (2018)
Chung-Hao Huang, Sven Schewe, Farn Wang
Model-checking iterated games. Acta Informatica 54 (7) (2017)
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. 42 (7) (2016)
Shwu-Jing Chang, Kuan-Hung Yeh, Guan-Dun Peng, Shih-Ming Chang, Chung-Hao Huang
From Safety to security - Pattern and anomaly detections in maritime trajectories. ICCST (2015)
Farn Wang, Sven Schewe, Chung-Hao Huang
An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Chung-Hao Huang, Lun-Hui Lee, Chian C. Ho, Lang-Long Wu, Zu-Hao Lai
Real-Time RFID Indoor Positioning System Based on Kalman-Filter Drift Removal and Heron-Bilateration Location Estimation. IEEE Trans. Instrum. Meas. 64 (3) (2015)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CAV (2014)
Lun-Hui Lee, Chung-Hao Huang, Sung-Chih Ku, Zhi-Heng Yang, Cheng-Yuan Chang
Efficient Visual Feedback Method to Control a Three-Dimensional Overhead Crane. IEEE Trans. Ind. Electron. 61 (8) (2014)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CoRR (2014)
Chung-Hao Huang, Sven Schewe, Farn Wang
Model-Checking Iterated Games. TACAS (2013)
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li
Temporal Specification Mining for Anomaly Analysis. APLAS (2013)
Chung-Hao Huang, Chun-Kai Chen, Lun-Hui Lee, Ming-Shing Lin
T-slot High-Impedance Surface structures for EMC of wireless products. ICICS (2013)
Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang
Coverage Games for Testing Nondeterministic Systems. CoRR (2013)
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
Rapid Recovery for Systems with Scarce Faults GandALF (2012)
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang
Evolving a Test Oracle in Black-Box Testing. FASE (2011)
Farn Wang, Chung-Hao Huang, Fang Yu
A Temporal Logic for the Interaction of Strategies. CONCUR (2011)