Chung-Hao Huang

According to our database1, Chung-Hao Huang
  • authored at least 14 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Model-checking iterated games.
Acta Inf., 2017

2016
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors.
IEEE Trans. Software Eng., 2016

2015
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

2014
Efficient Visual Feedback Method to Control a Three-Dimensional Overhead Crane.
IEEE Trans. Industrial Electronics, 2014

G4LTL-ST: Automatic Generation of PLC Programs.
CoRR, 2014

G4LTL-ST: Automatic Generation of PLC Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Coverage Games for Testing Nondeterministic Systems.
CoRR, 2013

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

2012
Rapid Recovery for Systems with Scarce Faults
Proceedings of the Proceedings Third International Symposium on Games, 2012

2011
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


  Loading...