Chung-Hao Huang

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