A Temporal Logic for the Interaction of Strategies. - Farn Wang; Chung-Hao Huang; Fang Yu 001 (CONCUR, 2011)

Evolving a Test Oracle in Black-Box Testing. - Farn Wang; Jung-Hsuan Wu; Chung-Hao Huang; Kai-Hsiang Chang (FASE, 2011)

Rapid Recovery for Systems with Scarce Faults - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (GandALF, 2012)

T-slot High-Impedance Surface structures for EMC of wireless products. - Chung-Hao Huang; Chun-Kai Chen; Lun-Hui Lee; Ming-Shing Lin (ICICS, 2013)

Temporal Specification Mining for Anomaly Analysis. - Farn Wang; Jung-Hsuan Wu; Chung-Hao Huang; Cheng-Chieh Chang; Chung-Cheng Li (APLAS, 2013)

Coverage Games for Testing Nondeterministic Systems. - Farn Wang; Jung-Hsuan Wu; Sven Schewe; Chung-Hao Huang (CoRR, 2013)

G4LTL-ST: Automatic Generation of PLC Programs. - Chih-Hong Cheng; Chung-Hao Huang; Harald Ruess; Stefan Stattelmann (CAV, 2014)

Efficient Visual Feedback Method to Control a Three-Dimensional Overhead Crane. - Lun-Hui Lee; Chung-Hao Huang; Sung-Chih Ku; Zhi-Heng Yang; Cheng-Yuan Chang (IEEE Trans. Ind. Electron., 2014)

From Safety to security - Pattern and anomaly detections in maritime trajectories. - Shwu-Jing Chang; Kuan-Hung Yeh; Guan-Dun Peng; Shih-Ming Chang; Chung-Hao Huang (ICCST, 2015)

Real-Time RFID Indoor Positioning System Based on Kalman-Filter Drift Removal and Heron-Bilateration Location Estimation. - Chung-Hao Huang; Lun-Hui Lee; Chian C. Ho; Lang-Long Wu; Zu-Hao Lai (IEEE Trans. Instrum. Meas., 2015)

An Extension of ATL with Strategy Interaction. - Farn Wang; Sven Schewe; Chung-Hao Huang (ACM Trans. Program. Lang. Syst., 2015)

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (IEEE Trans. Software Eng., 2016)

Model-checking iterated games. - Chung-Hao Huang; Sven Schewe; Farn Wang (Acta Informatica, 2017)

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)

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess (VSTTE, 2018)

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. - Chih-Hong Cheng; Chung-Hao Huang; Georg Nührenberg (CoRR, 2018)

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. - Chih-Hong Cheng; Chung-Hao Huang; Georg Nührenberg (ICCAD, 2019)

Towards Safety Verification of Direct Perception Neural Networks. - Chih-Hong Cheng; Chung-Hao Huang; Thomas Brunner; Vahid Hashemi (DATE, 2020)