Chung-Hao Huang

发表

A Temporal Logic for the Interaction of Strategies

Farn Wang, Chung-Hao Huang, Fang Yu, 2011, CONCUR.

Coverage Games for Testing Nondeterministic Systems pdf

Farn Wang, Chung-Hao Huang, Jung-Hsuan Wu, 2013, ArXiv.

Neural based variable structure control to a 3-D overhead crane system

Cheng-Yuan Chang, Chung-Hao Huang, Lun-Hui Lee, 2013, The SICE Annual Conference 2013.

Efficient Visual Feedback Method to Control a Three-Dimensional Overhead Crane

Cheng-Yuan Chang, Chung-Hao Huang, Lun-Hui Lee, 2014, IEEE Transactions on Industrial Electronics.

Movement in a small area using snake robot

Cheng-Yuan Chang, Chung-Hao Huang, Yu-Hsiang Hung, 2016, 2016 International Conference on System Science and Engineering (ICSSE).

ABCA: Android Black-box Coverage Analyzer of mobile app without source code

Farn Wang, Chung-Hao Huang, Shang-Yi Huang, 2015, 2015 IEEE International Conference on Progress in Informatics and Computing (PIC).

Sensing pipes of a nuclear power mechanism using low-cost snake robot

Cheng-Yuan Chang, Chung-Hao Huang, Chiung-Wei Huang, 2018 .

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems pdf

Chung-Hao Huang, Chih-Hong Cheng, Hirotoshi Yasuoka, 2018, ATVA.

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems pdf

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2018, ArXiv.

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2018, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Evolving a Test Oracle in Black-Box Testing

Farn Wang, Chung-Hao Huang, Jung-Hsuan Wu, 2011, FASE.

Vision based controller design with the application to a 3D overhead crane system

Cheng-Yuan Chang, Chung-Hao Huang, Lun-Hui Lee, 2013, 2013 International Conference on System Science and Engineering (ICSSE).

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

Farn Wang, Chung-Hao Huang, Sven Schewe, 2016, IEEE Transactions on Software Engineering.

G4LTL-ST: Automatic Generation of PLC Programs pdf

Chung-Hao Huang, Stefan Hauck-Stattelmann, Chih-Hong Cheng, 2014, CAV.

T-slot High-Impedance Surface structures for EMC of wireless products

Chung-Hao Huang, Lun-Hui Lee, Ming-Shing Lin, 2013, 2013 9th International Conference on Information, Communications & Signal Processing.

An Extension of ATL with Strategy Interaction

Farn Wang, Chung-Hao Huang, Sven Schewe, 2015, TOPL.

Towards Safety Verification of Direct Perception Neural Networks

Chung-Hao Huang, Chih-Hong Cheng, Thomas Brunner, 2019, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Temporal Specification Mining for Anomaly Analysis

Cheng-Chieh Chang, Farn Wang, Chung-Hao Huang, 2013, APLAS.

From Safety to security - Pattern and anomaly detections in maritime trajectories

Chung-Hao Huang, Shwu-Jing Chang, Shih-Ming Chang, 2015, 2015 International Carnahan Conference on Security Technology (ICCST).

Model-Checking Iterated Games

Farn Wang, Chung-Hao Huang, Sven Schewe, 2013, TACAS.

Towards Dependability Metrics for Neural Networks

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

Real-Time RFID Indoor Positioning System Based on Kalman-Filter Drift Removal and Heron-Bilateration Location Estimation

Chung-Hao Huang, Chian C. Ho, Lun-Hui Lee, 2015, IEEE Transactions on Instrumentation and Measurement.

The computer aided cutting planning of components using genetic algorithms for decommissioning of a nuclear reactor

Shana Smith, Chung-Hao Huang, Xiaoxu Huang, 2019 .

Rapid Recovery for Systems with Scarce Faults

Farn Wang, Chung-Hao Huang, Sven Schewe, 2012, GandALF.

Model-checking iterated games

Farn Wang, Chung-Hao Huang, Sven Schewe, 2013, Acta Informatica.

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper)

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2017, VSTTE.