default search action

combined dblp search
author search
venue search
publication search

ask others

Chung-Hao Huang

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ChengHBH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ChengHBH20
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. DATE 2020: 1640-1643

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ChengHN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ChengHN19
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg:
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. ICCAD 2019: 1-6
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-04706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-04706
Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi:
Towards Safety Verification of Direct Perception Neural Networks. CoRR abs/1904.04706 (2019)
2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengHY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengHY18
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. ATVA 2018: 126-142
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ChengNHRY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ChengNHRY18
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. MEMOCODE 2018: 43-46
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ChengNHR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ChengNHR18
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess:
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). VSTTE 2018: 279-290
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-04333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04333
Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka:
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. CoRR abs/1805.04333 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-02338
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-02338
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka:
Towards Dependability Metrics for Neural Networks. CoRR abs/1806.02338 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06746
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg:
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. CoRR abs/1811.06746 (2018)
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/HuangSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/HuangSW17
Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-checking iterated games. Acta Informatica 54(7): 625-654 (2017)
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HuangPSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HuangPSW16
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. 42(7): 605-622 (2016)
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tim/HuangLHWL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tim/HuangLHWL15
Chung-Hao Huang, Lun-Hui Lee, Chian C. Ho, Lang-Long Wu, Zu-Hao Lai:
Real-Time RFID Indoor Positioning System Based on Kalman-Filter Drift Removal and Heron-Bilateration Location Estimation. IEEE Trans. Instrum. Meas. 64(3): 728-739 (2015)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/WangSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WangSH15
Farn Wang, Sven Schewe, Chung-Hao Huang:
An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. 37(3): 9:1-9:41 (2015)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iccst/ChangYPCH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccst/ChangYPCH15
Shwu-Jing Chang, Kuan-Hung Yeh, Guan-Dun Peng, Shih-Ming Chang, Chung-Hao Huang:
From Safety to security - Pattern and anomaly detections in maritime trajectories. ICCST 2015: 415-419
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/LeeHKYC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/LeeHKYC14
Lun-Hui Lee, Chung-Hao Huang, Sung-Chih Ku, Zhi-Heng Yang, Cheng-Yuan Chang:
Efficient Visual Feedback Method to Control a Three-Dimensional Overhead Crane. IEEE Trans. Ind. Electron. 61(8): 4073-4083 (2014)
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChengHRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChengHRS14
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. CAV 2014: 541-549
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChengHRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChengHRS14
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann:
G4LTL-ST: Automatic Generation of PLC Programs. CoRR abs/1405.2409 (2014)
2013
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEicics/HuangCLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEicics/HuangCLL13
Chung-Hao Huang, Chun-Kai Chen, Lun-Hui Lee, Ming-Shing Lin:
T-slot High-Impedance Surface structures for EMC of wireless products. ICICS 2013: 1-4
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/WangWHCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/WangWHCL13
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li:
Temporal Specification Mining for Anomaly Analysis. APLAS 2013: 273-289
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HuangSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HuangSW13
Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-Checking Iterated Games. TACAS 2013: 154-168
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WangWSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangWSH13
Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang:
Coverage Games for Testing Nondeterministic Systems. CoRR abs/1312.6201 (2013)
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2449
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/WangHY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/WangHY11
Farn Wang, Chung-Hao Huang, Fang Yu:
A Temporal Logic for the Interaction of Strategies. CONCUR 2011: 466-481
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/WangWHC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/WangWHC11
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang:
Evolving a Test Oracle in Black-Box Testing. FASE 2011: 310-325

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.