According to our database1, Chung-Hao Huang authored at least 16 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Towards Dependability Metrics for Neural Networks.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2018
Model-checking iterated games.
Acta Inf., 2017
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors.
IEEE Trans. Software Eng., 2016
An Extension of ATL with Strategy Interaction.
ACM Trans. Program. Lang. Syst., 2015
Real-Time RFID Indoor Positioning System Based on Kalman-Filter Drift Removal and Heron-Bilateration Location Estimation.
IEEE Trans. Instrumentation and Measurement, 2015
From Safety to security - Pattern and anomaly detections in maritime trajectories.
Proceedings of the International Carnahan Conference on Security Technology, 2015
Efficient Visual Feedback Method to Control a Three-Dimensional Overhead Crane.
IEEE Trans. Industrial Electronics, 2014
G4LTL-ST: Automatic Generation of PLC Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Model-Checking Iterated Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Temporal Specification Mining for Anomaly Analysis.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
T-slot High-Impedance Surface structures for EMC of wireless products.
Proceedings of the 9th International Conference on Information, 2013
Rapid Recovery for Systems with Scarce Faults
Proceedings of the Proceedings Third International Symposium on Games, 2012
Evolving a Test Oracle in Black-Box Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2011
A Temporal Logic for the Interaction of Strategies.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011