Chung-Hao Huang

According to our database, Chung-Hao Huang authored at least 19 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Towards Safety Verification of Direct Perception Neural Networks.

Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

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

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

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

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

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

CoRR, 2018

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

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Towards Dependability Metrics for Neural Networks.

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems.

Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Model-checking iterated games.

Chung-Hao Huang, Sven Schewe, Farn Wang

Acta Informatica, 2017

2016

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

2015

An Extension of ATL with Strategy Interaction.

Farn Wang, Sven Schewe, Chung-Hao Huang

ACM Trans. Program. Lang. Syst., 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

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

Proceedings of the International Carnahan Conference on Security Technology, 2015

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

G4LTL-ST: Automatic Generation of PLC Programs.

Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Coverage Games for Testing Nondeterministic Systems.

Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang

CoRR, 2013

Temporal Specification Mining for Anomaly Analysis.

Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

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

Chung-Hao Huang, Chun-Kai Chen, Lun-Hui Lee, Ming-Shing Lin

Proceedings of the 9th International Conference on Information, 2013

2012

Rapid Recovery for Systems with Scarce Faults

Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang

Proceedings of the Proceedings Third International Symposium on Games, 2012

2011

Evolving a Test Oracle in Black-Box Testing.

Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang

Proceedings of the Fundamental Approaches to Software Engineering, 2011

A Temporal Logic for the Interaction of Strategies.

Farn Wang, Chung-Hao Huang, Fang Yu

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011